C++条件运算符的返回类型

最新推荐文章于 2024-01-28 11:45:53 发布

星星斋

最新推荐文章于 2024-01-28 11:45:53 发布

阅读量1.6k

点赞数 1

分类专栏： C++ Templates

本文链接：https://blog.youkuaiyun.com/u012848330/article/details/107240545

版权

C++ Templates 专栏收录该内容

3 篇文章

订阅专栏

本文深入探讨了C++中的条件运算符（三元运算符）的使用规则和类型推导机制，解释了如何根据条件选择不同类型的表达式，并讨论了在实际编程中可能遇到的类型转换问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

稍微总结了一下，还是有很多不明白的地方的。有一些是粘贴自cppreference.com的

条件运算符表达式的形式为

E1 ? E2 : E3

对条件运算符的第一操作数求值并将其按语境转换为 bool。当第一操作数的值计算和所有副作用完成之后，若结果为 true，则求值第二操作数。若结果为 false，则求值第三操作数。

条件表达式 E1 ? E2 : E3 的类型和值类别按照下列规则确定：

1. 若 E2 或 E3 具有 void 类型，则下列之一必须为真，否则程序非良构：

1.1 E2 或 E3（但非两者）为（可带括号的）throw 表达式。条件运算符的结果具有另一表达式的类型和值类别

std::cout << std::is_same<decltype(true ? int() : throw std::logic_error("")), int>::value << std::endl; //output: 1

1.2 E2 和 E3 都具有 void 类型（包括两者均为 throw 表达式的情况）。结果为 void 类型的纯右值

std::cout << std::is_same<decltype(true?throw std::logic_error(""): throw std::logic_error("")), void>::value << std::endl;

//output: 1

2.否则，若 E2 与 E3 拥有不同类型且至少有一个是（可有 cv 限定的）类类型，或都是同一值类别的泛左值且具有除了 cv 限定性之外都相同的类型，则尝试组成隐式转换序列，从每个操作数转换到由另一操作数所确定的目标类型，如下文所述。一个名为 X 的 TX 类型的操作数，能以如下方式转换成另一名为 Y 的 TY 类型操作数的目标类型：

2.1 若 Y 为左值，则目标类型为 TY&，且引用必须直接绑定到左值；

struct A{};

struct B : public A{};

struct C{};

A a;

B b;

C zzz;

std::string str = "123";

const std::string ch = "1234";

int c = 10;

int d = 10;

long e = 10;