Mediumтипы
Что такое строго типизированный язык и является ли им C++?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Строго типизированный (strongly typed) язык не выполняет неявных преобразований, которые могут привести к потере данных. C++ — частично строго типизированный: для встроенных типов есть много неявных преобразований, но они хорошо определены.
int i = 42;
double d = i; // OK: int → double (без потерь)
void* p = &i; // OK: любой указатель → void*
// i + "str"; // ОШИБКА: число + строка запрещено- Допускаются:
int→double,short→int,bool→int, указатель →void*; - Не допускаются: прибавить число к строке, сравнить указатели разных типов без cast;
- Множество неявных преобразований (особенно narrowing) — источник багов, поэтому C++11 добавил brace init, который их запрещает.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.