Одна переменная декларация создает несколько экземпляров

Question

Вот простой пример:

class A { 
public: 
    A() { 
    printf("%p C1\n", this); 
    } 
    A(const char* p) { 
    printf("%p C2\n", this); 
    } 
}; 

int main(int argc, char *argv[]) { 
    A a; 
    a = "abc"; 
} 

В коде, хотя A объявлен только один раз, есть два экземпляра A получения созданные. Конструктор вызывается дважды. Я мог бы воспроизвести это на VS 2013, а также на gnu C++.

Удовлетворение является ли это ошибкой или частью спецификации.

Answer 1

Потому что вы не отключили оператор присваивания автоматически сгенерированный или конструктор копирования, ваш класс на самом деле выглядит это компилятор:

class A { 
public: 
    A() { 
    printf("%p C1\n", this); 
    } 
    A(const A& rhs) { } 
    A(const char* p) { 
    printf("%p C2\n", this); 
    } 
    A& operator=(const A& rhs) { return *this; } 
}; 

Так a = "abc" интерпретируется как a.operator=(A("abc"))

Это ожидающей const A& как аргумент operator=, который он может построить, поскольку вы предоставили конструктор A(const char*).

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

class A { 
public: 
    A() { 
    printf("%p C1\n", this); 
    } 
    explicit A(const char* p) { 
    printf("%p C2\n", this); 
    } 
}; 

Тогда это должно не компилироваться:

int main(int argc, char *argv[]) { 
    A a; 
    a = "abc"; 
} 

Если вы явно не построить: a = A("abc");

Answer 2

Это часть спецификации. Когда вы сделаете это:

a = "abc"; 

временный A объект создается Сформируйте "abc" выражение на RHS, используя A(const char* p) конструктор. Это используется для присвоения значения a.

Если вы сделали это вместо

A a = "abc"; 

вы бы видеть только один вызов конструктора.