Mediummove-semanticsdefault
Что такое перемещающий конструктор по умолчанию (= default)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
При T(T&&) = default; компилятор генерирует move ctor, который поочерёдно move-ает каждый член через их move ctors.
class Holder {
std::vector<int> data_;
std::unique_ptr<Resource> res_;
public:
Holder(Holder&&) noexcept = default; // move-ает data_ и res_
Holder& operator=(Holder&&) noexcept = default;
};Нюансы:
- Работает, только если все члены move-able; иначе move будет копирующим (fallback) или удалённым;
- Если у класса есть пользовательский copy ctor, copy assign или деструктор — move ctor не генерируется неявно (нужно явно
= default); - Если все члены noexcept-moveable, сгенерированный move ctor тоже будет noexcept (хорошо для STL).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.