c++ - 单例:析构函数怎么会被调用两次？

Question

我问了一个question关于几分钟前的单例实现，我从@LightnessRacesinOrbit 那里得到了很好的回答。

但我不明白为什么在下一个例子中，如果我在变量 inst 中实例化 Singleton，它的析构函数调用了两次？

#include <iostream>

class Singleton
{
public:
    ~Singleton()  { std::cout << "destruction!\n"; }

    static Singleton& getInstance() 
    {
        static Singleton instance;
        return instance;
    }

    void foo() { std::cout << "foo!\n"; }

private:
    Singleton() { std::cout << "construction!\n"; }
};

int main()
{
    Singleton inst = Singleton::getInstance();
    inst.foo();
}

输出:

construction!
foo!
destruction!
destruction!

Live demo

更准确地说，我理解为什么它被调用了两次。但是我无法理解如何如果在第一个析构函数之后类的实例被销毁，它会被调用两次？为什么没有异常(exception)？

或者它没有被摧毁？为什么？

Answer 1

这一行

Singleton inst = Singleton::getInstance();

应该是

Singleton& inst = Singleton::getInstance();

那么你只会看到一个析构函数调用。

它的编写方式是，Singleton::getInstance() 返回一个引用，但随后将其复制到inst。因此，从您的函数返回的 Singleton 和 拷贝都被销毁了。您从未见过构造拷贝，因为没有使用默认构造函数，而是使用了复制构造函数。

在第二种方法中，返回引用，然后你只需让 inst 成为那个 Singleton 的引用，而不是复制。

正如其他人所提到的，您可以使类不可复制且不可移动以防止这种情况发生

Singleton(Singleton const&) = delete;             // Copy construct
Singleton(Singleton&&) = delete;                  // Move construct
Singleton& operator=(Singleton const&) = delete;  // Copy assign
Singleton& operator=(Singleton &&) = delete;      // Move assign