c++ - null shared_ptr 可以访问成员函数

Question

我可以访问空 shared_ptr 对象的成员函数:

#include <memory>
#include <iostream>

class A
{
public:
    int getNum() {return 1234;}
};

int main()
{
    std::shared_ptr<A> pA(nullptr);
    std::cout << pA->getNum() << std::endl;
}

在我期待异常时返回 1234。同样的结果发生在

std::shared_ptr<A> pA();

或

std::shared_ptr<A> pA();
pA.reset();

这真的是预期的行为吗？如果是在成员函数调用的情况下抛出异常的 corect shared_ptr 定义是什么？

使用 VS2010。

Answer 1

在 shared_ptr 上调用 operator->() 需要 [util.smartptr.shared.obs]:

5 Requires: get() != 0.

这意味着如果 get() == 0 当您调用 operator->() 时，您会得到未定义的行为。未定义的行为意味着任何事情都可能发生:你可能会得到一个异常(exception)。您可以获得预期的结果(无论是什么)。您可以备份最近的主要城市的所有厕所。只是没有告诉。

无论您的实现如何处理此代码，该实现都是正确的。