动态对象的统一初始化

Question

#include <memory>

struct foo
{
    std::unique_ptr<int> p;
};

int main()
{
    foo bar { std::unique_ptr<int>(new int(42)) };
    // okay

    new foo { std::unique_ptr<int>(new int(42)) };
    // error: no matching function for call to
    // 'foo::foo(<brace-enclosed initializer list>)'
}

统一初始化不适用于动态对象，还是g ++ 4.6.1的缺点？

---

它适用于g ++ 4.7.1，但如果foo从另一个类继承，则main 两行都无法编译：

struct baz
{
    // no data members, just some member functions
};

struct foo : baz
{
    std::unique_ptr<int> p;
};

再次，我的编译器的缺点？ 或者统一初始化不能很好地继承？

Answer 1

它用g ++ - 4.7构建得很好。 所以可能是后者。 我将看看是否可以通过文档找到更有力的证据。

并回应继承附录：

这个更简单的情况也无法编译：

struct baz
{
};

struct foo : baz
{
    int b;
};

int main()
{
    foo bar { 12 };
}

附：

testoo.cpp:14:18: error: no matching function for call to ‘foo::foo(<brace-enclosed initializer list>)’
testoo.cpp:14:18: note: candidates are:
testoo.cpp:7:8: note: foo::foo()
testoo.cpp:7:8: note:   candidate expects 0 arguments, 1 provided
testoo.cpp:7:8: note: constexpr foo::foo(const foo&)
testoo.cpp:7:8: note:   no known conversion for argument 1 from ‘int’ to ‘const foo&’
testoo.cpp:7:8: note: constexpr foo::foo(foo&&)
testoo.cpp:7:8: note:   no known conversion for argument 1 from ‘int’ to ‘foo&&’

根据我对标准的阅读，你在第一个例子中得到了aggregate initialization ：

聚合是一个数组或类（第9节），没有用户提供的构造函数（12.1），非静态数据成员（9.2）没有大括号或相等的初始值，没有私有或受保护的非静态数据成员（第11条），没有基类（第10条），没有虚函数（10.3）。

当初始化程序列表初始化聚合时，如8.5.4中所述，初始化程序列表的元素将作为聚合成员的初始化程序，增加下标或成员顺序。

请注意，这明确禁止基类。 总而言之 - 在基类存在的情况下不允许聚合初始化。 因此，第二个例子都不会编译。

Answer 2

如果foo从另一个类继承，则main 两行都无法编译

啊，统一初始化对聚合和非聚合的工作方式不同：

列表初始化对象或类型T的引用定义如下：

• 如果T是聚合，则执行聚合初始化
• [...]
• 否则，如果T是类类型，则考虑构造函数

聚合是[..]一个没有基类[...]且没有虚函数的类[...]。

所以我仍然需要在我的情况下编写自定义构造函数，因为我需要这里的子类型多态性。

Answer 3

我目前还没有最终版本，但草案N3242，§8.5.4 § 8.5.4 List-initialization明确指出列表初始化可以用作新表达式中的初始化程序。 它还提供了以下示例：

new std::vector<std::string>{"once", "upon", "a", "time"}; // 4 string elements