有点像我的 previous question 的延续.我得到的是一堆像这样形成 sfinae 依赖链的函数(让“A -> B”符号表示 A 的存在取决于 B 的存在):
S::f_base -> S::f -> ns::f_ -> f -> T::f
其中 T 是模板参数。它的实现方式类似于 this :
#include <utility>
struct S;
template <typename T>
auto f(S& s, T const& t) -> decltype(t.f(s), void())
{
t.f(s);
}
namespace ns
{
template <typename T>
auto f_(S& s, T const& t) -> decltype(f(s, t), void())
{
f(s, t);
}
}
struct S
{
template <typename T>
auto f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void())
{
ns::f_(*this, t);
}
template <typename T>
auto f_base(T const* t_ptr) -> decltype(f(*t_ptr), void())
{
f(*t_ptr);
}
};
struct pass
{
void f(S&) const
{
}
};
struct fail
{
};
int main()
{
S s;
s.f(pass()); // compiles
//s.f(fail()); // doesn't compile
return 0;
}
并按预期工作。当我尝试移动 S::f
的定义时出现问题和 S::f_base
在类主体之外,如 so :
#include <utility>
struct S;
template <typename T>
auto f(S& s, T const& t) -> decltype(t.f(s), void())
{
t.f(s);
}
namespace ns
{
template <typename T>
auto f_(S& s, T const& t) -> decltype(f(s, t), void())
{
f(s, t);
}
}
struct S
{
template <typename T>
auto f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void());
template <typename T>
auto f_base(T const* t_ptr) -> decltype(f(*t_ptr), void());
};
template <typename T>
auto S::f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void())
{
ns::f_(*this, t);
}
template <typename T>
auto S::f_base(T const* t_ptr) -> decltype(f(*t_ptr), void()) // <---- HERE ---
{
f(*t_ptr);
}
int main()
{
return 0;
}
在箭头标记的线上 GCC 4.7.1
表达不满:
error: prototype for 'decltype ((((S*)0)->S::f((* t_ptr)), void())) S::f_base(const T*)' does not match any in class 'S'
error: candidate is: template decltype ((((S*)this)->S::f((* t_ptr)), void())) S::f_base(const T*)
我试图明确指定哪个 f
我在 f_base
中使用通过在其前面加上(在声明和定义中)std::declval<S&>().
,但错误仍然存在。
我知道我可以像这样修改依赖图:
S::f_base ->
-> ns::f_ -> f -> T::f
S::f ->
制作S::f_base
取决于 ns::f_
连同 S::f
, 但是有没有办法用第一个依赖图来做到这一点?
最佳答案
GCC 4.X 不是元编程的最佳选择
我已经设法让它在 4.7.3 ( live ) 中编译:
#include <utility>
struct S;
template <typename T>
auto f(S& s, T const& t) -> decltype(t.f(s), void())
{
t.f(s);
}
namespace ns
{
template <typename T>
auto f_(S& s, T const& t) -> decltype(f(s, t), void())
{
f(s, t);
}
}
// some std::void_t like but GCC4.x compatible
template<class T>
struct void_t
{
using type = typename std::enable_if<std::is_same<T,T>::value >::type;
};
struct S
{
template <typename T>
auto f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void());
template <typename T>
auto f_base(T const* t_ptr) -> typename void_t< decltype (::f(*std::declval<T const*>()))>::type ;
};
template <typename T>
auto S::f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void())
{
ns::f_(*this, t);
}
// ::f is needed, fail if just 'f'
template <typename T>
auto S::f_base(T const* t_ptr) -> typename void_t< decltype (::f(*std::declval<T const*>()))>::type
{
f(*t_ptr);
}
int main()
{
return 0;
}
注意:
在 GCC4.X 中,我看到了一些奇怪的东西,比如:
template<class T>
struct void_t
{
using type = void;
};
GCC 替换 void_t<decltype(expr)>::type
的地方通过 void
即使expr
无效。这就是为什么我使用 void_t
的实现.
关于c++ - sfinae 关于在类主体外部定义的成员函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11758559/