条件表达式的类型

问题

以下程序的输出是什么？

#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);
}