在尝试实现类型特征时，我的SFINAE应用有什么问题？

Question

我需要一个类型特征，将枚举分解为它们的底层类型，并与所有其他类型的decation\t一样工作。我编写了以下代码，显然这不是SFINAE的工作方式。但这是我认为它应该如何工作的，那么这段代码到底有什么问题，我对C的理解有什么差距？

namespace detail {
    template <typename T, std::enable_if_t<!std::is_enum_v<T>>* = nullptr>
    struct BaseType {
        using Type = std::decay_t<T>;
    };

    template <typename T, std::enable_if_t<std::is_enum_v<T>>* = nullptr>
    struct BaseType {
        using Type = std::underlying_type_t<T>;
    };
}

template <class T>
using base_type_t = typename detail::BaseType<T>::Type;

MSVC中的错误完全无法理解：

“detail:：BaseType”：模板参数“_formal”与声明不兼容

在GCC中更好一点——说第二个模板参数的声明在两个BaseType模板之间不兼容。但是根据我对SFINAE的理解，对于任何给定的T，只有一个应该是可见的，而另一个应该由于enable_if而格式错误。

戈德博尔特链接

Answer 1

BaseType不是部分专用的，您只是重新声明它，并且由于非类型参数具有不同的类型，因此编译失败。你可能想做

#include <type_traits>

namespace detail {
  template <typename T, bool = std::is_enum_v<T>>
    struct BaseType;

    template <typename T>
    struct BaseType<T, false> {
      using Type = std::decay_t<T>;
    };

    template <typename T>
    struct BaseType<T, true> {
      using Type = std::underlying_type_t<T>;
    };
}

Answer 2

使用不同的参数声明同一个结构，这是禁止的。

你可以通过部分专业化来实现：

namespace detail {
    template <typename T, typename Enabler = void>
    struct BaseType {
        using Type = std::decay_t<T>;
    };

    template <typename E>
    struct BaseType<E, std::enable_if_t<std::is_enum_v<E>>>
    {
        using Type = std::underlying_type_t<E>;
    };
}

演示

Answer 3

应用于类模板的SFINAE主要是在模板的部分特化之间进行选择。您的片段中的问题是看不到部分特化。您定义了两个具有相同模板名称的主类模板。这是一个重新定义错误。

为了让它发挥作用，我们应该重组trait实现之间的关系，使它们专门化同一个模板。

namespace detail {
    template <typename T, typename = void> // Non specialised case
    struct BaseType {
        using Type = std::decay_t<T>;
    };

    template <typename T>
    struct BaseType<T, std::enable_if_t<std::is_enum_v<T>>> {
        using Type = std::underlying_type_t<T>;
    };
}

template <class T>
using base_type_t = typename detail::BaseType<T>::Type;

专门化为第二个参数提供了一个void类型（就像主参数被实例化一样）。但因为它是以一种“特殊的方式”实现的，偏序认为它更专业。当替换失败（我们没有通过枚举）时，主节点成为后备节点。

只要第二个模板参数总是无效，并且所有专业都有相互排斥的条件，就可以提供任意数量的专业化。