Harddetection-idiom

Что такое идиома detection (detect member)?

1Постановка

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

2Решение

Detection idiom — техника проверки наличия члена/метода/типа в классе через std::void_t и SFINAE. С C++20 её заменяют concepts.

// Detection idiom через void_t
template<typename T, typename = void>
struct has_foo : std::false_type {};

template<typename T>
struct has_foo<T, std::void_t<decltype(std::declval<T&>().foo())>>
    : std::true_type {};

static_assert(has_foo<MyType>::value);

// Эквивалент на concepts (C++20) — читается прямо
template<typename T>
concept HasFoo = requires(T t) { t.foo(); };

Секрет: void_t<void> = void (SFINAE-friendly); для T без foo() подстановка не удаётся → выбирается первичный false_type. Detection idiom широко использовался в STL до concepts.

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

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

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