C++对带有unsigned int的重载函数的模糊调用

Question

这似乎不一致.我f为签名类型重载了3个函数short,int并且long long.如果你传递了一个,unsigned short那么它会被提升为下一个最大的签名类型int.但是,如果你通过unsigned int它然后它没有被提升到签名long long这是我所期望的,而是编译器抱怨对重载函数的模糊调用.

void f(short x) { std::printf("f(short)\n"); }
void f(int x) { std::printf("f(int)\n"); }
void f(long long x) { std::printf("f(long long)\n"); }

int main()
{
    f((unsigned short)0); // Fine: calls f(int)
    // f((unsigned int)0); // Ambiguous: could be f(short), f(int) or f(long long) 
}

Answer 1

它是不一致的,是的,但它是The Way The Language Is,你必须应对,例如,如果你想f((unsigned int)0)调用long long重载,然后提供一个包装器,

inline void f(unsigned int x) { f((long long)x); }

理想情况下,C++的设计者会喜欢让你的两种情况都失败.但是有一些传统的东西(一直追溯到"K&R"C),称为"默认参数提升",基本上说,编译器会隐式转换所有整数类型int,int如果需要的话,比匹配函数签名更窄,和所有的浮点类型更窄double,以double同上.

所以这f((unsigned short)0)就是奇怪的人,真的.