曖昧的函數的調用

Question

我有四個功能：

template<class Exception,class Argument> 
void allocate_help(const Argument& arg,Int2Type<true>)const; 

template<class Exception,class Argument> 
std::nullptr_t allocate_help(const Argument& arg,Int2Type<false>)const; 

template<class Exception> 
void allocate_help(const Exception& ex,Int2Type<true>)const; 

template<class Exception> 
std::nullptr_t allocate_help(const Exception& ex,Int2Type<false>)const; 

但是當我打電話：

allocate_help<std::bad_alloc>(e,Int2Type<true>()); //here e is of a std::bad_alloc type 

我得到一個錯誤：
錯誤3錯誤C2668：曖昧調用超載功能 爲什麼？

Answer 1

因爲您的來電都匹配：

template<class Exception,class Argument> 
void allocate_help(const Argument& arg,Int2Type<true>)const; 

與Exception = std::bad_alloc和Argument = std::bad_alloc（Argument自動推導出），並且：

template<class Exception> 
void allocate_help(const Exception& ex,Int2Type<true>)const; 

與Exception = std::bad_alloc。因此呼叫的含糊不清。

此外，我認爲你的編譯器應該輸出錯誤行之後的所有匹配功能，所以你可以自己回答你的問題。

Answer 2

因爲他們是ambigious。

template<class Exception,class Argument> 
std::nullptr_t allocate_help(const Argument& arg,Int2Type<true>)const; 

template<class Exception> 
std::nullptr_t allocate_help(const Exception& ex,Int2Type<true>)const; 

所述第二函數的簽名是第一個，這意味着，在函數調用的上下文它們是相同的以「任何類型」作爲第一個參數，Int2Type作爲第二個參數的子集。

allocate_help<std::bad_alloc>(e,Int2Type<true>()); 

能成爲可以：

std::nullptr_t allocate_help<std::bad_alloc, std::bad_alloc>(const std::bad_alloc& arg,Int2Type<true>)const; 

或

std::nullptr_t allocate_help<std::bad_alloc>(const std::bad_alloc& ex,Int2Type<true>)const; 

如何將編譯器選擇？