c++ - ODR 的目的是什么？

Question

我确实理解 ODR 所说的内容，但我不理解它试图实现的目标。

我看到违反它的两个后果——用户会得到语法错误，这完全没问题。并且还可能存在一些 fatal error ，并且用户将再次成为唯一有罪的人。

作为违反 ODR 并出现一些 fatal error 的示例，我想像这样:

a.cpp

struct A
{
        int a;
        double b;
};
void f(A a)
{
        std::cout << a.a << " " << a.b << std::endl;
}

main.cpp

struct A
{
        int a;
        int b;

};
void f(A a);

int main()
{

        A a = {5, 6};
        f(a);

        return 0;
}

如果示例与 ODR 无关，请纠正我。

那么，ODR是在试图禁止用户做这种有害的事情吗？我不这么认为。

它是否试图为编译器编写者设置一些规则，以避免违反它的潜在危害？可能不会，因为大多数编译器不检查 ODR 违规。

还有什么？

Answer 1

ODR 决定了哪些 C++ 程序是良构的。 ODR 违规意味着您的程序格式错误，并且标准没有规定程序将做什么，是否应该编译等。大多数 ODR 违规都被标记为“不需要诊断”，以使编译器编写者的工作更容易。

这允许 C++ 编译器对您提供给它的代码做出某些简化假设，例如 ::A 在任何地方都是相同的结构类型，而不必在每个使用点进行检查。

编译器可以随意获取您的代码并将其编译为 c: 格式。或其他任何东西。它可以免费检测 ODR 违规，并用它来证明代码分支无法运行，并消除导致那里的路径。