Задание № 1388

Студент

Пантелеев Евгений

Задача

Static assert

Состояние

Завершено

Баллов

2

Дедлайн
18 сентября 2018
Назначено

04.09.2018, 09:38

Завершено

18.09.2018, 11:50

Задача

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

Действия