使用 enable_if 重载函数时出错
Error overloading functions with enable_if
我有这段代码,其中一个函数根据可用的成员有不同的实现:
#include <vector>
template <typename T>
struct D
{
struct inner
{ T first; };
};
template <>
struct D<int>
{
using inner = std::vector<int>;
};
template <typename T>
class C
{
using B = D<T>;
typename B::inner b;
public:
typename std::enable_if<std::is_same<decltype(std::declval<B::inner>().first),T>::value,T>::type
first()
{ return b.first; }
typename std::enable_if<std::is_same<decltype(std::declval<B::inner>()[0]),T>::value,T>::type
first()
{ return b[0]; }
};
此代码无法编译。 gcc 说 <first signature> cannot be overloaded with <second signature>
。我不明白为什么这不起作用。
非常感谢。
SFINAE 在 模板 函数的直接上下文中工作。
这里的函数不是模板,而是 class 是。
一种可能的解决方案是制作函数模板:
template <typename U = T>
std::enable_if_t<std::is_same<U, decltype(std::declval<B::inner>().first)>::value, T>
first()
{ return b.first; }
我有这段代码,其中一个函数根据可用的成员有不同的实现:
#include <vector>
template <typename T>
struct D
{
struct inner
{ T first; };
};
template <>
struct D<int>
{
using inner = std::vector<int>;
};
template <typename T>
class C
{
using B = D<T>;
typename B::inner b;
public:
typename std::enable_if<std::is_same<decltype(std::declval<B::inner>().first),T>::value,T>::type
first()
{ return b.first; }
typename std::enable_if<std::is_same<decltype(std::declval<B::inner>()[0]),T>::value,T>::type
first()
{ return b[0]; }
};
此代码无法编译。 gcc 说 <first signature> cannot be overloaded with <second signature>
。我不明白为什么这不起作用。
非常感谢。
SFINAE 在 模板 函数的直接上下文中工作。 这里的函数不是模板,而是 class 是。
一种可能的解决方案是制作函数模板:
template <typename U = T>
std::enable_if_t<std::is_same<U, decltype(std::declval<B::inner>().first)>::value, T>
first()
{ return b.first; }