如何在 enable_if 中使用多個條件？

Question

我有以下代碼：

#include <iostream>
#include<type_traits>
using namespace std;

enum class a : uint16_t
{
    x, y
};
template<typename T>
using isUint16ScopedEnum = std::integral_constant<
  bool,
  std::is_enum_v<T> && std::is_same_v<std::underlying_type_t<T>, uint16_t> && !std::is_convertible_v<T, uint16_t>>;

template<typename T, std::enable_if_t<is_same_v<T, uint16_t>, void**> = nullptr>
void f(T t)
{
    cout << "works\n";
}

template<typename T, std::enable_if_t<isUint16ScopedEnum<T>::value, void**> = nullptr>
void g(T t)
{
    cout << "also works\n";
}

template<typename T, std::enable_if_t<isUint16ScopedEnum<T>::value || is_same_v<T, uint16_t>, void**> = nullptr>
void h(T t)
{
    cout << "Works with enum, Fails with uint\n";
}

int main()
{
    a A = a::x;
    f((uint16_t)1);
    g(A);
    h(A);
    //h((uint16_t)1);
}

main 中的注釋行不起作用，我不明白為什么。 如果我將 uint16_t 傳遞給 h，第二個條件不應該啟用模板嗎？ 編譯器一直抱怨它不是一個枚舉……為什么它無法實例化 h(uint16_t)？

Answer 1

(uint16_t)1是uint16_t類型而不是枚舉類型，因此underlying_type沒有成員type ，這會導致underlying_type_t格式錯誤並中止編譯。

您可以將is_enum_v<T> && is_same_v<underlying_type_t<T>, ...>包裝到一個單獨的特征中，並使用部分特化僅在T是枚舉類型時將underlying_type_t應用於T ，例如

template<typename E, class T, bool = std::is_enum_v<E>>
struct underlying_type_same_as;

template<typename E, class T>
struct underlying_type_same_as<E, T, false> : std::false_type { };

template<typename E, class T>
struct underlying_type_same_as<E, T, true>
 : std::is_same<std::underlying_type_t<E>, T> { };

那么isUint16ScopedEnum可以改寫為

template<typename T>
using isUint16ScopedEnum = std::bool_constant<
  underlying_type_same_as<T, uint16_t>::value && !std::is_convertible_v<T, uint16_t>>;

演示