访问修饰符测试方法探讨：能否用证明器验证public(fun)？

针对你提到的「确保create_block函数的访问修饰符为public(fun)」这类需求，单元测试确实因为编译限制没法直接实现，下面是几种可行的方案：

• 静态代码分析工具
  大多数编程语言都有对应的静态分析框架，你可以自定义规则来扫描代码。比如编写规则定位到create_block函数，验证它的访问修饰符是否严格匹配public(fun)。这类工具只做静态语法和语义检查，不需要执行代码，完全避开了单元测试中非法代码无法编译的问题。

• 形式化证明器
  证明器确实能搞定这类验证。如果你的项目使用支持形式化验证的语言（或有对应的验证扩展），可以为create_block的访问属性编写规范断言，让证明器自动检查代码是否符合该断言。整个验证过程在编译/验证阶段完成，不需要运行任何测试代码，能从底层保证访问修饰符的正确性。

• 编译期自定义插件
  如果所用语言支持编译期扩展（比如Rust的过程宏、Java的注解处理器），可以写一个自定义插件，在编译阶段扫描代码中的create_block函数，一旦发现访问修饰符不符合要求，直接抛出编译错误。这种方式相当于把验证嵌入到编译流程里，强制代码符合规范。

内容的提问来源于stack exchange，提问作者calimoose