@SergeBallesta Массив должен иметь последовательные элементы, но только потому, что что-то имеет последовательные элементы, он не делает его типом массива. Я опубликовал ответ и на ваш другой вопрос.

родолжение этого другоговопрос [https://stackoverflow.com/q/48147422/3545273] Я пытался установить во время компиляции, добавила ли конкретная реализация неназванный отступ внутри структуры. Конкретная реализация, такая как gcc, позволяет ...

Короче говоря, в test_int_no_if нет ничего, что зависит от того, являюсь ли я constexpr, а в test_int () - есть. («constexpr if» работает только с выражениями времени компиляции.)

аюсь сравнить параметр функции внутри оператора constexpr-if. Вот простой пример: constexpr bool test_int(const int i) { if constexpr(i == 5) { return true; } else { return false; } }Однако, когда я компилирую это с GCC 7 со ...

Как вы static_assert значения в пакете параметров шаблона Variadic?

Как напечатать результат вычисления времени компиляции в C ++?

Я написал несколько функций constexpr и использую их в static_asserts для контроля некоторых ограничений ресурсов. Но я хотел бы не только применять предикат...

Как обезопасить CRTP от предоставления неправильного суперкласса? [Дубликат]

На этот вопрос уже есть ответ здесь:Как избежать ошибок при использовании CRTP? 5 ответоввлюбопытно повторяющийся шаблон, мы пишем

Почему static_assert в шаблоне дает мне другой результат с эквивалентными выражениями?

Я заметил странное поведение

статические утверждают, что шаблон typename T НЕ завершен?

Есть ли способ static_assert, что тип TНе завершить в этот момент в заголовке? Идея состоит в том, чтобы иметь ошибку компиляции, если кто-то добавляет #incl...

Оптимизация, утверждения и режим выпуска

Рассмотрим функцию

Как ограничить параметр шаблона только указателем или итератором произвольного доступа?

Есть ли способ ограничить тип параметра шаблонной функции только указателями или итераторами с произвольным доступом?Скажем, я разрабатываю функцию сортировк...

Убедитесь, что производный класс реализует статический метод

Я хочу убедиться, что производный класс реализует определенный статический метод. Я думаю, что это должно быть возможно с помощьюstatic_assert, станд :: is_s...