有没有办法使成员函数不能从构造函数调用？

Question

我有使用

的成员函数（方法）

std::enable_shared_from_this::weak_from_this() 

简而言之：weak_from_this 将weak_ptr 返回到this。一个警告是它不能从构造函数中使用。 如果有人从继承类的构造函数中使用我的函数，则其中的weak_from_this 将返回过期的weak_ptr。我通过断言检查它没有过期来防止这种情况发生，但它是一个运行时检查。

有没有办法在编译时检查它？

Answer 1

恐怕答案是“不，不可能在编译时防止这种情况发生。”总是很难证明是否定的，但请考虑一下：如果可以通过这种方式保护函数，那么标准库本身中的 weak_from_this 和 shared_from_this 可能已经这样做了。

Answer 2

不，没有办法。考虑：

void call_me(struct widget*);

struct widget : std::enable_shared_from_this<widget> {
    widget() {
        call_me(this);
    }

    void display() {
        shared_from_this();
    }
};

// later:

void call_me(widget* w) {
    w->display(); // crash
}

问题是你想检查在构造函数中没有调用shared_from_this 是有原因的。想想那个原因。不是不能调用shared_from_this，而是因为它的返回值还没有被赋值的方式。这也不是因为它永远不会被分配。这是因为它会在代码的执行中稍后被分配。操作顺序是程序的运行时属性。您不能在编译时断言操作顺序，这是在运行时完成的。

Answer 3

不是这样，但是 - 如果性能不是问题，您可以添加一个指示构造完成的标志，并使用它在运行时通过此类调用失败：

class A {

    // ... whatever ...
public:
    A() { 
        // do construction work
        constructed = true;
    }

    foo() {
        if (not constructed)  { 
            throw std::logic_error("Cannot call foo() during construction"); 
        }
        // the rest of foo
    }

protected:
    bool constructed { false };
}

您也可以使这些检查仅在调试模式下编译时应用（例如，使用预处理器进行条件编译 - #ifndef NDEBUG），这样在运行时您就不会受到性能损失。不过请注意noexcepts。

投掷的替代方法是assert()'ing。