条件表达式? : 的值问题

最新推荐文章于 2023-05-16 20:58:05 发布

原创最新推荐文章于 2023-05-16 20:58:05 发布 · 959 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#iostream #c

C/C++ 专栏收录该内容

56 篇文章

订阅专栏

本文探讨了C++中条件表达式（三元运算符）的类型提升规则，并通过示例代码展示了不同类型混合使用时如何进行类型转换。此外，还讨论了条件表达式与if-else语句在类型解析上的差异。

条件表达是（B？A ：C），由于其运算结果运行时才能得到，故在编译阶段，有一个类型提升过程，该表达式的值为A和C中较高的类型。看下面的代码：
#include <iostream>
#include <typeinfo.h>

using namespace std;

int main()
{
    cout<<typeid(true?1.0:1).name()<<endl;
   cout<<typeid(true?1:1.0).name()<<endl;
    return 0;
}

输出:
double
double

所以有引申出一个问题：条件表达式在何种状况下不能修改为"if (..) {..} else {..}"?
看这段代码：

#include <iostream>

using namespace std;

void f(double)
{
    cout << "double" << endl;
}

void f(int)
{
    cout << "int" << endl;
}

int main()
{
    f(true ? 1 : 1.0);  //调用f(double)函数，因为重载解析在编译阶段进行，条件表达式产生类型提升
    if(true)
    {
        f(1);
    }
    else
    {
        f(1.0);
    }
}

输出为：
double
int

讨论帖：http://topic.youkuaiyun.com/u/20071021/12/d5c77a04-38cc-4f8a-b322-8e6c83354921.html