Повторно приобретенная переездная конструктивность после наследования
Рассмотрим следующий фрагмент:
#include <iostream>
#include <type_traits>
class base
{
public:
base(const base &) = default;
base(base &&) = delete;
};
class daughter : public base
{
};
int main()
{
std :: cout << std :: is_move_constructible <daughter> :: value << std :: endl;
}
Я смотрел на это все утро, но я просто не могу понять, почему он выводит:
1
Класс base явно не может быть перемещен (is_move_constructible на самом деле является false на base), и daughter наследуется от него. Почему он должен снова стать предметом магического движения? Как бы вообще выглядел конструктор перемещения по умолчанию для daughter?
Ответы 1
Class base is explicitly not move constructible
Но это. Эта черта типа просто проверяет, правильно ли сформирован daughter d2( std::move(d1) ); для любых двух объектов. Возможно, вы явно удалили центр перемещения в base, но в daughter он был удален только неявно. Таким образом, разрешение перегрузки будет правильно выбирать вместо этого копию c'tor.
[over.match.funcs]
8 A defaulted move constructor or assignment operator ([class.copy]) that is defined as deleted is excluded from the set of candidate functions in all contexts.
Если вы В самом деле хотите, чтобы daughter не был movalbe, вам нужно явно удалить конструктор перемещения самого daughter. Тогда разрешение перегрузки попадет в явно удаленную функцию, что сделает проверяемую конструкцию некорректной.
Что мне кажется любопытным, так это то, что
daughter(daughter &&) = default;делает эту черту ложной.