copy constructor operator=

@~~LosAngeles~~ · 03.08.2011, 15:54. **Показов** 2931. **Ответов** 26

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

сижу я значит почитываю черновик будущего стандарта и вижу

C++

const C& C::operator=( const C& other) {
      if ( this != &other ) {
           this->~C();
           new (this) C(other);
      }
return *this;
}

оператор=, реализованный через конструктор копирования и написанный в две строчки. Я обычно сначала зачищал старое и присваивал новое ну как сказать почленно и не я один, а тут такая гениальная вроде конструкция. Поэтому я подумал, что тут наверняка есть подводный камень, но пока не могу сообразить какой именно? Там правда несколько ограничений из которых существенно наверно только это

the original object was a most derived object (1.8) of type T and the new object is a most derived
object of type T (that is, they are not base class subobjects).

то есть юзать можно?

@Kastaneda · 03.08.2011, 17:58

Не по теме:

я проверил, вроде для placement new неважно объект был порождён другой формой new или создан в стеке

LosAngeles, я поправился в 13-ом посте.

@fasked · 03.08.2011, 17:58

Да все нормально, выделенная память освобождается (посредством явного вызова деструктора), а с помощью placement new и copy-конструктора выделяем ее на тоже самое место.

@~~LosAngeles~~ · 03.08.2011, 18:04 **[ТС]**

ValeryLaptev, прям целая лекция

@ValeryLaptev · 03.08.2011, 18:04

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

ValeryLaptev, прям целая лекция

А то! Для студентов книжку писал - разобрался...

@~~Сыроежка~~ · 03.08.2011, 19:37

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

Да, пардон, имелось ввиду - что явный вызов деструктора оправдан, только если ...(далее по тексту)
В общем не подумав написал) В данном коде явный вызов тоже оправдан, если считать разумным вызов деструктора в операторе =

Деструктор можно вызывать даже для встроенных типов. Например,

C++

int *p = new int( 10 );
 
p->~int();
 
delete p;

@~~LosAngeles~~ · 03.08.2011, 19:55 **[ТС]**

не в gcc 4.4.3
только если обернуть в шаблон или typedef. В случае T = встроенный тип, компилятор просто игнорирует такую инструкцию

@Deviaphan · 03.09.2011, 12:35

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

то есть юзать можно?

Тот же Саттер не рекомендует использовать подобные хаки. Подобный подход делает код слабоустойчивым к ошибкам.

@fasked 5043 / 2622 / 241 Регистрация: 07.10.2009 Сообщений: 4,310 Записей в блоге: 1
	03.08.2011, 17:58	22
	Да все нормально, выделенная память освобождается (посредством явного вызова деструктора), а с помощью placement new и copy-конструктора выделяем ее на тоже самое место. 0

@~~LosAngeles~~ Заблокирован
	03.08.2011, 18:04 [ТС]	23
	ValeryLaptev, прям целая лекция 0

@Deviaphan Делаю внезапно и красиво 1313 / 1228 / 72 Регистрация: 22.03.2011 Сообщений: 3,744
	03.09.2011, 12:35	27
	Сообщение от LosAngeles то есть юзать можно? Тот же Саттер не рекомендует использовать подобные хаки. Подобный подход делает код слабоустойчивым к ошибкам. 1

@Kastaneda
	03.08.2011, 17:58 copy constructor operator= #21
	Не по теме: я проверил, вроде для placement new неважно объект был порождён другой формой new или создан в стеке LosAngeles, я поправился в 13-ом посте. 0

@ValeryLaptev 1069 / 848 / 60 Регистрация: 30.04.2011 Сообщений: 1,659
	03.08.2011, 18:04	24
	Сообщение от LosAngeles ValeryLaptev, прям целая лекция А то! Для студентов книжку писал - разобрался... 0

@~~LosAngeles~~ Заблокирован
	03.08.2011, 19:55 [ТС]	26
	не в gcc 4.4.3 только если обернуть в шаблон или typedef. В случае T = встроенный тип, компилятор просто игнорирует такую инструкцию 0