在构造函数成员初始值设定项中抛出 C++ 异常？

Question

考虑以下情况:

struct X { ... };

struct Y
{
     Y(...);

     ...

     X x;

     ...
}

X f()
{
    ...

    if (...)
        throw E;

    ...
}

Y::Y(...) :
    ... ,
    x(f()) ,
    ...
{
    ...
}

这里有没有未定义的行为？这样的设计在抛E的时候有没有什么陷阱或者潜在的问题？

更新:

Y::x 可能不是Y 的唯一成员变量，也可能不是类中的第一个成员变量，并且可能在中途被初始化Y::Y 初始化列表。

Answer 1

Is there any undefined behaviour here?

没有。 Y 的构造中止。

Are there any gotchas or potential problems with such a design when E is thrown?

没有 Y 被创建，所以没有析构函数可以调用。完全构造的元素的析构函数，那些在类主体中 x 之前声明的元素，将被自动调用(否则你怎么知道它抛出时你的初始化列表有多远)。如果你需要销毁任何东西，那么你必须捕获异常并自己销毁它。你不能吸收异常，你可以重新抛出它，抛出一个新的异常，或者什么都不做，无论如何都会导致异常被重新抛出。对于您的特定用例，不应破坏任何东西，因为根本不会调用构造函数主体。