似乎未使用 odr 的静态常量的链接器错误

Question

当您深入了解细节时，标准中的odr-use定义非常令人困惑(至少对我来说是这样)。我通常依赖于"If a reference is taken"的非正式定义，除了，当左值到右值转换可用时。对于整型常量，它们应该被视为右值，这似乎应该从引用规则中排除。下面是链接失败的示例代码:

class Test
{
public:
    Test();
    static constexpr int MIN_VALUE { 5 };
    int m_otherValue = 10;
};
Test::Test()
{
    m_otherValue = std::max(m_otherValue, MIN_VALUE);
}
int main()
{
    Test t;
}

我得到的链接错误是: <>之前clang++ -std=c++14 -O2 -Wall -pedantic -pthread main.cpp && ./a.out/tmp/main-e2122e。在函数Test::Test()中:main.cpp:(.text+0x2):对Test::MIN_VALUE的未定义引用Clang:错误:链接器命令失败，退出代码为1(使用-v查看调用)之前

实时示例:http://coliru.stacked-crooked.com/a/4d4c27d6b7683fe8

为什么需要定义MIN_VALUE ?它只是一个常量到一个文字值，编译器应该把它优化为std::max(m_otherValue, 5)。所以我就是不明白

Answer 1

std::max通过引用接受参数，而不是通过值。不允许执行左值到右值的转换，然后从该右值构造临时对象。std::max 可以检查两个参数是对同一个对象的引用，对于所有编译器都知道，并且如果作为std::max(MIN_VALUE, MIN_VALUE)调用，则需要检查作为true求值。

Answer 2

如果你阅读std::max的引用，你会看到它通过引用接受参数，并且根据这个常用的引用

非正式地，如果…一个引用被绑定到它…

由于您将MIN_VALUE传递给接受引用的函数，因此该成员是odr使用的，需要单独定义