模板类函数中的静态变量被全局静态变量覆盖

Question

我在这样的模板类函数中有一个静态变量：

template<class T>
struct builder 
{
    static T* buildOrGet() 
    { 
        static T* built = nullptr;
        if(built == nullptr) built = new T;
        return built;
    }
};

在代码的其他位置带有构造函数的全局变量。

static SomeClass global_var;

刚开始我不知道发生了什么，但是built变量在程序的某个点被无缘无故损坏了。 然后，我在&built上的Visual Studio中添加了一个4字节的数据断点，以查看谁在built = new T;之后破坏了它的内存built = new T; ，实际上是在C ++动态初始化程序中，在SomeClass构造函数中初始化global_var成员时。 该代码位于dll中，并由exe自动加载。 就像global_var内存与built内存重叠一样，这很奇怪。

除了Visual Studio 2015中的错误外，我真的不明白为什么以及如何发生这种情况，您能帮我吗？

Answer 1

我找到了解决方案：实际上，我在dll的不同转换单元中有多个具有相同名称的global_var ，但它们的类型不同（假设另一个具有int类型）。

在这种情况下（对我来说很奇怪，因为它们是“静态的”），链接器仅保留一个，并对所有变量使用相同的内存（此处保留为int ）。

这是哪里出错了... SomeClass构造函数仍被我上面提到的global_var调用，但是它的内存不是sizeof(SomeClass) ，而是sizeof(int) ， 这就是溢出发生的地方 。

对我来说，这是一个错误，因为链接器应该已经注意到有关这些具有不同类型的同形变量的信息，或者/并且应该避免在与构造的内存不匹配的变量上调用构造函数。

解决方法是：永远不要在不同的翻译单元中声明两个具有相同名称的静态变量，只有一个可以生存，并且您无法猜测哪个。