Question

我有这段代码，其功能根据成员的不同而具有不同的实现：

#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>。我不明白为什么这不起作用。

非常感谢。

Answer 1

SFINAE适用于模板功能的直接上下文。这里的函数不是模板，它是类。

一种可能的解决方案是制作功能模板：

template <typename U = T>
std::enable_if_t<std::is_same<U, decltype(std::declval<B::inner>().first)>::value, T>
first()
{ return b.first; }

使用enable_if重载函数时出错

1 个答案: