元编程是通过反射或代码生成机制在运行时干预类结构与行为，需依语言能力选择合适方式：Python用描述符（需实现__set_name__）、Ruby用define_method、JavaScript用Proxy代理实例而非构造函数。
元编程不是魔法，而是通过语言提供的反射或代码生成机制，在运行时干预类的结构与行为。关键在于：你得清楚目标语言支持哪一层的元编程能力——Python 的 __setattr__ 和装饰器、Ruby 的 define_method、JavaScript 的 Proxy 或 Object.defineProperty，能力边界和副作用完全不同。
Python 中用 __set_name__ 和描述符动态绑定属性行为
描述符是 Python 元编程最稳定、最易控的入口。它不依赖 type() 动态构造类，也不触发 __getattribute__ 全局拦截，适合给字段加校验、懒加载或日志。
常见错误是把描述符实例直接赋值给类变量却忘了实现 __set_name__，导致 self.name 拿不到属主类名，无法做类型检查或注册。
- 必须在描述符类中实现
__set_name__(self, owner, name)，否则无法获知字段在哪个类里被定义 - 不要在
__init__里存name，而应在__set_name__中保存，避免多个实例共享同一字段名 - 若需支持类属性访问（非实例），描述符的
__get__要判断instance is None
class ValidatedField:
def __set_name__(self, owner, name):
self.name = name
self.private_name = f'_{name}'
<pre class="brush:php;toolbar:false;">def __set__(self, instance, value):
if not isinstance(value, str) or len(value) == 0:
raise ValueError(f'{self.name} must be a non-empty string')
setattr(instance, self.private_name, value)
def __get__(self, instance, owner):
if instance is None:
return self
return getattr(instance, self.private_name, None)
class User: name = ValidatedField() # ✅ 自动绑定 name
Ruby 中用 define_method 替代 eval 动态添加实例方法
Ruby 的 eval 看似灵活，但会污染作用域、破坏常量查找、难以调试。真正安全的动态方法注入，应该用 define_method + 闭包捕获上下文。
典型误用是把字符串拼接进 eval，比如根据参数名生成 setter，一旦参数含恶意输入（如 "}; system('rm -rf /')），就直接执行任意代码。
-
define_method接收符号或字符串，且只在当前类作用域内定义方法，不会逃逸 - 闭包可捕获外部变量（如配置哈希），避免反复查表
- 若需访问类变量，用
class_variable_get，别依赖eval("@@#{name}")
class ApiClient
CONFIG = { timeout: 30, retries: 3 }
<p>CONFIG.each do |key, default|
define_method("#{key}=") do |val|
instance_variable_set("@#{key}", val || default)
end
define_method(key) do
instance_variable_get("@#{key}") || default
end
end
end
</p>
JavaScript 中用 Proxy 拦截对象操作，但别代理整个类构造函数
Proxy 是运行时控制对象行为的利器，但它不能代理 class 本身（构造函数是函数，new 不走 apply），只能代理实例或原型。强行代理构造函数会导致 instanceof 失效、super 调用异常。
另一个坑是把 Proxy 套在深层嵌套对象上却不递归代理，结果只拦截了第一层属性访问，子对象仍是“裸”的。
- 代理目标应为具体实例（
new MyClass()返回的对象），或手动代理原型对象（MyClass.prototype） - 需要深度代理时，
gettrap 中对返回值做typeof === 'object'判断，并缓存已代理对象，防止重复包装 - 避免在
set中直接修改原对象并返回true，要配合Reflect.set保证默认行为不丢
const createTracked = (obj) => {
const seen = new WeakMap();
const handler = {
get(target, prop) {
const ret = Reflect.get(target, prop);
if (ret && typeof ret === 'object') {
if (!seen.has(ret)) seen.set(ret, new Proxy(ret, handler));
return seen.get(ret);
}
return ret;
}
};
return new Proxy(obj, handler);
};
真正难的不是写出能跑的元编程代码，而是判断「这里是否值得用」。比如给每个字段加日志，用装饰器比改解释器快；想让 API 客户端自动重试，封装调用函数比劫持 fetch 全局更可控。元编程越靠近语言底层，调试成本越高，出问题时堆栈越不可读。
