C 11:过载分辨率和SFINAE

前端之家收集整理的这篇文章主要介绍了C 11:过载分辨率和SFINAE前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
我正在学习SFINAE,这是我第一次尝试打印“YES”,只能用于std :: ostream(请忘记std :: operator<(std :: ostream& T))输出的类型...):
template <typename T>
void f(const T &) { std::cout << "NO" << std::endl; }

template <typename T,int SFINAE = sizeof(static_cast<std::ostream &(std::ostream::*)(T)>(
    &std::ostream::operator<<))>
void f(const T &) { std::cout << "YES" << std::endl; }

虽然它们似乎与f(std :: vector< int>())(产生“否”)一起工作,但编译器抱怨f(0)是不明确的:http://ideone.com/VljXFh

prog.cpp:16:5: error: call of overloaded 'f(int)' is ambiguous
  f(0);
     ^
prog.cpp:6:6: note: candidate: void f(const T&) [with T = int]
 void f(const T &) { std::cout << "NO" << std::endl; }
      ^
prog.cpp:10:6: note: candidate: void f(const T&) [with T = int; int SFINAE = 8]
 void f(const T &) { std::cout << "YES" << std::endl; }
      ^

如何修复我的代码? “YES”版本是否比完全通用的“NO”版本更具体?

澄清

f(0),f(0.)和f(true)全部失败,出现相同的“模糊”错误.我正在寻找一种适用于std::ostream::operator<<接受的所有类型的解决方案.理想情况下,它不应该依赖于定义一个帮助类型“命令”命名空间.

解决方法

NO版本对于int仍然有效,并且没有适用的部分顺序在两个重载之间进行选择,所以调用是不明确的.

消除歧义的一个简单方法是在函数添加一个额外的变量参数:

template <typename T>
void f(const T &,char) { std::cout << "NO" << std::endl; }
//                ^^^^

template <typename T,int SFINAE = sizeof(static_cast<std::ostream &(std::ostream::*)(T)>(
    &std::ostream::operator<<))>
void f(const T &,int) { std::cout << "YES" << std::endl; }
//                ^^^

现在当你调用函数时,只需传递一个0(或者写一个帮助函数来为你做).如果它是有效的,则SFINAE保护函数将是首选的,因为int是比char更好的匹配0.有关更清楚的表示此消歧的方法,请参见this article.

或者,您可以编写一个特征来检查操作符是否对于给定类型有效,然后使用std :: enable_if< check< T>>和std :: enable_if<!check< T>>以避免歧义.

顺便提一句,你可以使用这种SFINAE的decltype和tail返回类型,我觉得看起来有点干净:

template <typename T>
void f(const T &,char) { std::cout << "NO" << std::endl; }

template <typename T>
auto f(const T &t,int) -> decltype(std::declval<std::ostream&>() << t,void())
{ std::cout << "YES" << std::endl; }

当我们得到C概念,你将能够做这样的事情(这在启用概念的GCC中有效):

template <typename T>
concept bool Outputtable = requires (T t,std::ostream o) { o << t; };

template <typename T>
void f(const T &) { std::cout << "NO" << std::endl; }

template <Outputtable T>
void f(const T &) { std::cout << "YES" << std::endl; }

猜你在找的C&C++相关文章