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 编译后的实际函数体都可能破坏结构
参数名只是人类可读的标签，契约的核心永远是类型结构和调用约定。越想用反射绕过编译检查，越容易掉进元数据缺失、运行时擦除、工具链不一致的坑里。
