条件表达式的类型

问题

以下程序的输出是什么?

#include <iostream>

using namespace std;

void f(long);
void f(const char*);

int main()
{
    f(1?0:1);

    return 0;
}

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

void f(const char*)
{
    cout << "const char*" << endl;
}

很遗憾,在g++上没有编译通过:

$> g++ conditional_exp.cpp
conditional_exp.cpp: In function ‘int main()’:
conditional_exp.cpp:10: 错误:调用重载的‘f(int)’有歧义
conditional_exp.cpp:5: 附注:备选为: void f(long int)
conditional_exp.cpp:6: 附注:         void f(const char*)

条件表达式(1?0:1)的类型是什么呢?

cout << typeid(1?0:1).name() << endl;

以上输出字符i,代表表达式的类型是int

如果调用f(1),最上面的程序编译正常,输出是long

如果调用f(0),最上面的程序也报同样的编译错误,就是说,在编译器看来(1?0:1)与0没有区别。

字面值0的类型是int,没有参数为int的函数,需要隐式类型转换,0可以转换为long,也可以作为空指针转换为const char*,产生二义性,编译报错。

如下调用:

	const char* p = NULL;
	f(p==NULL?0:1);
eclipse会继续提示二义性,但是编译不会报错,也没有警告,程序输出为long (为什么1?0:1的结果是编译报错,而这里编译正常?)

编译时与运行时的结果如此不同,是不是它们执行的规则有略微不同呢?

根据结果来看,编译执行更严格的检查,报错是提醒coder,这个地方极可能出错;运行时,它遵循规则,将int隐式转换为long,并调用正确的函数。

以下是一些尝试的总结:

	f(1?0:1);              //compile error
	f(0);                  //compile error
	f(1?2:1);              //call f(long)

	const char* p = NULL;
	f(p==NULL?0:1);        //eclipse complain, compile succeed, call f(long)

	f(NULL);               //compile error
	f(0L);                 //call f(long)
	f((const char*)0);     //call f(const char*)

如果现在多加一个函数重载:

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

不会有compile error和eclipse complain,类型为int的0,找到了准确的函数原型,不需要类型转换:

	f(1?0:1);              //call f(int)
	f(0);                  //call f(int)
	f(1?2:1);              //call f(int)

	const char* p = NULL;
	f(p==NULL?0:1);        //call f(int)

	f(NULL);               //call f(long)
	f(0L);                 //call f(long)
	f((const char*)0);     //call f(const char*)

建议

在调用的时候,给0加上L后缀,如:

f(1?0L:1);

更好的方法是,添加参数为int的函数重载:

void f(int i)
{
	f((long)i);
}

©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页