如何强制C＆＃x2B;＆＃x2B;接触枚举定义冲突的链接器？

Question

我有这两个源文件可以毫无问题地编译和链接。

A.CPP

enum class numbers
{
    one,
    two,
};

const char* getName(numbers number)
{
    switch (number)
    {
    case numbers::one:
        return "one";
        break;
    case numbers::two:
        return "two";
        break;
    }
}

B.CPP

#include <iostream>

enum class numbers
{
    zero,
    one,
    two,
};

const char* getName(numbers number);

void print(numbers number)
{
    std::cout << getName(number);
}

int main()
{
    print(numbers::one);
    return 0;
}

，您可以看到每个文件中相同的枚举类别的定义不同。我正在寻找一种方法来捕捉不同翻译单元中枚举类别的冲突（在我们非常大的代码库中引起错误）。在这种情况下，是否有任何编译器/链接器能够产生错误？

Answer 1

显示的错误是违反一个定义规则。

C ++标准不需要编译器或链接器即可报告诊断违反一个定义规则时。即“不需要诊断”。

换句话说：您的C ++编译器不需要报告此特定错误。这是因为在许多情况下，由于低水平的技术实施详细信息如何在某些特定的操作系统或平台上编译和链接代码，因此根本不可能从技术上检测到对一个定义规则的违反。

通常：在每个现代C ++编译器的兴趣中，报告尽可能多的有用诊断。换句话说：如果C ++编译器可以检测到ODR违规，则很容易就不会被侵入。如果您的C ++编译器未对ODR违规产生诊断，则不太可能有任何隐藏的开关或按钮可以按下以使错误出现。

Answer 2

连接器不可能抓住这一点。枚举类别的定义只是定义了编译器将用于生成代码的许多编译时间常数。没有针对接头可以看到并警告复制物的任何枚举标识符创建的对象。

我也不明白为什么这个代码根本是一个问题。您没有导出类型，而是仅在编译单元内使用。两个定义之间没有交叉。尽管标准可能指出一个定义规则，但我没有看到实际问题。

但是，如果您尝试创建一个问题，则将类型放入标头文件中并尝试将其包含在内，则编译器将以重复的定义失败。从A.CPP和B.CPP中调用getName（）的任何尝试都将包括AH和BH，然后失败。因此，除非您对编写标题文件不粗心并使用未定义的前瞻性声明，否则您将始终在问题之前出现错误。