GNAT编译器能否识别规范层未使用的程序/函数/变量及对应警告开关

问题原因 #

GNAT默认不会对spec中的未使用实体触发警告，核心逻辑是：spec的定位是对外暴露的公共接口，编译器无法确定该实体是否会被项目外的其他单元引用——哪怕当前项目里没用到，外部依赖该spec的代码仍可能调用它。因此编译器不会轻易标记spec内的实体为“未使用”，避免误报。

而body属于单元的实现细节，编译器能明确判断当前单元内部是否真的未使用这些实体，所以-gnatu（未使用实体警告）开关在body中能正常生效。

解决办法 #

要让GNAT对spec中的未使用实体发出警告，可添加以下针对性开关：

• -gnatwu：启用spec级未使用实体警告，编译器会检查该实体是否被项目内任何单元引用，完全无引用时触发警告。
• -gnatwU：更严格的检查模式，即使spec实体被同包body引用，但未被外部单元调用，也会发出警告（适合清理冗余的对外接口）。

结合你现有的开关，最终编译命令可调整为：

-gnatwfilmopuvz -gnatwu

或更严格的版本：

-gnatwfilmopuvz -gnatwU

实用提示 #

你提到不担心警告数量，GNAT Studio的过滤功能可以精准筛选：在警告面板的过滤字段输入.ads（spec文件后缀）即可只查看spec相关警告，也可通过包名过滤忽略库包的警告信息。

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