Единая разница в синтаксисе инициализации
Какая разница между выполнением
A a{ A() };
а также,
A a( A{} );
чтобы избежать Most Vexing Parse? Когда я должен использовать тот или иной?
Решение
Два синтаксиса эквивалентны в большинстве ситуаций, и какой из них выбрать, в основном, дело вкуса. Если вы находитесь в единой инициализации, я бы предложил сделать:
A a{ A{} };
В противном случае одни скобки могут быть использованы для устранения неоднозначности:
A a((A())); // This can't be parsed as a function declaration
Обратите внимание, что существует одна ситуация (очень маловероятно, я должен сказать), когда две формы, показанные в вашем вопросе, не эквивалентны. Если ваш класс A имеет конструктор, который принимает initializer_list<A>этот конструктор будет иметь преимущество перед конструктором копирования при использовании фигурных скобок:
#include <initializer_list>
#include <iostream>
struct A
{
A() { }
A(std::initializer_list<A> l) { std::cout << "init-list" << std::endl; }
A(A const& a) { std::cout << "copy-ctor" << std::endl; }
};
int main()
{
A a(A{}); // Prints "copy-ctor" (or nothing, if copy elision is performed)
A b{A()}; // Prints "init-list"}
Вышеуказанная разница показана в этом живой пример.
Другие решения
В большинстве ситуаций они эквивалентны, но A a{ A() }; предпочтет std::initializer_list конструктор, если таковой присутствует, в то время как A a( A{} ); предпочтет конструктор перемещения / копирования.
Когда конструкция в конечном итоге вызывает конструктор перемещения / копирования, конструкция нового объекта может быть исключена, но это невозможно для std::initializer_list конструктор.
Ни один синтаксис никогда не будет анализироваться как объявление функции, поэтому оба избегают самого неприятного анализа.
#include <iostream>
#include <initializer_list>
struct A {
A() {
std::cout << "A()\n";
}
A(A&&) {
std::cout << "A(A&&)\n";
}
A(std::initializer_list<A>) {
std::cout << "A(std::initializer_list<A>)\n";
}
};
int main()
{
{A a{ A() };} // Prints "A()\n" "A(std::initializer_list<A>)\n"{A a( A{} );} // Prints "A()\n" and *possibly*
// (depending on copy elision) "A(A&&)\n"}