理解左值到右值转换的示例

Understanding the example on lvalue-to-rvalue conversion

本文关键字：转换      更新时间：2023-10-16

我很难理解这段代码（C++14标准草案[conv.val]中的一个示例）是如何调用g(false)的未定义行为的。为什么constexpr使程序有效？

另外，"不访问y.n"是什么意思？在对g()的两次调用中，我们都返回了n数据成员，那么为什么最后一行说它不访问它呢？

struct S { int n; };
auto f() {
    S x { 1 };
    constexpr S y { 2 };
    return [&](bool b) { return (b ? y : x).n; };
}
auto g = f();
int m = g(false); // undefined behavior due to access of x.n outside its
                  // lifetime
int n = g(true);  // OK, does not access y.n

这是因为y.n不是odr使用的，因此不需要访问y.n，所以3.2中包含了odr使用规则，并表示：

除非应用从左值到右值的转换（4.1）到x产生一个常量表达式（5.19），它不会调用任何非平凡的函数，如果x是对象，ex是表达式e的潜在结果集的元素，其中左值到右值的转换（4.1）应用于e，或者e是一个丢弃的值表达式

请注意，Ben Voigt发表了一些有益的评论，稍微澄清了这一点。因此，这里的工作假设是x将是：

y

并且e将是（定义e的不同表达式见第3.2节第2段）：

(b ? y : x).n

y产生一个常数表达式，并且左值到右值的转换应用于表达式e。

由于f产生了通过引用捕获f的局部变量的lambda，一旦对f的调用完成，x就不再有效，因为x是f内部的自动变量。由于y是常量表达式，它的作用就好像y.n没有被访问一样，因此我们没有相同的生存期问题。

您的示例包含在N3939 4.1[conv.val]部分中，就在该示例之前，它说：

当左值到右值的转换应用于表达式e时，并且

并且包括该examle所属的以下项目符号：

对e的评估导致对e的潜在结果集合的成员ex的评估，以及ex命名了一个变量x，不是由ex（3.2）使用的，

然后：

引用对象中包含的值未被访问

由于缺陷报告1773，这适用于C++14标准草案。

相关文章：