Hardtag-dispatch
Что такое tag dispatch?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Tag dispatch — выбор реализации через перегрузку по dummy-тегу. Компилятор подбирает перегрузку по типу тега, оптимизируя под категорию (например, итератора).
template<typename Iter>
void sort_impl(Iter first, Iter last, std::random_access_iterator_tag) {
/* quicksort — доступен operator- */
}
template<typename Iter>
void sort_impl(Iter first, Iter last, std::forward_iterator_tag) {
/* bubblesort — только ++, нельзя - */
}
template<typename Iter>
void sort(Iter first, Iter last) {
using Cat = typename std::iterator_traits<Iter>::iterator_category;
sort_impl(first, last, Cat{}); // выбор перегрузки по тегу
}До if constexpr это был основной способ условной диспетчеризации. Сейчас многие случаи покрыты if constexpr или concepts, но tag dispatch всё ещё встречается в STL.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.