## F-35 C++ 编码标准讨论 一篇Hacker News讨论围绕着一份2005年出版的140页PDF文件，详细介绍了F-35战斗机软件开发中使用的C++编码标准。最初的帖子引发了关于为什么选择C++而不是传统上更受高可靠性系统青睐的Ada的争论。 回复指出，在2005年，拥有更大数量的熟练C++程序员和更成熟的生态系统使得扩展开发更容易。虽然Ada随着SPARK等工具的出现正在重新获得关注，但F-35项目优先考虑实用性。重要的是，这些标准并非用于记忆，而是通过静态代码分析工具和代码检查器来执行。 许多评论者注意到这份文件的巨大篇幅，并质疑其可行性，将其与官僚主义效率低下相提并论。一些人指出，尽管有这些标准，F-35的软件仍然面临问题，而另一些人则强调了对于控制复杂、高风险机器的900万行代码系统，严格标准是必要的。 讨论还涉及了编码风格在可维护性中的作用，以及超越纯粹技术考虑的潜在动机。