C/C++编程知识:运算符(七)丨三元/三目运算符知识详解
预测以下C ++程序的输出。
#include <iostream>
using namespace std;
int main()
{
int test = 0;
cout << "First character "<< '1'<< endl;
cout << "Second character "<< (test ? 3 : '1') << endl;
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 <iostream>
using namespace std;
int main()
{
int test = 0;
float fvalue = 3.111f;
cout << (test ? fvalue : 0) << endl;
return 0;
}
以下程序将无法编译,因为编译器无法找到三进制表达式的返回类型,或者在exp 2(char数组)和exp 3(int)之间不存在隐式转换。
#include <iostream>
using namespace std;
int main()
{
int test = 0;
cout << test ? "A String": 0 << endl;
return 0;
}
以下程序*可能*编译,但在运行时失败。三元表达式的返回类型绑定到类型(char *),但是表达式返回int,因此程序失败。从字面上看,该程序尝试在运行时在第0个地址打印字符串。
#include <iostream>
using namespace std;
int main()
{
int test = 0;
cout << (test ? "A String": 0) << endl;
return 0;
}
我们可以观察到将exp 2视为输出类型,并且exp 3将在运行时转换为exp 2。如果转换是隐式的,则编译器将插入存根进行转换。如果转换是显式的,则编译器将引发错误。如果有任何编译器未捕获到此类错误,则程序可能会在运行时失败。
最佳实践:
C ++类型系统的强大功能避免了此类错误。确保表达式exp 2和exp 3返回相同的类型或至少安全可转换的类型。
希望对你有帮助~