C++ std::initializer_list 實現(xiàn)原理解析及遇到問題

更新時間：2022年02月02日 09:43:27 作者：mkckr0

這篇文章主要介紹了C++ std::initializer_list 實現(xiàn)原理勘誤,本文通過源碼解析給大家介紹的非常詳細，對大家的學習或工作具有一定的參考借鑒價值，需要的朋友可以參考下

一般而言，對變量或?qū)ο笫褂美ㄌ柍跏蓟姆绞奖环Q為直接初始化，其本質(zhì)是調(diào)用了相應的構(gòu)造函數(shù)；而使用等號初始化的方式則被稱為拷貝初始化，說到拷貝大家可能馬上就會想到拷貝構(gòu)造函數(shù)、operator =()函數(shù)，但此時并不一定是調(diào)用了這兩個函數(shù)，這點極容易混淆！??！

今天正在看侯捷《C++ 新標準 C++11-14》的視頻，里面講到 std::initializer_list 的實現(xiàn)原理，并且把源碼貼出來。

/// initializer_list
  template<class _E>
    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) { }
      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.
      end() const noexcept { return begin() + size(); }
    };

他認為，構(gòu)造 std::initializer_list 之前編譯器會先構(gòu)造一個 std::array，然后使用 std::array 的 begin() 和 size() 構(gòu)造 std::initializer_list。這種說法有一處錯誤。編譯器不會構(gòu)造 std::array，而是在棧上直接構(gòu)造一個數(shù)組 const T[N]。在棧上構(gòu)造的數(shù)組會像其他變量一樣，在離開作用域時自動析構(gòu)，不需要手動管理內(nèi)存，所以根本沒必要使用 std::array。

這個是 cppreference.com 的描述：

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

明確地說是普通的 array。

這個是 N3337 的描述：

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

并沒有說是 std::array。

到此這篇關(guān)于C++ std::initializer_list 實現(xiàn)原理勘誤的文章就介紹到這了,更多相關(guān)C++ std::initializer_list 內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: