Question

做

之间有什么区别

A a{ A() };

和

A a( A{} );

避免Most Vexing Parse？我什么时候应该使用特定的？

Answer 1

这两种语法在大多数情况下是等价的，选择哪一种主要是品味问题。如果你进入统一初始化，我建议你这样做：

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"
}

上述差异显示在live example。

中

Answer 2

在大多数情况下，它们是等效的，但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"
}

统一初始化语法差异

2 个答案: