C/C＋编程知识：运算符（七）丨三元/三目运算符知识详解

预测以下C ++程序的输出。

#include

using namespace std;

int main()

{

int test = 0;

cout

cout

return 0;

}

有人希望两个打印语句的输出都一样。但是，输出将是

First  character 1

Second character 49

为什么第二个语句打印49？阅读三元表达式。

三元运算符（C / C ++）

三元运算符的格式如下：

exp 1？exp 2：exp 3

表达式exp 1将始终被求值。exp 2和exp 3的执行取决于exp 1的结果。如果exp 1的结果非零，则将评估exp 2，否则将评估exp 3。

副作用：

exp 1的任何副作用都将在执行exp 2或exp 3之前立即进行评估和更新。换句话说，在三元表达式的条件评估之后存在一个序列点。如果exp 2或exp 3有副作用，则仅评估其中之一。

返回类型：

这是另一个有趣的事实。三元运算符具有返回类型。返回类型取决于exp 2， 根据常规\重载转换规则，exp 3可转换为exp 2。如果它们不可转换，则编译器将引发错误。请参阅以下示例，

以下程序编译没有任何错误。三元表达式的返回类型应为float（如exp 2的返回类型），而exp 3（即字面 零-int类型）可以隐式转换为float。

#include

using namespace std;

int main()

{

int test = 0;

float fvalue = 3.111f;

cout

return 0;

}

以下程序将无法编译，因为编译器无法找到三进制表达式的返回类型，或者在exp 2（char数组）和exp 3（int）之间不存在隐式转换。

#include

using namespace std;

int main()

{

int test = 0;

cout

return 0;

}

以下程序*可能*编译，但在运行时失败。三元表达式的返回类型绑定到类型（char *），但是表达式返回int，因此程序失败。从字面上看，该程序尝试在运行时在第0个地址打印字符串。

#include

using namespace std;

int main()

{

int test = 0;

cout

return 0;

}

我们可以观察到将exp 2视为输出类型，并且exp 3将在运行时转换为exp 2。如果转换是隐式的，则编译器将插入存根进行转换。如果转换是显式的，则编译器将引发错误。如果有任何编译器未捕获到此类错误，则程序可能会在运行时失败。

最佳实践：

C ++类型系统的强大功能避免了此类错误。确保表达式exp 2和exp 3返回相同的类型或至少安全可转换的类型。

希望对你有帮助~