Hardfriendtemplates

Что такое дружественные шаблоны (friend templates)?

1Постановка

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

2Решение

Friend declaration даёт доступ к приватным членам. С шаблонами есть нюансы в области дружественности.

class A {
    template<typename T> friend class B;  // все специализации B дружат
    friend class B<int>;                  // только B<int>
    friend B;                             // конкретный B как type-id

    // friend factory: доступ к приватному конструктору
    template<typename T> friend A make_A(T v);
private:
    A(int) {}
};

// Passkey idiom: только AFactory может создавать A
class A {
    friend class AFactory;
    A() = default;
};

friend T; (без template/class) подружает конкретный тип — используется в CRTP для доступа базового класса к наследнику.

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

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

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