C++ std::initializer_list 实现原理勘误

今天正在看侯捷《C++ 新标准 C++11-14》的视频，里面讲到 std::initializer_list 的实现原理，并且把源码贴出来。

成都创新互联公司是一家专业提供双河企业网站建设,专注与成都网站设计、做网站、H5响应式网站、小程序制作等业务。10年已为双河众多企业、政府机构等服务。创新互联专业网络公司优惠进行中。

  /// initializer_list
  template
    class initializer_list
    {
    public:
      typedef _E 		value_type;
      typedef const _E& 	reference;
      typedef const _E& 	const_reference;
      typedef size_t 		size_type;
      typedef const _E* 	iterator;
      typedef const _E* 	const_iterator;

    private:
      iterator			_M_array;
      size_type			_M_len;

      // The compiler can call a private constructor.
      constexpr initializer_list(const_iterator __a, size_type __l)
      : _M_array(__a), _M_len(__l) { }

    public:
      constexpr initializer_list() noexcept
      : _M_array(0), _M_len(0) { }

      // Number of elements.
      constexpr size_type
      size() const noexcept { return _M_len; }

      // First element.
      constexpr const_iterator
      begin() const noexcept { return _M_array; }

      // One past the last element.
      constexpr const_iterator
      end() const noexcept { return begin() + size(); }
    };

他认为，构造 std::initializer_list 之前编译器会先构造一个 std::array，然后使用 std::array 的 begin() 和 size() 构造 std::initializer_list。这种说法有一处错误。编译器不会构造 std::array，而是在栈上直接构造一个数组 const T[N]。在栈上构造的数组会像其他变量一样，在离开作用域时自动析构，不需要手动管理内存。std::array 也是如此，它仅在其基础之上做了一层包装，使数组的行为如同其它容器一样。所以根本没必要使用 std::array，直接使用数组就足够了。

这个是 cppreference.com 的描述：

The underlying array is a temporary array of type const T[N]

明确地说是普通的 array。

这个是 N3337 的描述：

An object of type initializer_list provides access to an array of objects of type const E.

并没有说是 std::array。

本文标题：C++ std::initializer_list 实现原理勘误
文章出自：http://shouzuofang.com/article/dsogoee.html