Ada编译指示Static_Elaboration_Desired和Linker_Section是什么意思

Question

Ada指令pragma Static_Elaboration_Desired和Linker_Section是什么意思？我无法理解通过互联网给出的定义。

Answer 1

Static_Elaboration_Desired 不是Ada pragma。它是GNAT中实现定义的编译指示：

https://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Static_005fElaboration_005fDesired.html

如果您希望详细说明是静态的（即只是可执行映像的一部分）而不是通过可执行代码发生，则使用它。