У меня есть несколько классов с элементами данных "static const". Я хотел бы знать, как проверить их значения во время компиляции с помощью static_assert. Могу ли я поместить static_assert непосредственно в тело класса? (Размещать мой static_assert...

Вот упрощенный пример: class A { enum {OFFSET = 4}; //Due to packing bool m_bool; }; template<class T> class B : public A { MyClass<T> m_class; }; Теперь предположим, что класс A может использовать подмножество...

Могу ли я точно указать, какие аргументы может принимать шаблон? Например, я хотел бы создать шаблон, который может быть создан только с классами, которые являются или расширяют класс A . В Java дженерики поддерживают это с помощью: class...

Вот упрощенная версия того, что я пытаюсь сделать enum First { a, b, c, nbElementFirstEnum, }; enum Second { a, b, c, nbElementSecondEnum, }; static_assert( First::nbElementFirstEnum ==...

Проблема Следующее не создается, потому что сообщение не является строковым литералом. template<typename T> struct Foo { Foo() { static_assert( is_pod<T>::value, typeid(T).name() ); } }; В конечном счете, я бы...

Предположим, есть класс шаблона, в котором мы утверждаем во время компиляции, что целочисленный аргумент шаблона должен быть больше нуля: template<int N> class A { public: A() { static_assert(N > 0, "N needs to be greater...

У меня есть шаблонная функция, которая принимает указатели. template <typename T> void foo(const T* bar){} Как я могу изменить foo , чтобы убедиться, что мне передается итератор/указатель? Я предполагаю, что есть static_assert или...

Мой вопрос в том, действителен ли следующий код: template<int i> class Class { static_assert(sizeof(i) == 0, "Class instantiated with i != 1"); }; template<> class Class<1> {}; Этот фрагмент компилируется с g++ . Но...

Рассмотрим следующий код: SomeType x=getX(); for(auto mask = 1u<<(CHAR_BIT*sizeof x - 1);/*...*/;/*...*/) { static_assert(sizeof mask>=sizeof x, "Type of numeric parameter is too long"); /*...*/ } Здесь mask будет иметь тип...

Скажем, у меня есть класс шаблона, который создает несколько static_asserts: template <class T> class Foo { static_assert(!std::is_const<T>::value,""); static_assert(!std::is_reference<T>::value,"");...