三元运算符为什么以及何时返回左值?

Why and when does the ternary operator return an lvalue?

本文关键字：何时 返回 为什么 三元 运算符      更新时间：2023-10-16

很长一段时间，我认为三元运算符总是返回一个右值。但令我惊讶的是，事实并非如此。在下面的代码中，我没有看到foo的返回值和三元运算符的返回值之间的区别。

#include <iostream>
int g = 20 ;
int foo()
{
return g ;
}
int main()
{
int i= 2,j =10 ;
foo()=10 ; // not Ok 
((i < 3) ? i : j) = 7; //Ok
std::cout << i <<","<<j << "," <<g << std::endl ;
}

i和j都是glvalue(有关详细信息，请参阅此值类别参考)。

然后，如果您阅读此条件运算符参考，我们将得出这一点：

4) 如果 E2 和 E3 是相同类型和相同值类别的 gl值，则结果具有相同的类型和值类别

因此，(i < 3) ? i : j的结果是一个glvalue，可以分配给它。

但是，做这样的事情真的不是我推荐的。

[expr.cond] 中详细介绍了这方面的规则。类型和值类别的多种组合有许多分支。但最终，表达式在默认情况下是一个 prvalue。您的示例中的情况由第 5 段涵盖：

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

i和j都是变量名，是类型int的左值表达式。因此，条件运算符生成一个int左值。

如果三元条件运算符的第二个和第三个操作数的类型是左值，则会产生一个左值。

可以使用函数模板is_lvalue(如下)来确定操作数是否为左值，并在函数模板isTernaryAssignable中使用它来确定是否可以将其分配给。

一个最小的例子：

#include <iostream>
#include <type_traits>
template <typename T>
constexpr bool is_lvalue(T&&) {
return std::is_lvalue_reference<T>{};
}
template <typename T, typename U>
bool isTernaryAssignable(T&& t, U&& u)
{
return is_lvalue(std::forward<T>(t)) && is_lvalue(std::forward<U>(u));
}
int main(){
int i= 2,j =10 ;
((i < 3) ? i : j) = 7; //Ok
std::cout << std::boolalpha << isTernaryAssignable(i, j); std::cout << 'n';
std::cout << std::boolalpha << isTernaryAssignable(i, 10); std::cout << 'n';
std::cout << std::boolalpha << isTernaryAssignable(2, j); std::cout << 'n';
std::cout << std::boolalpha << isTernaryAssignable(2, 10); std::cout << 'n';   
}

输出：

true
false
false
false

现场演示

注意：您传递给isTernaryAssignable的操作数应使它们不会发生衰减(例如，衰减到指针的数组)。

相关文章：