Характеристика типа C++ 11 для дифференциации класса enum и регулярного перечисления

Question

Я пишу псевдоним шаблона продвижения, подобный boost :: promotion, но для C++ 11. Целью этого является избежание предупреждений при извлечении аргументов из функций varidic. например

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 2) Поплавок способствуют двойной

Моя проблема в том, что стандартное перечисление C++ может быть продвинуто, но класс enum C++ 11 не продвигается (компилятор не генерирует предупреждение). Я хочу, чтобы Promote работал с регулярным перечислением, но игнорировал класс enum C++ 11.

Как я могу объяснить разницу между классом enum и перечислением в моем псевдониме шаблона Promote?

Answer 1

Вот возможное решение:

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

Решение использует разницу в поведении между областью действия и незаданные перечислениями, указанными в пункте 7.2/9 C++ 11 стандарта на:

значение перечислителя или объект неперечисленного типа перечисления преобразуется в целое число путем цельной рекламы (4.5). [...] Обратите внимание, что это неявное преобразование enum to int не предоставляется для перечисления с областью. [...]

Вот демонстрация того, как вы будете использовать его:

А вот live example.

БЛАГОДАРНОСТЬ:

Благодарности к Daniel Frey за указание на то, что мой предыдущий подход будет работать только до тех пор, пока не определяется пользователем перегрузка operator +.