区分枚举类和常规枚举的C11型特征

Question

我正在为C 11编写一个类似于boost:：promote的升级模板别名。这样做的目的是在从变量函数检索参数时避免出现警告。例如

template <typename T>
std::vector<T> MakeArgVectorV(int aArgCount, va_list aArgList)
{
    std::vector<T> args;
    while (aArgCount > 0)
    {
        args.push_back(static_cast<T>(va_arg(aArgList, Promote<T>)));
        --aArgCount;
    }
    return args;
}

提升模板别名提升了变量参数的默认参数提升后的类型： 1）小于int的整数提升为int 2）浮点提升为双

我的问题是，可以提升标准C枚举，但不能提升C 11枚举类（编译器不会生成警告）。我希望升级使用常规枚举，但忽略C 11枚举类。

如何区分枚举类和枚举在我的推广模板别名？

Answer 1

似乎从C 23开始，@AndyProwl提供的类似解决方案将可从type\ U TRATIES获得

#include <type_traits>

enum E { a, b };
enum class Es { x, y, z };

std::is_scoped_enum_v<E>;  // False
std::is_scoped_enum_v<Es>; // True

Answer 2

这里有一个可能的解决方案：

#include <type_traits>

template<typename E>
using is_scoped_enum = std::integral_constant<
    bool,
    std::is_enum<E>::value && !std::is_convertible<E, int>::value>;

该解决方案利用了C 11标准第7.2/9段中指定的作用域枚举和非作用域枚举之间的行为差异：

枚举数或非范围枚举类型的对象的值通过整数提升（4.5）转换为整数。[...] 请注意，没有为作用域枚举提供此隐式枚举到int的转换。[...]

以下是您将如何使用它的演示：

enum class E1 { };
enum E2 { };
struct X { };

int main()
{
    // Will not fire
    static_assert(is_scoped_enum<E1>::value, "Ouch!");

    // Will fire
    static_assert(is_scoped_enum<E2>::value, "Ouch!");

    // Will fire
    static_assert(is_scoped_enum<X>::value, "Ouch!");
}

这是一个活生生的例子。

鸣谢：

感谢丹尼尔·弗雷指出，我以前的方法只有在没有用户定义的运算符重载的情况下才有效。