启用-fno-exceptions后，为何nosys.specs含异常代码，nano.specs则无？

• 函数内静态对象的初始化逻辑依赖异常库
  GCC对函数内的静态局部对象，会生成带初始化状态检查的线程安全代码。即使添加了-fno-exceptions编译标志，在默认的nosys.specs配置下，这个初始化逻辑的底层实现还是会间接引用到C++标准库中的异常相关符号（比如std::bad_exception系列函数）。这是因为nosys.specs对应的newlib标准库基础结构中，保留了兼容异常场景的冗余代码，链接器会自动拉取这些符号，导致二进制大小翻倍。

• 全局静态对象无此问题的原因
  当static MyClass obj;移到函数外时，属于全局/命名空间级静态对象，其初始化在程序启动阶段的全局构造环节完成，不需要生成运行时检查初始化状态的包裹逻辑，也就不会触发依赖异常代码的路径，因此二进制大小恢复正常。

• nano.specs解决问题的本质
  -specs=nano.specs链接的是专为嵌入式场景优化的newlib-nano库，它彻底精简了标准库中的冗余部分，直接移除了所有异常相关的代码路径。同时，newlib-nano对静态对象初始化逻辑做了针对性优化，不会再引入异常相关符号，因此替换后二进制大小恢复正常，map文件中也看不到异常代码。

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