C++：对象的生命周期和外部函数

Question

假设我想调用对象的外部函数来在主体构造函数中执行一些检查。由于对象的生命周期从构造函数的主体完成执行开始，这是一个不安全的设计吗？

struct A;

void check(A const&) { /* */ }

struct A
{
    A() { check(*this); }
};

我的意思是，我正在调用一个尚未激活的对象的外部函数。是未定义的行为吗？

相关问题：如果我将该检查函数作为成员函数（静态或非静态），标准对在构造函数外部但在类内部使用非活跃对象有何规定？

在类和它的用户的观点之间的生命周期概念有什么不同（一种类内与类外的生命周期）？

Answer 1

A 的生命周期不会在调用 check() 时开始，因为来自 [base.life]：

T 类型对象的生命周期开始于：

• 获得了与 T 类型正确对齐和大小的存储，并且
• 如果对象有非空初始化，则其初始化完成。

A 具有非空初始化。它的初始化完成时，从 [class.base.init]/13:

在非委托构造函数中，初始化按以下顺序进行：

• ...
• ——最后，构造器主体的compound-statement被执行。

然而，尽管A 的生命周期尚未开始，该标准还在 [class.base.init]/16 中提供：

可以为正在构造的对象调用成员函数（包括虚拟成员函数，10.3）...但是，如果这些操作在 ctor-initializer 中执行（或在直接调用的函数中 或间接来自 ctor-initializer）在所有基类的 mem-initializers 完成之前，操作的结果是未定义的。

关于生命周期问题，两者没有区别：

void check(const A& ) { .. }
struct A { 
    A() { check(*this); } 
};

还有：

struct A {
    void check() const { .. }
    A() { check(); }
};

后者是明确允许的（因为它不在 ctor-initializer 中），所以我认为没有理由以生命周期为由排除前者。