c++ - 类外的类函数模板定义

Question

所以我一直在编写自己的 unique_ptr 类，并且我必须以与处理其他类型不同的方式处理数组。

template <typename TYPE, bool _arr = std::is_array<TYPE>::value>
    class scoped_ptr final {
    private:
        typedef std::remove_extent_t<TYPE> gen;
        gen* m_data;
    public:
        //some methods
        void reset();
    };

template<typename TYPE ,bool _arr>
    inline void scoped_ptr<TYPE, _arr>::reset()
    {
    //some code...
    }

问题是我希望重置方法仅适用于非数组分配，当使用 std::enable_if 时出现错误:“无法在类模板成员的声明中指定默认模板参数类之外”，尽管代码仍在编译

template<typename TYPE ,bool _arr>
    class scoped_ptr final {
    public:
        template<typename = typename std::enable_if<!_arr>::type>
        void reset();
    };

template<typename TYPE ,bool _arr>
template<typename = typename std::enable_if<!_arr>::type>
    inline void scoped_ptr<TYPE, _arr>::reset()
    {
    }

我也试过这个，但是也报错:“template argument list must match parameter list”

template<typename TYPE ,bool _arr>
    inline void scoped_ptr<TYPE, false>::reset()
    {
    }

有人知道如何为数组禁用此方法吗？我知道我可以专门化 scoped_ptr 类，但我想避免代码重复。有什么办法吗？

编辑:

阅读回复后，我将代码更改为:

template <typename TYPE, bool is_arr = std::is_array<TYPE>::value>
    class scoped_ptr final {
    private:
        typedef std::remove_extent_t<TYPE> gen;
        gen* m_data;

    public:
        //Some methods

        template<bool _arr = is_arr, typename = typename std::enable_if<!_arr>::type>
        void reset();

    };


    template<typename TYPE, bool is_arr>
    template<bool, typename>
    inline void scoped_ptr<TYPE, is_arr>::reset()
    {
    }

代码编译没有错误，直到我尝试调用该方法:

int main() {

    scoped_ptr<int> ptr = new int;
    ptr.reset();
}

那是当我收到错误消息时:“void scoped_ptr«int,false»::reset(void): 无法推断 «unnamed-symbol» 的模板参数”

但是如果我在类内部编写实现，错误就会消失。我该如何解决这个问题？

Answer 1

如果你想让 reset() SFINAE 友好，让它成为一个假模板:

template<bool is_arr = _arr, typename = std::enable_if_t<is_arr>>
void reset();

请注意，SFINAE 在实例化模板时起作用，条件应取决于模板参数。这不是有效的 SFINAE 结构:

template<typename = typename std::enable_if<!_arr>::type>
void reset();

如果您不关心 SFINAE 的友好性，请在 reset() 中使用 static_assert()。

编辑。

考虑以下 simple code作为有效和无效 SFINAE 的演示:

template<class T, bool f = std::is_integral_v<T>>
struct S {
    // template<typename = std::enable_if_t<f>>                 // (invalid)
    template<bool _f = f, typename = std::enable_if_t<_f>>      // (valid)
    void reset() {}
};

template<class T, typename = void>
struct has_reset : std::false_type {};

template<class T>
struct has_reset<T, std::void_t<decltype(std::declval<T>().reset())>> : std::true_type {};

void foo() {
    has_reset<S<int>>::value;
    has_reset<S<void>>::value;
}

如果将 (valid) 行替换为 (invalid) 行，它将无法编译。

编辑 2.

在类外定义成员函数时，不重复模板参数的默认值:

template<class T, bool f>
template<bool, typename>
void S<T, f>::reset() { }

编辑 3.

出于某种原因(我想是编译器错误)MSVC 拒绝了这个定义并出现错误:“无法为 «unnamed-symbol» 推断模板参数”。可以通过为 bool 参数添加名称来修复它:

template<class T, bool f>
template<bool _f, typename>
void S<T, f>::reset() { }

此名称应与声明中的名称相匹配。