Телеграмм чат группы ProCxx страница 16367

2021 January 30

AF

Aidar Fattakhov in pro.cxx

Ну swap у вас тоже вероятно неправильный

источник

23:22пожаловаться #1

SS

Sergey Skvortsov in pro.cxx

Sergey Krasnitsky

В том и вся фишка, move не сделан криво. Я другой move не могу дать. Это согласно дизайна моего контейнера. У меня может быть несколько объектов value_type разных, но ссылающихся на одно место в таблице. Это исходное условие.
А они не пользуются swap почему-то. А без перегрузки swap эту вещь похоже не решить.

Что делает такой move?

источник

23:22пожаловаться #2

АК

Александр Караев... in pro.cxx

Sergey Krasnitsky

Он не может переместиться, т.к. его данные сидят в другом месте. Я их не могу оттуда выжрать и сказать - тут дырка

В таком случае мув конструкторы должны были быть удаленными и сорт не скомпилировался бы

источник

23:22пожаловаться #3

AF

Aidar Fattakhov in pro.cxx

Элемент не должен ничего знать о контейнере

источник

23:22пожаловаться #4

AF

Aidar Fattakhov in pro.cxx

Для этого есть абстракция node

источник

23:23пожаловаться #5

SK

Sergey Krasnitsky in pro.cxx

Aidar Fattakhov

В чем разница реальной и temp?

Есть MyTable объект , у него где то большой буфер
есть r1, r2
r1 некая объект MyRow ссылается на record №1
r2 некая объект MyRow ссылается на record №2

но если определить где-то
MyRow tmp = r1;

этот tmp будет портить всю картину

источник

23:24пожаловаться #6

DS

Dmitry Sokolov in pro.cxx

Кстати, судя по тому что "везде получилась первая строка", конструктор/оператор присваивания получается по разному работают.

источник

23:24пожаловаться #7

SK

Sergey Krasnitsky in pro.cxx

всё из-за этого MyRow tmp = r1;

источник

23:25пожаловаться #8

SS

Sergey Skvortsov in pro.cxx

Sergey Krasnitsky

Есть MyTable объект , у него где то большой буфер
есть r1, r2
r1 некая объект MyRow ссылается на record №1
r2 некая объект MyRow ссылается на record №2

но если определить где-то
MyRow tmp = r1;

этот tmp будет портить всю картину

Пока совершенно не очевидно, каким образом move (не copy, который может быть удален тут) что-то портит

источник

23:25пожаловаться #9

AF

Aidar Fattakhov in pro.cxx

Почему это должно что-то портить?

источник

23:26пожаловаться #10

AF

Aidar Fattakhov in pro.cxx

Пусть Operator=(мув) вызывает swap, что это испортит?

источник

23:26пожаловаться #11

AF

Aidar Fattakhov in pro.cxx

Копирование очевидно нужно удалить

источник

23:27пожаловаться #12

SK

Sergey Krasnitsky in pro.cxx

Sergey Skvortsov

Пока совершенно не очевидно, каким образом move (не copy, который может быть удален тут) что-то портит

да move сам по себе не портит
просто они считают что tmp - это посторонний объект в который можно записать данные
а на самом деле - он не посторонний, он затирает реальный чей-то буфер

источник

23:27пожаловаться #13

AF

Aidar Fattakhov in pro.cxx

Sergey Krasnitsky

да move сам по себе не портит
просто они считают что tmp - это посторонний объект в который можно записать данные
а на самом деле - он не посторонний, он затирает реальный чей-то буфер

Хорошо бы различать аллокатор и контейнер

источник

23:27пожаловаться #14

АК

Александр Караев... in pro.cxx

Sergey Krasnitsky

да move сам по себе не портит
просто они считают что tmp - это посторонний объект в который можно записать данные
а на самом деле - он не посторонний, он затирает реальный чей-то буфер

Какой-то ужас с владением и дизайном

источник

23:28пожаловаться #15

SK

Sergey Krasnitsky in pro.cxx

Александр Караев

Какой-то ужас с владением и дизайном

Так и живём

источник

23:28пожаловаться #16

DS

Dmitry Sokolov in pro.cxx

Sergey Krasnitsky

Есть MyTable объект , у него где то большой буфер
есть r1, r2
r1 некая объект MyRow ссылается на record №1
r2 некая объект MyRow ссылается на record №2

но если определить где-то
MyRow tmp = r1;

этот tmp будет портить всю картину

Непонятно, что портит, это ж просто view.
> У меня может быть несколько объектов value_type разных, но ссылающихся на одно место в таблице.

источник

23:35пожаловаться #17

АК

Александр Караев... in pro.cxx

Dmitry Sokolov

Непонятно, что портит, это ж просто view.
> У меня может быть несколько объектов value_type разных, но ссылающихся на одно место в таблице.

Попытаюсь угадать: часть операторов перегружена, чтобы имитировать логику owned типа (копирование данных при копировании ссылки на них или что-то такое)

источник

23:36пожаловаться #18

SK

Sergey Krasnitsky in pro.cxx

Александр Караев

Попытаюсь угадать: часть операторов перегружена, чтобы имитировать логику owned типа (копирование данных при копировании ссылки на них или что-то такое)

Ванга мод, такое выражение не встречал. Но в идея уловлена верно.
Есть MyTable который является MyVar
При этом могут быть простые скалярные MyVar's
MyRow от MyTable - от тоже является MyVar

источник

23:41пожаловаться #19

DS

Dmitry Sokolov in pro.cxx

Sergey Krasnitsky

Ванга мод, такое выражение не встречал. Но в идея уловлена верно.
Есть MyTable который является MyVar
При этом могут быть простые скалярные MyVar's
MyRow от MyTable - от тоже является MyVar

https://en.cppreference.com/w/cpp/language/rule_of_three

источник

23:55пожаловаться #20