对条件表达式结果的赋值(其中第二个和第三个操作数是相同类型和值类别的变量）是否仍然存在?

Do assignments to the result of conditional expressions where the second and third operands are variables of the same type and value category persist?

本文关键字：同类型 变量 是否 存在 操作数 第二个 表达式 赋值 条件 三个 结果      更新时间：2023-10-16

在学习值类别时，我发现以下代码片段编译并运行良好：

#include <iostream>
int main() {
int x = 1;
int y = 2;
(true ? x : y) = 4;
std::cout << x << std::endl;
}

下面是输出：

4

首先，我检查了这个说法是否合法C++，我相信是因为以下原因：

N4296 5.16.4 条件运算符 [expr.cond]

如果第二个和第三个操作数是相同值的 gl值 类别并具有相同的类型，结果是该类型和值 类别，如果第二个或第三个操作数是 位域，或者如果两者都是位字段。

假设x和y都是左值(因此是 glvalue)，则在这两种情况下，条件表达式的结果都是左值。在此基础上，该表达似乎是有效的。然而，目前尚不清楚这是否应该有任何影响。

我不确定条件语句是否应该起作用的原因是因为第二个和第三个操作数类型的类型是int。即使这个结果int是一个左值，这并不意味着它必须引用x或y。它本质上可能是一个虚拟变量，导致没有效果，并且符合标准。换句话说，我认为没有理由将其解析为int&而不是单独的int。

我的问题是...

这种行为是否正确，为什么？

我

事先看过这个问题，但不要相信它回答了我的问题。这个问题的答案指的是一个较旧的标准，有不同的措辞，并没有回答我关于结果是否int&x的问题。

条件运算符的描述以这样的内容开头。我引用的是最新的工作草案，但所有标准版本的含义都是一样的，随着时间的推移，措辞有一些小的改进：

条件表达式从右到左分组。第一个表达式在上下文中转换为bool(7.3)。它 被计算，如果true，条件表达式的结果是第二个表达式的值， 否则是第三个表达式。仅计算第二个和第三个表达式中的一个。第一个 表达式在第二个或第三个表达式 (6.9.1) 之前排序。

那是 [expr.cond]/1。[expr.cond] 的其余部分解释了如何确定条件表达式的类型和值类别，以及必须应用哪些转换(如果有)。这些部分不会重复结果是第二个或第三个操作数的事实，因为它已经预先说明过了。因此，当第二个和第三个操作数都是类型int的左值时，结果只能是引用第二个或第三个操作数的左值，因为任何其他结果都与第一段不一致。

相关文章：