C++ SFINAE 部分特化

Question

我一直在尝试定义一个辅助类来帮助我使用模板方法，在该方法中我希望为复杂类型和实际类型提供通用实现。

到目前为止，这是我的尝试:

#include<type_traits>
#include<complex>


template<class T>
struct is_complex{ static constexpr bool value = false;};

template<class T>
struct is_complex<std::complex<T>> : 
    std::integral_constant<bool,
    std::is_integral<T>::value ||
    std::is_floating_point<T>::value>{};

template<class T>
struct is_arithmetic:
    std::integral_constant<bool,
    std::is_integral<T>::value ||
    std::is_floating_point<T>::value ||
    is_complex<T>::value>{};


template<class T,
typename std::enable_if_t<is_arithmetic<T>::value,int> =0>
struct real_type {typedef T type;};

template<class T>
struct real_type<typename std::complex<T>>{typedef T type;};

我想要得到类似的东西

typename real_type<std::complex<double>> myVar1;//myVar1 is double
typename real_type<double> myVar2;//myVar2 is double

只要我不关心非算术类型也有real_type<T>::type，我就能让它工作。 。但现在我添加了这个额外的约束，我无法让它工作，而且我真的不明白为什么。

澄清一下:我希望像 real_type<std::string>::type 这样的调用会产生编译时错误。我希望这些调用仅对算术(包括复数)和整数类型有效。

我最近尝试的编译器错误是:

non-type template argument specializes a template parameter with dependent type 'typename std::enable_if_t<is_arithmetic<T>::value, int>' (aka 'typename enable_if<is_arithmetic<T>::value, int>::type')

但我不知道如何处理。如果此信息有用，我可以访问支持 C++17 的编译器。

Answer 1

通常这是通过专门化和模板默认参数来完成的。

我是说

template <typename, typename = void>
struct real_type;

template <typename T>
struct real_type<T, std::enable_if_t<std::is_arithmetic_v<T>>>
 { using type = T; };

template <typename T>
struct real_type<std::complex<T>, void>
 { using type = T; };

其中您对 std::complex 有单独的特化，并且正如帕特里克·罗伯茨(Patrick Roberts)所观察到的(谢谢)，没有 std::complex 您的 is_arithmetic 成为 std::is_arithmetic 的拷贝(因此最好直接使用 std::is_arithmetic)。

你得到了

real_type<int>                 r1;   // compile
real_type<std::complex<float>> r2;   // compile
//real_type<std::string>         r3; // compilation error