对函数的不明确调用
我有四个函数：
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：对重载函数的不明确调用 为什么？
I have four functions:
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;
but when I call:
allocate_help<std::bad_alloc>(e,Int2Type<true>()); //here e is of a std::bad_alloc type
I'm getting an error:
Error 3 error C2668: ambiguous call to overloaded function
Why?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
因为您的调用同时匹配：
Exception = std::bad_alloc和Argument = std::bad_alloc（Argument是自动推导出来的），并且：与
Exception = std::bad_alloc。因此，通话的含糊性。另外我认为你的编译器应该在错误行之后输出所有匹配的函数，这样你就可以自己回答你的问题。
Because your call matches both:
with
Exception = std::bad_allocandArgument = std::bad_alloc(Argumentis automatically deduced), and:with
Exception = std::bad_alloc. Hence the ambiguity of the call.Also I think that your compiler should output all the matching function after the error line, so you could answer your question yourself.
因为他们是暧昧的。
第二个函数的签名是第一个函数的子集，这意味着在函数调用的上下文中，它们与将“任何类型”作为第一个参数和 Int2Type 作为第二个参数相同。
可以变成：
或
编译器会如何选择？
Because they are ambigious.
The signature of the second function is a subset of the first one, which means that in the context of your function call they are the same of taking "any type" as first argument and Int2Type as second argument.
Can become either:
or
How would the compiler choose?