Question

我有一个准单例类（准单例，因为大多数使用是指单个对象是一个函数静态，但用户也可以构建自己的本地副本以供短期使用）我想要从析构函数写入cout，并想知道在程序终止后的静态取消初始化阶段是否可以保证cout可用。从this question开始，似乎答案是肯定的（函数静态初始化对象应该从它们构造时以相反的顺序调用它们，这应该在cout建立之后），但我想检查。

// Count calls to a logging function from some point in our code, to determine
// how many times it gets executed during a run, then report calls at the end
// of the program.  A quick-and-dirty way of determining how often we execute
// code.
class callCounter;
class callCounter {
public:
    callCounter() : has_calls_(false), counts_() {}
    ~callCounter () {report(std::cout);}
    void logCall(const std::string callSite);
    void report(std::ostream &os);
    void reset();
    static callCounter *theCounter();
private:
    typedef std::map<std::string, callCount> COUNTMAP;
    bool has_calls_;
    COUNTMAP counts_;
};

callCounter *callCounter::theCounter()
{
    static callCounter theCounts;
    return &theCounts;
}

典型用法是：

callCounter::theCounter()->logCall("foo");

因此，析构函数中cout的使用保证是安全的（至少就使用cout本身而言 - 可以说是完全安全的，我应该在try块中包装报告以防写入抛出异常。）？

Answer 1

简答：是的

长答案：是的

标准库使用几个技巧来确保std :: cout（和std :: cin / std：cerr）在任何其他对象之前可用（但是你必须#include＆lt; iostream＆gt; in翻译单位）。因为它们是首先创建的（破坏规则的相反顺序保证）它们会在您的对象之后被销毁。

参见：n3242（实际上是C ++ 0x标准Pub：2011-02-28）

27.4标准iostream对象

第2段

构造对象并在第一次构造类ios_base :: Init的对象之前或期间的某个时间建立关联，并且在任何情况下，在main主体开始执行之前。程序执行期间不会销毁对象。 在翻译单元中包括的结果应该好像＆lt; iostream＆gt;定义了具有静态存储持续时间的ios_base :: Init实例。类似地，整个程序的行为应该像至少有一个具有静态存储持续时间的ios_base :: Init实例。

添加了突出显示。

从n1804（基本上是2003年标准：Pub：2005-04-27）

27.3标准iostream对象

第2段

对相应的宽字符和窄字符流的混合操作遵循与在FILE上混合此类操作相同的语义，如ISO C标准的修订1中所规定。构造对象，并且在第一次构建类ios_base :: Init的对象之前或期间的某个时间建立关联，并且在任何情况下在main的主体开始执行之前建立关联。在程序执行²⁸⁰期间，对象不会被销毁。

不幸的是，可以作为保证的位在脚注中（这是非规范性的（即它不能保证实施者应该尝试和实现的目标）。

用脚注：

280）静态对象的构造函数和析构函数可以访问这些对象以从stdin读取输入或将输出写入stdout或stderr。

在静态取消初始化期间是否可以保证cout？

1 个答案:

27.4标准iostream对象

27.3标准iostream对象