c++ - [expr.ref]/1 中提到的脚注到底是什么意思？

Question

[expr.ref]/1 :

后缀表达式后跟点 . 或箭头 ->，可选地后跟关键字 template (17.2)， 然后是一个id-expression，是一个后缀表达式。点或箭头前的后缀表达式 被求值；⁶⁷ 该求值的结果与 id-expression 一起决定了 整个后缀表达式。

_{67) 如果对类成员访问表达式求值，则子表达式求值发生，即使结果不需要 确定整个后缀表达式的值，例如，如果 id-expression 表示静态成员。}

Answer 1

如果一个成员被定义为static，那么该类的成员只有一个拷贝，而不是该类的每个实例都有一个拷贝。可以通过类的实例(对象)引用静态成员。脚注阐明了识别实例的表达式被求值(并且会发生任何副作用)，即使您不需要知道您正在访问哪个实例对象也能知道静态成员的值。

一个例子:

#include <iostream>

class foo {
    public:
        static int s;
};

int foo::s = 42;

int index() {
    std::cout << "index returns 5\n";
    return 5;
}

int main() {
    foo arr[10];
    std::cout << arr[index()].s << "\n";
}

只有一个s对象，它的值为42，但是表达式arr[index()]仍然被求值，即使尽管不需要它的结果来确定 s 的值。

输出是:

index returns 5
42