Hardconstexpr
Что такое literal types и почему они важны для constexpr?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Literal type — тип, который можно использовать в константных выражениях: тривиальный деструктор, все конструкторы — constexpr или trivial, все нестатические члены и базовые классы — literal.
struct Point { // literal type
int x, y;
constexpr Point(int x, int y) : x(x), y(y) {}
};
constexpr Point p{1, 2}; // OK: объект в compile-time
constexpr int sum = p.x + p.y;- Встроенные типы, агрегаты из них, типы с
constexpr-конструкторами — literal; - Это позволяет создавать объекты классов в compile-time, хранить их в
constexpr-переменных; - С C++20 перечень расширен (
constexpr-векторы и строки), но есть ограничения (нет constexpr-аллокации, «утекающей» в runtime).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.