Hardтипы
Что такое strong typedef и как его реализовать?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Strong typedef — создание нового типа на основе существующего, но несовместимого с ним, чтобы предотвратить смешивание (например, Meters и Seconds — оба int, но складывать их нельзя).
struct Meters {
int value;
explicit Meters(int v) : value(v) {}
Meters operator+(Meters o) const { return Meters{value + o.value}; }
};
struct Seconds { int value; /* ... */ };
Meters m{100};
// m + Seconds{5}; // ОШИБКА: нельзя смешивать единицы- В C++ нет встроенной поддержки (в отличие от Rust/Ada);
- Реализации: структура-обёртка с операторами, библиотеки (Boost strong_typedef, Folly NamedType),
enum classс базовым типом; - Особенно важно в физических расчётах, финансовых суммах, идентификаторах.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.