符号なし__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をパラメータとして使用しています。最初のケースでは完全に一致しています。 2番目のケースではそうではなく、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); 

しかし、あいまいさが解消される__int64xが型である場合を。

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