如何通过反射检查函数参数是否符合接口契约

go 反射无法获取函数参数名，只能通过 numin/numout 和 in/out 比对类型序列；参数名语义需依赖 ast 解析或 Struct tag，非反射职责。

Go 里用 reflect.Func 拿不到参数名，别试了

Go 的反射系统在运行时确实能拿到函数类型签名，但 reflect.Type.In(i) 只返回参数类型，不包含变量名。接口契约（比如某个 Interface 方法签名）校验，本质是比对「方法名 + 参数类型列表 + 返回类型列表」，和参数叫 ctx 还是 c 完全无关。

常见错误现象：写了个工具想检查 func(context.Context, *User) Error 是否满足 ServiceHandler 接口定义，结果去遍历 reflect.Value 的字段试图找参数名——这一步注定失败。

• Go 编译后符号表不保留形参标识符，reflect 无从获取
• 唯一可靠的是 reflect.Type.kind() == reflect.Func 后，用 NumIn()/NumOut()、In(i)/Out(i) 做类型序列比对
• 如果真需要参数名语义（比如生成 OpenAPI），得靠 AST 解析源码或 struct tag 标注，不是反射的事

Python 中 inspect.signature() 能拿到参数名，但契约校验仍要小心类型提示

Python 的 inspect.signature() 确实返回带名字、默认值、注解的完整参数信息，但「符合接口契约」不等于「参数名对得上」——关键在类型注解是否兼容，尤其是协变/逆变、union 和 Optional 处理。

使用场景：验证一个函数是否满足 ABC 抽象基类定义的方法签名，比如 class DataProcessor(Protocol): def process(self, data: bytes) -> str: ...。

• 用 inspect.signature(func).parameters 获取参数字典，检查键名是否匹配（顺序+存在性）
• 必须调用 typing.get_origin() 和 typing.get_args() 展开泛型，否则 List[str] 和 list 会被当成不同类型
• 注意 None 默认值不等于 Optional[T]，后者是 Union[T, None]，需用 typing.is_optional() 判断
• 示例：sig = inspect.signature(my_func); assert list(sig.parameters.keys()) == ['data']; assert sig.return_annotation == str

Java 的 Method.getParameters() 返回 Parameter 对象，但生产环境常被编译器擦除

Java 8+ 的 Method.getParameters() 确实能拿到参数名，但前提是编译时加了 -parameters 标志，且没经过混淆（ProGuard/R8 默认会删）。没这个 flag，所有参数名都是 arg0、arg1——此时契约校验只能依赖类型顺序和注解。

性能影响：反射获取参数名本身开销不大，但频繁调用 getDeclaredMethod() + getParameters() 会触发类加载和解析，建议缓存 Method 实例。

• 先检查 method.getParameterCount() == expectedCount，再逐个比对 parameter.getType()
• 若需参数名语义，务必确认构建流程中 -parameters 已启用，CI 里加个 javap -v YourClass | grep 'LocalVariableTable' 验证
• 接口方法本身没有参数名信息，所以「实现类方法是否满足接口」只能靠 method.getName() + method.getGenericParameterTypes() + method.getGenericReturnType() 三者联合判断

typescript 编译期就做契约检查，运行时反射基本没用

TypeScript 没有真正的运行时反射支持参数名或类型——Reflect.getMetadata() 依赖装饰器和 experimentalDecorators，且只在你手动打标时才存在。所谓「检查函数是否符合接口」，99% 场景应该交给 tsc 编译器做，而不是在 runtime 用 reflect-metadata 补救。

容易踩的坑：以为给函数加了 @validate 装饰器就能自动校验参数类型，其实它只能读到 Object 或 any，原始类型信息（String、UserDto）在 js 运行时已丢失。

• 真正有效的做法是定义接口后直接赋值：const handler: MyInterface = myFunc;，tsc 会报错
• 如果必须 runtime 校验（如插件系统），用 zod 或 io-ts 显式声明输入输出 schema，别依赖反射
• function.prototype.toString() 解析源码拿参数名？不可靠：箭头函数、压缩代码、TS 编译后的实际函数体都可能破坏结构

参数名只是人类可读的标签，契约的核心永远是类型结构和调用约定。越想用反射绕过编译检查，越容易掉进元数据缺失、运行时擦除、工具链不一致的坑里。