Конструктор не вызывается в этом классе агрегации

Question

class A { 
public: 
    A() { cout << "A()" << endl; } 
}; 
class B { 
public: 
    A a; 
    B(const A& a1) : a(a1) { cout << "B(const A&)" << endl; } 
    /* B(const A& a1) { a = a1; cout << "B(const A&)" << endl; } */ 
}; 
int main() { 
    B b(A()); /* no ouput */ 
} 

Для вышеуказанного кода выхода не генерируется. Это связано с оптимизацией компилятора (копия elision), как обсуждалось в этом link?

Но если у меня есть класс B конструктор и переписать код, как показано ниже:

class A { 
public: 
    A() { cout << "A()" << endl; } 
}; 
class B { 
public: 
    A a; 
    B() {} 
    B(const A& a1) : a(a1) { cout << "B(const A&)" << endl; } 
    /* B(const A& a1) { a = a1; cout << "B(const A&)" << endl; } */ 
}; 
int main() { 
    B().a; // gives output A() 
} 

Answer 1

B b(A()); 

неоднозначен и может быть истолковано либо как при объявлении переменной или как объявление функции, возвращает результат восстановления типа B и принимает один неназванный параметр типа - функция без параметров и возвращает результат типа A. Хотя вы, возможно, думаете, что сначала следует иметь в виду, что стандарт диктует на самом деле второй случай. См. Статью о most vexing parse в Википедии.

Answer 2

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

B b((A())); 

// you can also fix it using new C++11 initialization syntax: 
B b{A()}; 

проблемы вы столкнулись это называется наиболее неприятным разобрана, и это означает, что компилятор не может решить, хотите ли вы объявление функции или определение переменного.

[править]

Я должен также добавить, что стандарт требует компилятор в таком случае выбрать объявление функции.

[править]

лязг на самом деле более полезным в этом случае, и дает намек на использование partentheses:

http://rextester.com/PECQ53431

source_file.cpp:16:8: warning: parentheses were disambiguated as a function declaration [-Wvexing-parse] 
    B b(A()); /* no ouput */ 
     ^~~~~ 
source_file.cpp:16:9: note: add a pair of parentheses to declare a variable 
    B b(A()); /* no ouput */ 
     ^
     () 

1 предупреждение генерируется.

Answer 3

Вместо создания объекта после создания объекта B сначала создайте объект A s.

A a; 
B b(a);