C / C ++三元运算符中一些有趣的观察

首先大家可以先不看结果，预测以下C ++程序的输出：

大家肯定觉得两个打印语句的输出都一样。但是，输出将是：

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。

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

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

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

最佳实践：

C ++类型系统的强大功能避免了此类错误。确保表达式exp 2和exp 3返回相同的类型或至少安全可转换的类型。我们可以看到其他习惯用法，例如C ++ convert union以进行安全转换。

免费领取学习资料以及教程，大家可以查看下方gif：