c++ - 编译时生命周期检查

Question

所以你有 X 类型的对象 x 和 Y 类型的对象 y。 X和Y是相关的，要求y在其相关的x之前被销毁。

换句话说，像这样:

struct X { void do_something(); }
struct Y
{
    Y(X&x) : my_x(&x) {}
    void do_something() { my_x->do_something(); }
private:
    X * my_x;
};

作为一名防御型程序员，您希望为上面的 my_x 使用智能指针。但是，据我所知，没有合适的指针。这个指针需要知道它不拥有它的原始指针，并且它不应该比它指向的对象长寿。

我认为在大多数情况下，这不可能在编译时显示出来。然而，在某些情况下，可以证明 y 不适本地超过其 x。

在这种情况下或者我们是否坚持使用运行时断言，您能想出任何方法来创建编译时错误吗？

Answer 1

这还不能解决您的问题吗？它确保相关的 Y 总是在 X 之前销毁。

struct X;

struct Y
{
    Y(X& x) : my_x(&x) {}
    void do_something() { my_x->do_something(); }
private:
    X* my_x;
};

struct X
{
    X() : owned_y_(this) { }
    void do_something();
private:
    Y owned_y_;
};