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

Question

我需要一种类型特征，使其基础类型衰落，并且与所有其他类型的decay_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中的错误是完全难以理解的：

'细节:: basetype'：模板参数'__formal'与 声明

In GCC it's a bit better - says that declarations of the second template parameter are incompatible between the two BaseType templates.但是，根据我对Sfinae的理解，对于任何给定的T，只能在任何给定的T中都能看到一个，另一个应符合enable_if。

godbolt链接

Answer 1

应用于类模板的Sfinae主要是关于在模板的部分专业方面进行选择。片段中的问题在于，看不到部分专业。您使用相同的模板名称定义了两个主要类模板。这是重新定义错误。

为了使它起作用，我们应该以专门为相同模板的方式来重组特质实现之间的关系。

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类型（就像主体可以实例化一样）。但是由于它以“特殊方式”这样做，因此部分订购认为它更专业。当替代失败（我们不通过枚举）时，主要的是后备。

只要第二个模板参数始终是void，并且所有专业都有相互排斥的条件，就可以提供所需的尽可能多的专业化。

Answer 2

astepype没有被部分专业化，您只是对其进行重新陈述，并且由于非类型参数具有不同的类型，因此汇编失败了。你可能想做

#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 3

您可以用不同的参数声明相同的结构，这是禁止的。

您可以通过部分专业化来完成：

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>;
    };
}

demo