# 元编程分语言专题：宏、模板、装饰器与代码生成

学习目标：对比各语言中“以代码操作代码”的非等价元编程机制，理解编译期宏展开、模板推导、装饰器包装与工具链源码生成的取舍边界。

前置知识与范围：泛型、AST（抽象语法树）与编译器流程。聚焦宏、模板、装饰器与生成工具的实际应用。

# 机制定位与非等价性

“元编程（Metaprogramming）”常被笼统指代代码生成技术，但各语言解决该问题的层级和原理大相径庭：

编译期文本/AST 宏展开（Rust）：在编译器语法分析阶段操作代码 Token 树，生成新 AST。
图灵完备类型演算（C++ 模板）：在编译期通过模板单态化和 constexpr 进行编译期计算。
运行时函数与类重写（Python 装饰器）：在模块加载阶段动态包装函数对象或通过元类介入类的创建。
注解与外部代码生成（Java / Go）：Java 依赖编译期注解处理器（APT）生成配套源码；Go 则通过明确的 go generate CLI 工具生成静态 .go 文件。

# Rust 声明宏与过程宏

Rust 拥有卫生宏系统（Hygienic Macros），不会意外污染外部变量作用域。

Rust// 声明宏：通过模式匹配生成重复代码
macro_rules! create_getter {
    ($field:ident, $type:ty) => {
        pub fn $field(&self) -> $type {
            self.$field
        }
    };
}

struct Point {
    x: i32,
    y: i32,
}

impl Point {
    create_getter!(x, i32);
    create_getter!(y, i32);
}

fn main() {
    let p = Point { x: 10, y: 20 };
    assert_eq!(p.x(), 10);
    assert_eq!(p.y(), 20);

    println!("Rust macro generated getters: x={}, y={}", p.x(), p.y());
}

Rust 的声明宏操作语法树 Token，支持可变参数（$()*）展开；更复杂的结构体衍生则使用过程宏（Procedural Macro）。

# C++ 编译期模板与 constexpr

现代 C++ 大幅减少了传统预处理器宏（#define）的使用，全面拥抱类型安全且支持编译期常量求值的 constexpr 与模板。

C++#include <iostream>
#include <cassert>

// 编译期常量计算（无任何运行时函数调用开销）
constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}

int main() {
    // 强制在编译期求值并赋值给常量表达式
    constexpr int val = factorial(5);
    static_assert(val == 120, "compile-time assertion");

    assert(val == 120);
    std::cout << "C++ constexpr factorial(5) = " << val << "\n";
}

static_assert 证明了阶乘计算完全在编译器内部完成，生成的机器码中直接嵌入了硬编码常数 120。

# Python 运行时装饰器与元类

Python 的元编程主要在模块加载运行时生效。装饰器（Decorator）通过高阶函数在运行时替换被修饰的目标。

Pythonfrom typing import Callable, Any

def log_execution(func: Callable[..., Any]) -> Callable[..., Any]:
    def wrapper(*args: Any, **kwargs: Any) -> Any:
        # 执行前置切面逻辑
        result = func(*args, **kwargs)
        return f"[LOGGED] {result}"
    return wrapper

@log_execution
def greet(name: str) -> str:
    return f"hello, {name}"

if __name__ == "__main__":
    res = greet("Alice")
    assert res == "[LOGGED] hello, Alice"

    print(f"Python decorator result: {res}")

Python 装饰器 @ 本质等价于 greet = log_execution(greet)，高度灵活但调试时堆栈层级较深。

# Java 注解与编译期处理

Java 的注解（Annotation）自身仅仅是元数据标签。Java 工业界（如 Lombok、AutoValue、Dagger）通过 APT（Annotation Processing Tool） 在编译期扫描注解并直接在磁盘上生成配套的 .java 源文件，然后一并送入编译器。这种机制的优势在于：

完全保留了静态编译器的严格类型检查。
避免了运行时高昂的反射扫描性能开销。

# Go 代码生成工具链

Go 崇尚显式性，语言规范中没有宏也没有装饰器。Go 官方给出的元编程解法是 go generate。例如为枚举生成字符串打印方法时：

Go//go:generate stringer -type=Pill
type Pill int
const (
    Placebo Pill = iota
    Aspirin
    Ibuprofen
)

开发者在终端执行 go generate 命令，官方工具会解析当前 AST 并生成一个伴生的 pill_string.go 文件。 设计观察：Go 选择将代码生成作为外部离线构建步骤，使得生成的代码与手写代码一样可被版本管理工具审查与跟踪，降低了语言本身的理解心智负担。

# 运行与验证

语言版本基线见示例基线。各完整程序按前述小节命令执行，输出符合预期：

Rust: Rust macro generated getters: x=10, y=20
C++: C++ constexpr factorial(5) = 120
Python: Python decorator result: [LOGGED] hello, Alice