Всем привет!
Пишу шаблонный класс, в котором хочу определять его семантику копирования/перемещения в зависимости от типа шаблонного аргумента.
Если шаблонный тип поддерживает семантику копирования и не поддерживает семантику перемещения, то и класс реализующий его логику должен вести себя аналогичным образом.
Это очень упрощенное описание реальной задачи, но его достаточно для обозначения проблемы.
В целом у меня все получается и работает как задумано, кроме одного момента (убрал все шаблонное, чтобы не усложнять).
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
struct copy_only // объекты данного класса можно только копировать
{
copy_only(void) = default;
copy_only(copy_only&&) noexcept = delete;
copy_only& operator=(copy_only&&) noexcept = delete;
copy_only(const copy_only& that) = default;
copy_only& operator=(const copy_only& that) = default;
};
struct move_only // объекты данный класса можно только перемещать
{
move_only(void) = default;
move_only(const move_only& that) = delete;
move_only(move_only&& that) noexcept = default;
move_only& operator=(const move_only&) = delete;
move_only& operator=(move_only&& that) noexcept = default;
};
// создадим на их основе производные классы, семантика которых будет определяться базовыми классами.
// если базовый класс умеет только копироваться, то и производный тоже можно только копировать, и наоборот
struct derived_from_move : move_only {};
struct derived_from_copy : copy_only {};
Проблема вот в чем:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
int main()
{
derived_from_move dmove;
auto gc = dmove; // ошибка: попытка обращения к delete функции в классе move_only - good!
auto gm = std::move(dmove); // ок
derived_from_copy dcopy;
auto xc = dcopy; // ок
auto xm = std::move(dcopy); // ок (why!?) <- я хочу чтобы здесь была такая же ошибка как у класса derived_from_move
copy_only co;
auto cx = std::move(co); // ошибка - good! хочу также
}
Если я буду использовать класс copy_only напрямую, без derived_from_copy, то поведение будет корректным с ожидаемой ошибкой.
Я знаю почему это происходит (с точки зрения move-семантики copy-only объекта), но мне бы хотелось реализовать это поведение, по аналогии с тем как работает тип copy_only или как derived_from_move.
Что посоветуете?
--------------------------------------------------------------
o(O_O)o
