关于[conv.lval#2.2]之后的示例的问题

Question

例子是：

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: access of x.n outside its lifetime
int n = g(true);    // OK, does not access y.n

相关规则是：

将左值到右值的转换应用于表达式E时

1. E未进行潜在评估，或

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

我对表达式y. n表示怀疑，它指出n未使用。

根据规则：

表达式E的一组潜在结果定义如下：

• 如果E是一个id表达式（[expr.prim.id]），则该集合只包含E。

根据项目符号3，表达式y.n的潜在结果是y本身，而n确实是y的一个成员，这是y.n的潜在结果。然而，我不同意不使用odr的说法。

根据这条规则：
basic.def.odr#4.2

名称显示为潜在求值表达式E的变量x被E使用，除非

• x是一个非引用类型的变量，在常量表达式中可用，并且没有可变的子对象，E是应用左值到右值转换（[conv.lval]）的非易失性限定非类类型表达式的潜在结果集的一个元素

左值-右值转换应用于表达式y. n，其潜在结果仅包含对象表达式y而不是n。因此，根据[basic.def.odr#4.2]，名为n的变量由表达式n使用。因此，g（true）应该是未定义的行为。如何解释这个例子？是错误的例子吗？

Answer 1

您的推理的问题是[conv.lval]/3.2不要求n不使用。有问题的表达式是E=（b？ y： x）. n。潜在结果集是{x， y}。E的评估，当b=true时，最终将导致y的评估。因此，我们可以设置Ex=y，我们现在发现“对E的评估导致对E的一组潜在结果的成员Ex的评估”是一个真实的语句。该子句现在只要求Ex=y命名一个在Ex中未使用odr的变量。让我重复一遍，因为我认为这就是你出错的地方：[conv.lval]/3.2询问Exodr-use本身（或者，实际上，它命名的变量）。我们要找的是表达式y不odr-use变量y的证明。成员访问n并不重要。

好吧，我们继续看[basic.def.odr]/4

一个变量x，其名称显示为可能评估的表达式E被E使用，除非

• x是一个非引用类型的变量，可在常量表达式中使用，并且没有可变的子对象，E是应用左值到右值转换（[conv.lval]）的非易失性限定非类类型表达式的潜在结果集的一个元素，或

请注意，这里的E不是我们在[const.lval]/3.2中开始使用的E=（b？ y： x）. n。E是我们正在测试y的odr使用的表达式。让我们将其命名为E'。然后E'=Ex=y，因为我们再次检查表达式yodr-是否使用变量y。条件的第一部分成立；y是一个非引用类型的变量，可用于常量表达式，并且没有可变的子对象。现在，E'=y是原始E潜在结果集的元素吗（因为E是应用左值-右值转换的非易失性限定类类型的表达式）？是的，我们已经讨论过了，y是E的潜在结果之一。因此，Ex不使用y。这完成了[conv.lval]/3.2的先决条件：我们现在知道（b？ y： x）. n在评估左值-右值转换时不访问值y. n。因此，没有UB。再次，请注意n基本上没有出现在我们的推理中。