我正在学习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; }
