d::enable_if选择一个专业

Question

我正在努力理解std::enable_if以及在static_assert/常规模板专门化中使用它的好处。

读了一圈后我发现：

当不满足特定条件时，这对于在编译时隐藏签名非常有用，因为在这种情况下，不会定义成员enable_if::类型，尝试使用它编译应该会失败。http://www.cplusplus.com/reference/type_traits/enable_if/

我的问题是：为什么编译器指责我说C类已经声明了？，当一次只能使用一个声明时。

class Interface{};

class Foo : public Interface{};

template <class T, typename = typename std::enable_if<std::is_base_of<Interface,T>::value>::type>
class C{
   // Some custom implementation
}

template <class T, typename = typename std::enable_if<!std::is_base_of<Interface,T>::value>::type>
class C { 
  //Some fallback / default implementation
}

int main() {
    C<Foo> myVariable;
}

导栓中的相同行为：https://godbolt.org/z/cbfhG9q54

提前感谢！




Answer 1

您不能像重载函数模板那样重载类模板，但可以部分地对它们进行专门化（这是函数模板无法做到的）：

#include <ios>
#include <iostream>
#include <type_traits>

class Interface
{};
class Foo : public Interface
{};

template <class T, typename = void>
struct C
{
    // Some default impl.
    static constexpr bool is_default_impl{true};
};

template <class T>
struct C<T, std::enable_if_t<std::is_base_of_v<Interface, T>>>
{
    // Some custom implementation.
    static constexpr bool is_default_impl{false};
};

int main()
{
    std::cout << std::boolalpha 
        << C<int>::is_default_impl << " "  // true
        << C<Foo>::is_default_impl;        // false
}

注意，本示例要求变量模板std:：is_base_of_v使用C17，这是一个简写常量std:：is_base_oftrait的value成员，别名模板std:：enable_if_t使用C14，它为std:：enable_iftrait的type成员别名声明添加别名。