爲什麼過載使用無符號__int64和__int64模糊

Question

使用VS2008，爲什麼這是行（不允許使用2010）。

void assert(int exp, int actual) {if (exp!=actual) printf("assert failed\n");} 
void assert(unsigned int exp, unsigned int actual) {if (exp!=actual) printf("assert failed\n");} 

但這是不明確的。

void assert(__int64 exp, __int64 actual) {if (exp!=actual) printf("assert failed\n");} 
void assert(unsigned __int64 exp, unsigned __int64 actual) {if (exp!=actual) printf("assert failed\n");} 

錯誤示例文本

d:\my documents\visual studio 2008\projects\classtest\classtest\classtest.cpp(31) : error C2668: 'assert' : ambiguous call to overloaded function 
d:\my documents\visual studio 2008\projects\classtest\classtest\classtest.cpp(12): could be 'void assert(unsigned __int64,unsigned __int64)' 
d:\my documents\visual studio 2008\projects\classtest\classtest\classtest.cpp(10): or  'void assert(__int64,__int64)' 
while trying to match the argument list '(int, int)' 

它只是變得曖昧與問候到 '無符號' 超載。擁有「int」版本和「__int64」版本並不含糊。

Answer 1

你的代碼實際上使用int和int作爲參數。在第一種情況下，它具有完全匹配。在第二種情況下，它不會，它將int-> uint64和int-> int64視爲同等有效的轉換，因此它不知道要選擇哪一個。

Answer 2

你得到這一點，因爲int可以隱式轉換到兩個__int64和unsigned __int64。

下也不會編譯：

void assert(__int64 exp, __int64 actual) {if (exp!=actual) printf("assert failed\n");} 
void assert(unsigned __int64 exp, unsigned __int64 actual){if (exp!=actual) printf("assert failed\n");} 

int x = 0; 
assert(x,x); 

但如果x是__int64型的不確定性得到解決。

void assert(__int64 exp, __int64 actual) {if (exp!=actual) printf("assert failed\n");} 
void assert(unsigned __int64 exp, unsigned __int64 actual){if (exp!=actual) printf("assert failed\n");} 

__int64 x = 0; 
assert(x,x);\ 
//compiles