C++11中跳轉(zhuǎn)initializer_list實(shí)現(xiàn)分析
1.初始化列表的實(shí)現(xiàn)
(1)當(dāng)編譯器看到{t1,t2…tn}時(shí)便會(huì)生成一個(gè)initializer_list<T>對(duì)象(其中的T為元素的類(lèi)型),它關(guān)聯(lián)到一個(gè)array<T,n>。
(2)對(duì)于聚合類(lèi)型,編譯器會(huì)將array<T,n>內(nèi)的元素逐一分解并賦值給被初始化的對(duì)象。這相當(dāng)于為該對(duì)象每個(gè)字段分別賦值。
(3)對(duì)于非聚合類(lèi)型。如果該類(lèi)存在一個(gè)接受initializer_list<T>類(lèi)型的構(gòu)造函數(shù),則初始化時(shí)會(huì)將initializer_list<T>對(duì)象作為一個(gè)整體傳給構(gòu)造函數(shù)。如果不存在這樣的構(gòu)造函數(shù),則array內(nèi)的元素會(huì)被編譯器分解并傳給相應(yīng)的能接受這些參數(shù)的構(gòu)造函數(shù)(比如列表中有2個(gè)元素的,就傳給帶2個(gè)參數(shù)的構(gòu)造函數(shù)。有3個(gè)元素的,就傳給帶3個(gè)參數(shù)的構(gòu)造函數(shù),依此類(lèi)推……)。
【實(shí)例分析】initializer_list<T>初體驗(yàn)
#include <iostream>
#include <vector>
#include <map>
#include <complex>
using namespace std;
//編譯選項(xiàng):g++ -std=c++11 test1.cpp -fno-elide-constructors
class Foo
{
public:
Foo(int)
{
cout << "Foo(int)"<< endl;
}
Foo(int, int)
cout << "Foo(int, int)"<< endl;
Foo(const Foo& f)
cout << "Foo(const Foo& f)"<< endl;
};
int main()
Foo f1(123);
Foo f2 = 123; //先將調(diào)用Foo(int)將123轉(zhuǎn)為Foo對(duì)象,再調(diào)用拷貝構(gòu)造函數(shù)(后面這步可能被優(yōu)化)
Foo f3 = {123}; //生成initializer_list<int>,然后分解元素后,由于列表中只有1個(gè)元素,所以將其傳給Foo(int)
Foo f4 = {123, 321}; //生成initializer_list<int>,然后分解元素后,由于列表中有兩個(gè)元素,所以將其傳給Foo(int, int)
//編譯器會(huì)為以下花括號(hào)形成一個(gè)initializer_list<string>,背后有個(gè)array<string,6>
//調(diào)用vector<string>的構(gòu)造函數(shù)時(shí),編譯器會(huì)找到一個(gè)接受initializer_list<string>
//的重載的構(gòu)造函數(shù)。所有的容器均有這樣的構(gòu)造函數(shù)。在這個(gè)構(gòu)造函數(shù)里會(huì)利用
//initializer_list<string>來(lái)初始化。
vector<string> city{"Berlin", "New York", "London", "Cairo","Tokyo", "Cologne"};
//編譯器會(huì)為以下花括號(hào)形成一個(gè)initializer_list<double>,背后有個(gè)array<double,2>。
//調(diào)用complex<double>的構(gòu)造函數(shù)時(shí),array內(nèi)的2個(gè)元素被分解并傳給
//Comlex<double>(double,double)這個(gè)帶有兩個(gè)參數(shù)的構(gòu)造函數(shù)。因?yàn)閏omlex<double>并無(wú)
//任何接受initializer_list的構(gòu)造函數(shù)。
complex<double> c{4.0, 3.0}; //等價(jià)于c(4.0, 3.0)
return 0;
}2. initializer_list<T>模板
//initializer_list<T>源碼分析
#include <iostream>
template <class T>
class initializer_list
{
public:
typedef T value_type;
typedef const T& reference; //注意說(shuō)明該對(duì)象永遠(yuǎn)為const,不能被外部修改!
typedef const T& const_reference;
typedef size_t size_type;
typedef const T* iterator; //永遠(yuǎn)為const類(lèi)型
typedef const T* const_iterator;
private:
iterator _M_array; //用于存放用{}初始化列表中的元素
size_type _M_len; //元素的個(gè)數(shù)
//編譯器可以調(diào)用private的構(gòu)造函數(shù)!??!
//構(gòu)造函數(shù),在調(diào)用之前,編譯會(huì)先在外部準(zhǔn)備好一個(gè)array,同時(shí)把a(bǔ)rray的地址傳入模板
//并保存在_M_array中
constexpr initializer_list(const_iterator __a, size_type __l)
:_M_array(__a),_M_len(__l){}; //注意構(gòu)造函數(shù)被放到private中!
constexpr initializer_list() : _M_array(0), _M_len(0){} // empty list,無(wú)參構(gòu)造函數(shù)
//size()函數(shù),用于獲取元素的個(gè)數(shù)
constexpr size_type size() const noexcept {return _M_len;}
//獲取第一個(gè)元素
constexpr const_iterator begin() const noexcept {return _M_array;}
//最后一個(gè)元素的下一個(gè)位置
constexpr const_iterator end() const noexcept
{
return begin() + _M_len;
}
};(1)initializer_list是一個(gè)輕量級(jí)的容器類(lèi)型,內(nèi)部定義了iterator等容器必需的概念,本質(zhì)上是一個(gè)迭代器!
(2)對(duì)于std:: initializer_list<T>而言,它可以接收任意長(zhǎng)度的初始化列表,但要求元素必須是同種類(lèi)型(T或可轉(zhuǎn)換為T(mén))。
(3)它有3個(gè)成員函數(shù):size()、begin()和end()。
(4)擁有一個(gè)無(wú)參構(gòu)造函數(shù),可以被直接實(shí)例化,此時(shí)將得到一個(gè)空的列表。之后可以進(jìn)行賦值操作,如initializer_list<int> list; list={1,2,3,4,5};
(5)initializer_list<T>在進(jìn)行復(fù)制或賦值時(shí),它內(nèi)部將保存著列表的地址保存在_M_array中,它進(jìn)行的是淺拷貝,并不真正復(fù)制每個(gè)元素,因此效率很高。
【編程實(shí)驗(yàn)】打印初始化列表的每個(gè)元素
#include <iostream>
//打印初始化列表的每個(gè)元素
void print(std::initializer_list<int> vals)
{
//遍歷列表中的每個(gè)元素
for(auto p = vals.begin(); p!=vals.end(); ++p){
std::cout << *p << " ";
}
std::cout << std::endl;
}
//std::initializer_list<T>的淺拷貝。以下的返回值應(yīng)改為std
//以下的返回值應(yīng)改為std::vector<int>類(lèi)型,而不是std::initializer_list<int>類(lèi)型。
std::initializer_list<int> func(void)
int a = 1;
int b = 2;
return {a, b}; //編譯器看到{a, b}時(shí),會(huì)做好一個(gè)array<int,2>對(duì)象(其生命
//期直至func結(jié)束),然后再產(chǎn)生一個(gè)initializer_list<int>
//臨時(shí)對(duì)象,由于initializer_list<int>采用的是淺拷貝,當(dāng)
//函數(shù)返回后array<int,2>會(huì)被釋放,所以無(wú)法獲取到列表中的元素!
int main()
print({1,2,3,4,5,6,7,8,9,10});
print(func());
return 0;
/*測(cè)試結(jié)果:
e:\Study\C++11\7>g++ -std=c++11 test1.cpp
e:\Study\C++11\7>a.exe
1 2 3 4 5 6 7 8 9 10
*/3.讓自定義的類(lèi)可以接受任意長(zhǎng)度初始化列表
(1)自定義類(lèi)中重載一個(gè)可接受initializer_list<T>類(lèi)型的構(gòu)造函數(shù)
(2)在該構(gòu)造函數(shù)中,遍歷列表元素并賦值給相應(yīng)的字段。
【編程實(shí)驗(yàn)】自定義類(lèi)的初始化列表
#include <iostream>
#include <map>
using namespace std;
class Foo
{
public:
Foo(int a, int b)
{
cout << "Foo(int a, int b)" << endl;
}
Foo(initializer_list<int> list)
cout << "Foo(initializer_list<int> list) : ";
for(auto i : list){
cout <<i<< " ";
}
cout << endl;
};
class FooMap
std::map<int, int> content;
using pair_t = std::map<int, int>::value_type;
FooMap(std::initializer_list<pair_t> list)
for(auto it = list.begin(); it!=list.end(); ++it){
content.insert(*it);
std::cout << "{" << (*it).first <<"," <<(*it).second <<"}" << " ";
std::cout << std::endl;
int main()
Foo f1(77, 5); //Foo(int a, int b), a = 77, b = 5;
//注意:由于定義了Foo(initializer_list<int> list)函數(shù),以下3種方
//式的初始化都會(huì)將{...}作為一個(gè)整體傳遞給該函數(shù)。如果沒(méi)有定義該函
//數(shù),則由于該類(lèi)是個(gè)非聚合類(lèi)用{}初始化時(shí),會(huì)調(diào)用構(gòu)造函數(shù)來(lái)初始化。
//但由于Foo類(lèi)不存在3個(gè)參數(shù)的構(gòu)造函數(shù),所以f3那行會(huì)編譯失??!
Foo f2{77, 5}; //Foo(initializer_list<int> list)
Foo f3{77, 5, 42}; //Foo(initializer_list<int> list)
Foo f4 = {77, 5}; //Foo(initializer_list<int> list)
FooMap fm = {{1,2}, {3,4},{5,6}};
return 0;
}
/*測(cè)試結(jié)果:
e:\Study\C++11\7>g++ -std=c++11 test2.cpp
e:\Study\C++11\7>a.exe
Foo(int a, int b)
Foo(initializer_list<int> list) : 77 5
Foo(initializer_list<int> list) : 77 5 42
{1,2} {3,4} {5,6}
*/到此這篇關(guān)于C++11中跳轉(zhuǎn)initializer_list實(shí)現(xiàn)分析的文章就介紹到這了,更多相關(guān)C++11 initializer_list內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
詳解如何在code block創(chuàng)建一個(gè)C語(yǔ)言的項(xiàng)目
這篇文章主要介紹了詳解如何在code block創(chuàng)建一個(gè)C語(yǔ)言的項(xiàng)目,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2020-12-12
C語(yǔ)言實(shí)現(xiàn)數(shù)獨(dú)游戲
這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言實(shí)現(xiàn)數(shù)獨(dú)游戲,文中示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2022-03-03
C語(yǔ)言實(shí)現(xiàn)父進(jìn)程主動(dòng)終止子進(jìn)程的方法總結(jié)
一般的情況,子進(jìn)程自己運(yùn)行完后,執(zhí)行exit 或者return 后,父進(jìn)程wait. waitpid收回子進(jìn)程,但子進(jìn)程是一個(gè)循環(huán)等待狀態(tài)不主動(dòng)退出,父進(jìn)程可以采用文中介紹的幾種方法,需要的朋友可以參考下2023-10-10
c++ 解決無(wú)法打印uint8_t 類(lèi)型變量的問(wèn)題
這篇文章主要介紹了c++ 解決無(wú)法打印uint8_t 類(lèi)型變量的問(wèn)題,具有很好的參考價(jià)值,希望對(duì)大家有所幫助。一起跟隨小編過(guò)來(lái)看看吧2020-12-12
C/C++靜態(tài)類(lèi)和this指針詳解及實(shí)例代碼
這篇文章主要介紹了 C/C++靜態(tài)類(lèi)和this指針詳解及實(shí)例代碼的相關(guān)資料,需要的朋友可以參考下2017-02-02
C++實(shí)現(xiàn)LeetCode(89.格雷碼)
這篇文章主要介紹了C++實(shí)現(xiàn)LeetCode(89.格雷碼),本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-07-07
詳解C語(yǔ)言中Char型指針數(shù)組與字符數(shù)組的區(qū)別
這篇文章主要介紹了詳解C語(yǔ)言中Char型指針數(shù)組與字符數(shù)組的區(qū)別的相關(guān)資料,希望通過(guò)本文能幫助到大家掌握理解這部分內(nèi)容,需要的朋友可以參考下2017-10-10

