是否合法使用initializer_list初始化具有派生类型的对象？

Question

好吧，也许从标题上不清楚我实际上要问什么。

我有一个带有初始化列表构造器std::initializer_list<B> 。 是否使用D类的初始构造函数列表初始化合法，其中D是从B派生的？

#include <initializer_list>

struct B {
    B(int) {}
};

struct D: public B {
    D(int s): B(s) {}
};

struct Foo {
    Foo(std::initializer_list<B> l) {}
};

void main() {
    Foo    f{ D{ 1 }, D{ 2 } };
}

如果不合法，那是不是格式错误？ 还是只是不确定的行为？

我已经在Visual Studio 2013 Update 1中尝试过该代码。它可以编译，但是当我运行它时，我可以看到（调试）如何：

1. 为第一个对象D{1}创建类D的对象（调用tempD1 ）。 调用D构造函数，然后调用B构造函数。
2. tempD1的基础移至新的B对象（ tmpB1 ）：调用B move构造函数。
3. 第二个对象D{2} （ tmpD2 ， tmpB2 ）相同。
4. Foo初始化列表构造器被调用。 此时一切都很好。
5. tmpB2析构tmpB2被调用一次。
6. tmpD2析构tmpD2被调用两次 。
7. tmpD1析构tmpD1被调用一次。

我猜这是编译器的错误（两次调用一个析构函数，而错过了另一个析构函数）。 但是我不确定std :: initializer_list的使用是否合法。

（解决了有关“ D”或“ A”名称的困惑）

Answer 1

从std::initializer_list<D>到std::initializer_list<B>的转换无效...但是用一些D构造std::initializer_list<B>是有效的（这就是这里发生的情况）...

但是你将有对象切片