Тривиальный move конструктор

@gromo · Регистрация: 04.09.2009

Author24 — интернет-сервис помощи студентам

Всем привет.
Вобщем пишу код используя классы некой библиотеки, полагаясь, что в будущем разработчики добавят move-конструкторы в эти классы.
Следовательно сейчас используются определенные компилятором по-умолчанию move-конструкторы (тобишь тривиальные).

Вопрос: тривиальный move-конструктор генерируется пустым (получается тогда нету никакой выгоды в скорости) или тупо почленно перемещает все данные-члены класса (по образцу копирующего конструктора, сгенерированного компилятором по-умолчанию, который почленно копирует) ?

@gromo · 24.12.2013, 01:59 **[ТС]**

Cформулирую немного по-другому:
Сгенерированный по умолчанию move-конструктор делает что-либо, или он пуст?

@I.M. · 24.12.2013, 03:17

§ 12.8
15 The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move
of its bases and members.

Ответ - сгенерированный по умолчанию конструктор перемещения не пустой. Он будет пытаться поочередно вызывать конструкторы перемещения у мемберов класса

@gromo · 24.12.2013, 04:16 **[ТС]**

Сообщение от I.M.

§ 12.8
15 The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move
of its bases and members.

А если членом класса будет указатель на char, наример, то он будет перемещен?

@castaway · 24.12.2013, 09:04

А чем член-указатель отличается от любого другого члена?

@ForEveR · 24.12.2013, 14:09

gromo, Он будет перемещен, но в данном случае это эквивалентно поверхностному копированию.

@gromo · 24.12.2013, 14:22 **[ТС]**

Сообщение от castaway

А чем член-указатель отличается от любого другого члена?

В том смысле, что просто присвоить==переместить его значение члену другого экземпляра этого класса было бы не совсем правильно.

Сообщение от ForEveR

Он будет перемещен, но в данном случае это эквивалентно поверхностному копированию.

Спасибо. Это то, что я хотел узнать. Просто я думал, что сгенерированный по умолчанию move-конструктор оставит перемещенный член в valid, but unspecified state (ну или хотя бы обнулит указатель). Но, по-видимому, чтобы обеспечить такое минимальное поведение, его все-таки нужно самому переопределить.

@castaway · 25.12.2013, 08:11

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

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
		1
	Тривиальный move конструктор 19.12.2013, 23:55. Показов 1937. Ответов 7 Метки нет (Все метки) Всем привет. Вобщем пишу код используя классы некой библиотеки, полагаясь, что в будущем разработчики добавят move-конструкторы в эти классы. Следовательно сейчас используются определенные компилятором по-умолчанию move-конструкторы (тобишь тривиальные). Вопрос: тривиальный move-конструктор генерируется пустым (получается тогда нету никакой выгоды в скорости) или тупо почленно перемещает все данные-члены класса (по образцу копирующего конструктора, сгенерированного компилятором по-умолчанию, который почленно копирует) ? 0

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	24.12.2013, 01:59 [ТС]	2
	Cформулирую немного по-другому: Сгенерированный по умолчанию move-конструктор делает что-либо, или он пуст? 0

@I.M. 576 / 559 / 47 Регистрация: 16.12.2011 Сообщений: 1,389
	24.12.2013, 03:17	3
	§ 12.8 15 The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move of its bases and members. Ответ - сгенерированный по умолчанию конструктор перемещения не пустой. Он будет пытаться поочередно вызывать конструкторы перемещения у мемберов класса 1

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	24.12.2013, 04:16 [ТС]	4
	Сообщение от I.M. § 12.8 15 The implicitly-defined copy/move constructor for a non-union class X performs a memberwise copy/move of its bases and members. А если членом класса будет указатель на char, наример, то он будет перемещен? 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	24.12.2013, 09:04	5
	А чем член-указатель отличается от любого другого члена? 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	24.12.2013, 14:09	6
	gromo, Он будет перемещен, но в данном случае это эквивалентно поверхностному копированию. 1

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	24.12.2013, 14:22 [ТС]	7
	Сообщение от castaway А чем член-указатель отличается от любого другого члена? В том смысле, что просто присвоить==переместить его значение члену другого экземпляра этого класса было бы не совсем правильно. Сообщение от ForEveR Он будет перемещен, но в данном случае это эквивалентно поверхностному копированию. Спасибо. Это то, что я хотел узнать. Просто я думал, что сгенерированный по умолчанию move-конструктор оставит перемещенный член в valid, but unspecified state (ну или хотя бы обнулит указатель). Но, по-видимому, чтобы обеспечить такое минимальное поведение, его все-таки нужно самому переопределить. 0

@castaway 4985 / 3092 / 456 Регистрация: 10.11.2010 Сообщений: 11,169 Записей в блоге: 10
	25.12.2013, 08:11	8
	Как раз всё правильно, значение указателя скопируется/переместится. 0