迭代器默认构造函数和POD成员初始化

Question

来自 boost::iterator_facade 文档中的示例 [1]：

class node_iterator : public boost::iterator_facade< /* ... */ >
{
 public:  node_iterator() : m_node(0) { } 
          /* ... */
 private: node_base* m_node;
};

后跟脚注：

从技术上讲，C++ 标准对默认构造的迭代器几乎没有任何要求，因此如果我们真的关心效率，我们可以编写默认构造函数以使 m_node 未初始化。

我的问题（两部分）：
(a) C++ 标准对默认构造的迭代器有什么要求？
(b) 为什么在实例化node_iterator 时省略m_node(0) 避免初始化m_node？无论如何，m_node 不会被默认初始化（因此是零初始化）吗？

[1]http://www.boost.org/doc/libs/1_47_0/libs/iterator/doc/iterator_facade.html#constructors-and-data-members （注：虽然这个问题源于一个 boost 示例，但我相信它适用于 STL 迭代器，因此我没有使用“boost”标签。）

Answer 1

为什么在实例化 node_iterator 时省略 m_node(0) 会避免初始化 m_node？

仅仅因为 node_iterator 的默认构造函数被调用并不意味着类本身的非静态数据成员被正确初始化，尤其是在没有为这些数据成员指定初始化的情况下。这包括从构造函数初始化列表中省略那些非静态数据成员。此外，m_node 是一个指针，因此是 POD 类型，因此它没有默认构造函数，在进入 node_iterator 本身的构造函数主体之前将调用该构造函数来构造对象。因此，从初始化列表中省略 m_node 将避免专门初始化 m_node data_member。

m_node 不会被默认初始化（因此是零初始化）吗？

根据 C++03 规范第 8.5/9 节，如果未指定初始化器，则使用“不确定”值初始化非静态对象（还包括类的非静态数据成员）那个物体。非静态对象仅在它是非 POD 类类型和/或 const 限定类型时才被默认初始化。在这种情况下，m_node 是指针类型，因此是 POD 类型，因此它不是零初始化的……它只是用内存中变量位置的任何预先存在的值“初始化” ，从而使其成为初始化时使用的“不确定”值。