这是我有点奇怪的代码:
template <typename T&>
class A {
public:
void b(typename std::enable_if<!std::is_pointer<T>::value, T>;::type o) {}
void b(typename std::enable_if<std::is_pointer<T>::value, T>;::type o) {}
};
template <typename T>
void b(typename std::enable_if<!std::is_pointer<T>::value, T>::type o) {}
template <typename T>
void b(typename std::enable_if<std::is_pointer<T>::value, T>::type o) {}
如果我ifdef
出方法b
并调用b<int *>(pi
),其中pi
int *
,则所有内容都会编译。
如果我ifdef
出函数b
(类外)并调用A<int *> a; a.b(pi)
,则会出现以下错误:
error: no type named 'type' in 'std::__1::enable_if<false, int *>'
为什么不一致以及如何解决问题以便我可以使用 A 中的方法?
问题是,SFINAE 仅在重载解析期间工作,并且仅当函数本身是模板时才有效。在您的方法案例中,整个类都是一个模板,这意味着模板参数没有替换(记住:SFINAE == "替换失败不是错误")。
在实例化时,方法签名如下所示(不要介意对它们的调用):
void A<int*>::b(std::enable_if<false, int*>::type o) // error
void A<int*>::b(std::enable_if<true, int*>::type o)
要解决此问题,请同时制作方法模板:
template<class T>
class A{
public:
template<class U>
void b(U o, typename std::enable_if<!std::is_pointer<U>::value>::type* = 0){}
// same for the other version
};
附带说明一下,让模板参数被推导是使用 SFINAE 的更好方法,因此您应该将自由函数修改为如下所示:
template<class T>
void b(T o, typename std::enable_if<!std::is_pointer<T>::value>::type* = 0){}
// same for the other version
在 C++11 中,您甚至可以使用 SFINAE 的模板参数:
template<class T, EnableIf<std::is_pointer<T>> = {}>
void b(T o);
使用从此处链接的博客条目中的别名:
namespace detail{ enum class enabler{}; }
template<class Cond, class T = detail::enabler>
using EnableIf = typename std::enable_if<C::value, T>::type;
有关解释,请参阅Xeo的答案。
对于解决方法:只需向方法添加一个虚拟模板参数
#include <utility>
#include <type_traits>
template <typename T>
class A {
public:
template <typename U = T>
void b(typename std::enable_if<!std::is_pointer<U>::value, U>::type o);
template <typename U = T>
void b(typename std::enable_if<std::is_pointer<U>::value, U>::type o);
};
template <typename T>
template <typename U>
void A<T>::b(typename std::enable_if<!std::is_pointer<U>::value, U>::type o) {}
template <typename T>
template <typename U>
void A<T>::b(typename std::enable_if<std::is_pointer<U>::value, U>::type o) {}
int main() {
A<int> a;
a.b(0);
}
现场演示在这里。
您没有正确使用 SFINAE,因为编译器无法推断出enable_if<...>::type
的参数,这可能这就是它失败的原因。
独立功能的正确声明是:
template <typename T>
typename std::enable_if<!std::is_pointer<T>::value, void>::type b(T o);
template <typename T>
typename std::enable_if<std::is_pointer<T>::value, void>::type b(T o);
在这种特殊情况下,也可以使用普通函数重载:
template <typename T>
void b(T);
template <typename T>
void b(T*);