C++程序员应了解的那些事（93）之odr-used 是什么

简而言之变量的odr-use就是常量折叠（constant folding）的补集。

A variable x whose name appears as a potentially-evaluated expression ex is odr-used by ex unless

applying the lvalue-to-rvalue conversion ([conv.lval]) to x yields a constant expression ([expr.const]) that does not invoke a function other than a trivial

special member function ([special]) and,

if x is an object, ex is an element of the set of potential results of an expression e, where either the lvalue-to-rvalue conversion ([conv.lval]) is applied to e, or e is a discarded-value expression ([expr.prop]).

前半段翻译成人话就是“x的值是编译期常量”，后半段大概是指“x所在的表达式只使用了x的值”也就是没有使用x的地址之类。显然这两点就是常量折叠的条件。odr-use的定义是不符合这些条件的使用，所以odr-use就相当于“不是常量折叠”。

我个人没记错的话，需要odr-use这个概念最初是因为这影响程序的正确性。对于

function<int()> f() {
    const int x = 3;
    struct A { int operator()() {
        int a = x;
        return 0;
    } };
    return A();
}

        因为一开始规定局部类不允许使用函数中的局部变量（在局部类的operator()执行的时候，x很可能不存在了），于是按照这条规定int a = x自然是错误的。

        然而考虑如果x是宏常量，那么int a = x自然是正确的。const int作为宏的替代，允许例子中的int a=x也是情理之中。以及当时编译器广泛允许这种写法，而且支持这种不会有overhead，于是为了在语言规则上允许这种写法，发明了odr-use，并把上面说的“局部类不允许使用函数中的局部变量”放宽到“局部类不允许odr-use函数中的局部变量”，实际上就是允许了局部类在特定情况下使用函数中的局部变量——也就是可以进行常量折叠的情况。

       因为常量折叠只需要变量的值，不关心变量的定义，因此非odr-use不需要定义。这点理论上简化了static const int成员的使用，然而因为免不了用到forwarding之类的引用绑定，实际上大概反而是增加了不确定度。

       以上提到的“常量折叠”都是指语言的规定。编译器可能有更复杂的处理，即使是odr-use，有时也可能当成常量优化掉，这就不属于这里提到的语言规定的“常量折叠”了。