Hardodr
Что такое ODR (One Definition Rule)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
ODR: каждая сущность должна иметь ровно одно определение во всей программе. Нарушение — UB (обычно ошибка линкера или тихая непредсказуемость).
// ПЛОХО: определение глобальной переменной в заголовке
// header.h
int counter = 0; // каждый TU получит своё определение → multiple definition
// ПРАВИЛЬНО (1): extern в заголовке, определение в .cpp
// header.h
extern int counter;
// header.cpp
int counter = 0;
// ПРАВИЛЬНО (2): inline (C++17) — ODR-merge
inline int counter = 0;inline-функции, шаблоны, constexpr могут быть определены в нескольких TU (COMDAT folding). Линкер ловит только часть нарушений (multiple definition); ODR-violation в inline/template без ошибки — UB.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.