clang 3.4接受以下代码;而vc NOV 2013 CTP拒绝它有一个错误:
error C2668: 'AreEqual' : ambiguous call to overloaded function
template<class headT,class... tailTypes> constexpr headT&& __GetFirst__(headT&& value,tailTypes&&...) { return static_cast<headT&&>(value); }; template<class T> constexpr bool AreEqual(const T& a,const T& b) { return a == b; } template<class headT,class... tailTypes> constexpr bool AreEqual(const headT& head_value,const tailTypes&... tail_values) { return AreEqual(head_value,__GetFirst__(tail_values...)) && AreEqual(tail_values...); } int main() { AreEqual(1,1,2,1); }
哪个编译器符合C 14标准?
更新:完整的错误消息:
error C2668: 'AreEqual' : ambiguous call to overloaded function 1> d:\projects\ktl\test\main.cpp(20): Could be 'bool AreEqual<headT,int>(const headT &,const int &)' 1> with 1> [ 1> headT=int 1> ] 1> d:\projects\ktl\test\main.cpp(8): or 'bool AreEqual<headT>(const T &,const T &)' 1> with 1> [ 1> headT=int 1>,T=int 1> ] 1> while trying to match the argument list '(const int,const int)' 1> 1>Build Failed.
解决方法
Clang(和GCC)的行为是正确的.您可以阅读标准的§14.8.2.4[temp.deduct.partial],了解如何完成功能模板的部分排序,但该子条款第8页中给出的示例直接涵盖了这种情况:
template<class... Args> void f(Args... args); // #1 template<class T1,class... Args> void f(T1 a1,Args... args); // #2 template<class T1,class T2> void f(T1 a1,T2 a2); // #3 f(); // calls #1 f(1,3); // calls #2 f(1,2); // calls #3; non-variadic template #3 is more // specialized than the variadic templates #1 and #2
原文地址:https://www.jb51.cc/c/110317.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。