为什么单一定义规则使用（odr-use）取决于上下文？

Question

给定以下代码：

#include <iostream>

struct A {
    static constexpr float a = 2.0f;
};

// non-const reference to make it more explicit - same behaviour
template<class T> constexpr inline T square(T& x)
{
    return x * x;
}

int main() {
    /*constexpr*/ float val = square(A::a);
    std::cout << val;
}

该程序无法与undefined reference to 'A::a' 链接（总是与clang，仅在-O0 与g++ 上），但是如果我从val 声明中取消注释constexpr，它会正确链接。

到目前为止，我知道如果没有在其中一个单元文件中明确定义，constexpr 不能被 odr-使用，但我不明白为什么它在分配给 constexpr 时会起作用。

似乎这两种情况的处理方式因上下文而异。但为什么？在这两种情况下，编译器不应该只在编译时评估这个函数吗？

Answer 1

为什么 odr-use 取决于上下文？

它没有。 square(A::a) odr-uses A::a，句号。

然而，大多数 ODR 违规都不需要被诊断出来，这也不例外。

编译器不应该在两种情况下都在编译时评估这个函数吗？

constexpr 变量的初始化程序必须在编译时进行评估。 （嗯，不完全是，但是编译器必须将它评估到它可以确定它是一个有效的常量表达式的程度，此时它还不如只做整个事情。）对于非constexpr 本地变量，没有这样的保证。