SFINAE 检测非成员函数是否存在

Question

有谁知道根据是否定义非成员方法来专门化模板的方法吗？我知道如果成员函数存在，有很多方法可以专门化，但我从未见过非成员示例。具体问题是专门化操作员<<对于shared_ptr应用运算符<<如果运算符<<为 T 定义，否则仅打印指针位置。如果所有类都定义了operator<<，那就太好了。作为会员，但不幸的是很多使用免费功能。我正在想象类似以下的内容：

template <typename T>
typename enable_if< ??? ,std::ostream &>::type operator<<( std::ostream & os, const shared_ptr<T> & ptr )
{
  if(ptr)
   return os << *ptr;
  else
   return os << "<NULL>";
}

template <typename T>
typename disable_if< ??? ,std::ostream &>::type operator<<( std::ostream & os, const shared_ptr<T> & ptr )
{
  if(ptr)
   return os << static_cast<intptr_t>( ptr.get() );
  else
   return os << "<NULL>";
}

编辑：对于后代，这是可行的解决方案。请注意，boost::shared_ptr 已经有一个默认运算符<<输出地址，所以disable_if是不必要的。由于运算符<<返回一个引用，这有效。对于一般情况，我怀疑必须对其进行定制以反映相关函数的返回类型。

template <typename T>
typename boost::enable_if_c< boost::is_reference<decltype(*static_cast<std::ostream *>(0) << *static_cast<T *>(0) )>::value, std::ostream &>::type operator<<( std::ostream & os, const boost::shared_ptr<T> & ptr )
{
  if(ptr)
   return os << *ptr;
  else
   return os << "<NULL>";
}

Answer 1

如果您使用的是 C++0x，则可以简单地使用 decltype。

template<typename Char, typename CharTraits, typename T>
        decltype(
            *(std::basic_ostream<Char, CharTraits>*)(nullptr) << *(T*)(nullptr)
        )

如果不能输出T，肯定会导致替换失败。你可能可以在 C++03 中做类似的事情，但我不确定如何做。

编辑：刚刚意识到 decltype 表达式实际上不会产生 true 或 false 值，并且不会编译。但你明白了。试试这个。