static constexpr odr-used 与否？

Question

为什么以下内容适用于gcc，但不适用于clang，（see it live）：

constexpr int giveMeValue() { return 42; }

struct TryMe {
  static constexpr int arr[1] = {
      giveMeValue()
  };  
};

int main() {
    int val = TryMe::arr[0];
    return val;
}

我用 clang 得到一个未解析的外部符号。

TryMe::arr[0] 是一个对象吗？如果是，它是 odr-used 吗？

Answer 1

TryMe::arr 是 odr-used 但您没有提供定义 (see it live)：

constexpr int TryMe::arr[1];

为什么gcc和clang的结果不一致？这是因为 odr 违规不需要从 C++11 和 C++14 草案标准（强调我的）进行诊断：

每个程序都应该包含每个非内联的定义 在该程序中使用 odr 的函数或变量； 无诊断 必需。

我们可以从 C++11 标准草案中看到它是 odr-used，3.2 部分说：

一个表达式可能会被计算，除非它是一个未计算的 操作数（第 5 条）或其子表达式。一个变量，其名称 显示为潜在评估的表达式是 odr-used 除非它是 满足出现在常量中的要求的对象 表达式 (5.19) 和左值到右值的转换 (4.1) 是 立即申请。

TryMe::arr 是一个对象，它确实满足出现在常量表达式中的要求，但左值到右值的转换不会立即应用于TryMe::arr，而是应用于TryMe::arr[0]。

C++14 标准草案的更新措辞也适用于 C++11，因为它是通过缺陷报告应用的 (DR 712)：

变量 x，其名称显示为潜在求值表达式 除非应用左值到右值转换 (4.1)，否则 ex 是 odr-used to x 产生一个不调用任何表达式的常量表达式 (5.19) 非平凡函数，如果 x 是一个对象，ex 是 表达式 e 的一组潜在结果，其中 左值到右值转换 (4.1) 应用于 e，或者 e 是 丢弃值表达式

根据3.2 段落2 中的条件，表达式TryMe::arr[0] 的潜在结果为空，因此它是odr-used。

注意：您需要根据9.4.2 [class.static.data] 部分在类之外提供定义（强调我的）：

可以在类中声明文字类型的静态数据成员 使用 constexpr 说明符定义；如果是，其声明应 指定一个大括号或相等初始化器，其中每个初始化器子句 也就是说，赋值表达式是一个常量表达式。 [注：在 在这两种情况下，成员都可能出现在常量表达式中。 -结尾 note ] 该成员仍应在命名空间范围内定义，如果它 在程序和命名空间范围定义中被 odr-used (3.2) 不应包含初始化程序

更新

T.C.指出defect report 1926 将以下项目符号添加到3.2 [basic.def.odr] 第2 段：

• 如果 e 是带有数组操作数的下标操作 (5.2.1 [expr.sub])，则集合包含该操作数。

这意味着下标数组不再是 odr 使用，因此 OP 代码在 C++1z 中格式正确，并且看起来像 C++14，因为缺陷看起来像是针对 C++14 .