快捷導(dǎo)航

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

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

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

一般而言，對(duì)變量或?qū)ο笫褂美ㄌ?hào)初始化的方式被稱(chēng)為直接初始化，其本質(zhì)是調(diào)用了相應(yīng)的構(gòu)造函數(shù)；而使用等號(hào)初始化的方式則被稱(chēng)為拷貝初始化，說(shuō)到拷貝大家可能馬上就會(huì)想到拷貝構(gòu)造函數(shù)、operator =()函數(shù)，但此時(shí)并不一定是調(diào)用了這兩個(gè)函數(shù)，這點(diǎn)極容易混淆?。。?/p>

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

/// 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(); }
    };

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

這個(gè)是 cppreference.com 的描述：

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

明確地說(shuō)是普通的 array。

這個(gè)是 N3337 的描述：

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

并沒(méi)有說(shuō)是 std::array。

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

您可能感興趣的文章: