Является самоинициализацией 'A a = a;' позволил?

Question

Этот код не работает во время выполнения в конструкторе копирования.
Но компилятор (MSVS2008) не выдает никаких предупреждений.

Не могли бы вы объяснить (желательно со ссылкой на стандарт), является ли этот код незаконным или что?

Я понимаю, что A a = a; никогда не должен быть написан на первом месте, , но я ищу теоретический фон.

class A 
{ 
public: 

    A() 
    :p(new int) 
    { 
    } 

    A(const A& rv) 
    { 
     p = new int(*rv.p); 
    } 

    ~A() 
    { 
     delete p; 
    } 


private: 

    int *p; 
}; 

int main() 
{ 
    A a = a; 
} 

Answer 1

Ваш код не вызывает стандартный конструктор, но конструктор копирования, поэтому вы получаете доступ к неинициализированному указателю.

Answer 2

A a = a; определенно не следует писать. Но можно было написать a = a. Ваш оператор назначения должен проверить на &rv == this и ничего не делать в случае самокопирования.

Ах, да, вы должны написать оператор присваивания для класса А.

Answer 3

В соответствии со стандартом (12.6.1 [class.expl.init]) инициализация само является совершенно законным.

Таким образом, следующее правовое.

A a = a; 

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

A(const A& rv) 
{ 
    if(&rv == this) { 
     p = new int(0); 
     return; 
    } 

    p = new int(*rv.p); 
} 

Редактировать: Обновлен код на основе комментариев.

Answer 4

Интересное чтение на самолечение назначение: http://www.gotw.ca/gotw/011.htm

В частности, обратите внимание, «Постскриптум # 1» в связи с этим вопросом, и некоторые из ответов.