char *とchar [N]のあいまいなエラー

Question

この正しい動作であるかどうかを理解するのに役立つ人がいますか？

この例で考えてみましょう：GCCで

#include <iostream> 
using namespace std; 

template <typename T> 
struct test { 
}; 

template <typename T> 
bool operator==(const test<T>& obj, const T* arr) { 
    return true; 
} 

template <typename T, size_t TN> 
bool operator==(const test<T>& obj, const T (&arr)[TN]) { 
    return false; 
} 

int main() { 
    cout << (test<char>() == "string") <<endl; 
    return 0; 
} 

は、予想通り、それはうまくコンパイルし、 '0' を出力4.7.3。

しかし、Visual Studioコンパイラでは、ambiguous error (C2593)が報告されます。

この状況では、誰が正しいのですか。standardはそれについて何と言いますか？

ありがとうございます。

Answer 1

gccとclangのかなり新しいバージョン（つまり、開発ブランチの最近のヘッド）もあいまいさを示しています。私は、配列を取っているオーバーロードが良いと思ったでしょうが、コードがあいまいであるようです。私は、しかし、規格の関連条項を追跡していない。

Answer 2

単純なオーバーロードはgccの新しいバージョンではうまくいかず、VC10ではうまくいきません。

誰かがここでこの問題を解決する方法を疑問に思うのであれば、解決策です：

template <typename T> 
struct test { 
}; 

template <typename T> 
struct parse { 
}; 

template <typename T> 
struct parse<T*> { 
    static bool run() { 
     return true; 
    } 
}; 

template <typename T, size_t TN> 
struct parse<T[TN]> { 
    static bool run() { 
     return false; 
    } 
}; 

template <typename T, typename T2> 
bool operator==(const test<T>& obj, const T2& obj2) { 
    return parse<T2>::run(); 
} 

int main() { 
    cout << (test<char>() == "string") <<endl; 
    cout << (test<char>() == (char*)"string") <<endl; 
    return 0; 
} 

はVC10、GCC-4.6.3とgcc-4.8.1とそれをコンパイル。 正しく動作しているようです。