Hardliteral-type

Что такое literal type?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

Literal type — тип, который может использоваться в constexpr-выражениях. Это основа compile-time программирования.

struct Point {  // literal type: constexpr-конструкторы, тривиальный деструктор
    int x, y;
    constexpr Point(int x, int y) : x(x), y(y) {}
};

constexpr Point p{1, 2};  // OK — Point literal type

Literal: скалярные типы, ссылки, массивы literal-типов, классы с constexpr-конструкторами.

Не-literal: типы с virtual, нетривиальными деструкторами (ресурсами), mutable-членами, std::string (до C++20). constexpr-функция может принимать и возвращать только literal типы.

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.