是否正确地说编译器可以用其值1替换下面的表达式“a->i”,因为…?

a 是否使用ODR是因为您未通过“除非”的第一部分:

将左值到右值的转换(7.1)应用于 x 生成不调用任何非平凡函数的常量表达式(8.6)

将左值转换为右值 一 不生成常量表达式。

其余是核心问题 315 和 232 .

您的分析有两种额外的方式:

• “对象表达式”是使用 . form of class member access ,所以你需要重写 a->i 到点形式,即, (*a).i ,在应用[basic.def.odr]/2.3之前。 一 不是该表达式潜在结果集的成员。
• 这个项目符号本身是有缺陷的,因为它是用非静态数据成员编写的。对于静态数据成员,潜在结果集实际上应该是命名的静态数据成员-请参见 core issue 2353 如此 一 不是该表达式潜在结果集的成员。

[膨胀系数]/2.7:

一个表达式 e 是一个 核心常量表达式 除非 评估 e 按照抽象机器的规则 计算以下表达式之一:

• […]
• 左值到右值的转换,除非将其应用于
  • 整型或枚举型的非易失性glvalue,它引用前面有一个完整的非易失性const对象。 初始化,用常量表达式初始化,或
  • 引用字符串文本的子对象的非易失性glvalue,或
  • 一个非易失性glvalue,它引用用 constexpr 或指的是 这样的物体,或
  • 文本类型的非易失性glvalue,它引用的非易失性对象的生存期从 e ;
• […]

i 是一个 static 该类的成员…您可以访问 静止的 类的成员通过对实例使用常规方法,它们不会绑定到任何实例,因此您不需要取消引用 nullptr 指针(当使用 sizeof 操作员)。您也可以使用简单的

return A::i;

语句,因为不需要创建实例来访问它。事实上, const 编译器允许将其作为一个常量值进行管理,因此只有在需要使用其地址的情况下(通过 & operator)编译器可以绕过在只读内存中分配它。

以下样本将探测:

#include <iostream>

struct A { 
    static const int i = 1; 
}; 

int main()
{
    std::cout << ((A*)0)->i << std::endl;
    std::cout << A::i << std::endl;
}

将打印

$ a.out
1
1
$ _