求解释什么是"ODR使用"

[mq-loser]

求解释，文档的解释看不明白，太卢瑟力┭┮﹏┭┮

[Mq-b]

ODR 使用

文档原话：

非正式地说： 1. 一个对象在它的值被读取（除非它是编译时常量）或写入，或它的地址被取，或者被引用绑定时，这个对象被 ODR 使用。 2. 使用“所引用的对象在编译期未知”的引用时，这个引用被 ODR 使用。 3. 一个函数在被调用或它的地址被取时，被 ODR 使用。 如果一个对象、引用或函数被 ODR 使用，那么程序中必须有它的定义；否则通常会有链接时错误。

先关注最后一句话：

如果一个对象、引用或函数被 ODR 使用，那么程序中必须有它的定义；否则通常会有链接时错误。

这是 ODR 使用了却没有定义的后果，我们要先明确，接下来解释规则。

---

1. 一个对象在它的值被读取（除非它是编译时常量）或写入，或它的地址被取，或者被引用绑定时，这个对象被 ODR 使用。

struct X{
    static const int n = 10; // 这个 n 只是类内声明，没有定义
};

那么好，如果我们读取这个 n（比如打印），这个它是否是 ODR 使用？不会，因为它是编译时常量。

std::cout << X::n << '\n';    // 不是 ODR 使用 没问题
std::cout << &X::n << '\n';   // 地址被取，是 ODR 使用

那么 ODR 使用了却没有定义的后果？最开始说了，有可能是链接错误。

给出完整代码：

#include <iostream>

struct X{
    static const int n = 10;
};

int main()
{
    std::cout << X::n << '\n';
    std::cout << &X::n << '\n';
}

有可能链接错误，参见，注意是有可能，比如 msvc 就不会链接错误。

• 但是这不代表你可以违反这些规则，被 ODR 使用一定需要定义。

---

其他的都同理。