问题
以下程序的输出是什么?
#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);
}