c++ - 我可以用 std::enable_if 摆脱模板特化吗？

Question

我阅读了有关 std::enable_if 的内容:

function overloading based on arbitrary properties of type

所以我试图通过 enable_if 重载类 ctors(如下所示)但是我收到错误消息说 enable_if cannot be used to disable declaration and this in both lines when我使用了 std::enable_if :

#include <iostream>
#include <type_traits>
#include <typeinfo>


template <typename T>
class cls
{
public:

    cls (T a, typename std::enable_if< std::is_same<T, int>::value >::type  * Dummy = 0)
    {
        std::cout << "Ctor for int\n";
    }

    cls (T a, typename std::enable_if< std::is_same<T, char>::value >::type  * Dummy = 0)
    {
        std::cout << "Ctor for char\n";
    }
};

int main()
{

    cls a(10);
    cls b('x');

    return 0;
}

那么是否可以使用 enbale_if 重载 ctors。

Answer 1

问题是，例如当你实例化一个 cls<int> ，您总是会从第二个构造函数重载中得到失败的要求，即 std::enable_if< std::is_same<T, char>::value >::type与 T是int . cls<char> 也一样.

您可以制作构造函数模板来制作SFINAE生效；这将从重载集中摆脱模板特化并且不会导致编译错误。例如

template <typename X = T>
cls (X a, typename std::enable_if< std::is_same<X, int>::value >::type  * Dummy = 0)
{
    std::cout << "Ctor for int\n";
}

template <typename X = T>
cls (X a, typename std::enable_if< std::is_same<X, char>::value >::type  * Dummy = 0)
{
    std::cout << "Ctor for char\n";
}

LIVE