Блок задач

7. Шаблоны C++

Темы
Сложность 2

Задача «Static assert»

Задача

С помощью метапрограммирования и шаблонов 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))); // вряд ли скомпилируется