Студент

Герасимов Фёдор

Задача

Static assert

Состояние

Завершено

Баллов

2

Назначено

14.09.2020, 16:40

Завершено

14.10.2020, 04:25

Задача

С помощью метапрограммирования и шаблонов C++ самостоятельно реализовать функцию STATIC_ASSERT производящую проверку условия на этапе компиляции.

Описание

Классическая функция assert производит проверку условия во время выполнения программы, и, если условие не верное, прерывает выполнение программы и выводит диагностическое сообщение.

В отличии от неё функция STATIC_ASSERT производит проверку условия ещё на этапе компиляции, и, если условие не выполняется, прерывает процесс компиляции с ошибкой.

Пример

STATIC_ASSERT(sizeof(int) == 4); // должно компилироваться всегда

struct Test
{
    char a;   // sizeof(a) = 1
    double b; // sizeof(b) = 8
}

STATIC_ASSERT(sizeof(Test) == (sizeof(a) + sizeof(b))); // вряд ли скомпилируется