如果不同翻译单元中有代码依赖于其构造的副作用，LTO 是否允许删除未使用的全局对象？

首先，只是为了避免XY问题：这个问题来自https://github.com/cnjinhao/nana/issues/445#issuecomment-502080177。库代码可能不应该做这样的事情（依赖于未使用的全局对象的构造），但问题更多是关于它是否是有效的 LTO 行为而不是代码质量问题。

显示相同问题的最小代码（未经测试，只是为了使示例更小）：

// main.cpp
#include <lib/font.hpp>

int main()
{
    lib::font f;
}

// lib/font.hpp
namespace lib
{
struct font
{
    font();

    int font_id;
};
}

// lib/font.cpp
#include <lib/font.hpp>
#include <lib/font_abstraction.hpp>

namespace lib
{
font::font()
{
    font_id = get_default_font_id();
}
}

// lib/font_abstraction.hpp
namespace lib
{
int get_default_font_id();

void initialize_font();
}

// lib/font_abstraction.cpp
#include <lib/font_abstraction.hpp>

namespace lib
{
static int* default_font_id;

int get_default_font_id()
{
    return *default_font_id;
}

void initialize_font()
{
    default_font_id = new int(1);
}
}

// lib/platform_abstraction.hpp
namespace lib
{
struct platform_abstraction
{
    platform_abstraction();
};
}

// lib/platform_abstraction.cpp
#include <lib/platform_abstraction.hpp>
#include <lib/font_abstraction.hpp>

namespace lib
{
platform_abstraction::platform_abstraction()
{
    initialize_font();
}

static platform_abstraction object;
}

的建设font对象在main.cpp依赖于指针的初始化。唯一初始化指针的是全局对象object但它没有被起诉 - 在链接问题的情况下，该对象已被 LTO 删除。允许这样的优化吗？ （看C++ 草案 6.6.5.1.2)

一些注意事项：

• 该库被构建为静态库并使用以下命令与主文件链接-flto -fno-fat-lto-objects和动态C++标准库。
• 该示例无需编译即可构建lib/platform_abstraction.cpp根本没有 - 在这种情况下，指针肯定不会被初始化。

VTT的答案给出了GCC的答案，但问题被标记为语言律师。

ISO C++ 的原因是，在首次调用同一翻译单元中定义的函数之前，必须初始化翻译中定义的对象。这意味着platform_abstraction::object必须先初始化platform_abstraction::platform_abstraction()叫做。正如链接器正确地计算出的那样，没有其他的platform_abstraction物体，所以platform_abstraction::platform_abstraction从未被调用过，所以object的初始化可以无限期推迟。合格的程序无法检测到这一点。