c ++模板enable_if无法将函数定义与现有声明匹配答案

【问题标题】：c++ template enable_if unable to match function definition to an existing declarationc ++模板enable_if无法将函数定义与现有声明匹配
【发布时间】：2016-11-19 03:33:29
【问题描述】：

我正在尝试为类外部的模板类定义模板成员函数，并利用 SFINAE 有效地部分重载该函数。我正在尝试的一个最小示例是：

测试.h：

template<typename T, size_t D>
class Test
{
public:
    Test(){}
    ~Test(){}

    template<size_t W = D, typename = int*>
    void do_something(Test&);
private:
    T data[D];
};

#include <type_traits>

template<typename T, size_t D>
template<size_t W, typename std::enable_if<W == 2, int>::type* = 0>
inline void Test<T, D>::do_something(Test &)
{
    exit(2);
}

template<typename T, size_t D>
template<size_t W, typename std::enable_if<W == 3, int>::type* = 0>
inline void Test<T, D>::do_something(Test &)
{
    exit(3);
}

Main.cpp：

int main(int, char**) {
    Test<float, 2> t1;
    Test<float, 2> t2;
    t1.do_something(t2);
    return 0;
}

但是，此代码示例会产生错误：C2244 'Test::do_something'：无法将函数定义与现有声明匹配。如果我改变了

template<size_t W, typename std::enable_if<W == 2, int>::type* = 0>

到

 template<size_t W, typename Type>

并删除 do_something 的其他定义，然后代码将毫无问题地编译，所以我知道 enable_if 是问题所在。那么问题来了：在类内部不定义函数的情况下，如何使用enable_if实现部分重载的效果？

应该补充一点，我正在使用 MSVS 2015 进行编译。

【问题讨论】：

您还必须在声明中使用std::enable_if。
所以，在你的情况下，你可以只使用重载。

标签： c++ visual-studio templates c++11 enable-if

【解决方案1】：

您还必须在声明中使用std::enable_if：

template<typename T, std::size_t D>
class Test
{
public:
    template<std::size_t W, typename std::enable_if<W == 2>::type* = nullptr>
    void do_something(Test<T, W> &);

    template<std::size_t W, typename std::enable_if<W == 3>::type* = nullptr>
    void do_something(Test<T, W> &);
};



template<typename T, std::size_t D>
template<std::size_t W, typename std::enable_if<W == 2>::type*>
void Test<T, D>::do_something(Test<T, W> &)
{
    std::cout << 1 << std::endl;
}

template<typename T, std::size_t D>
template<std::size_t W, typename std::enable_if<W == 3>::type*>
void Test<T, D>::do_something(Test<T, W> &)
{
    std::cout << 2 << std::endl;
}

Demo

【讨论】：