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為元素的類型),它關(guān)聯(lián)到一個(gè)array<T,n>。
(2)對(duì)于聚合類型,編譯器會(huì)將array<T,n>內(nèi)的元素逐一分解并賦值給被初始化的對(duì)象。這相當(dāng)于為該對(duì)象每個(gè)字段分別賦值。
(3)對(duì)于非聚合類型。如果該類存在一個(gè)接受initializer_list<T>類型的構(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ù),依此類推……)。
【實(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類型
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í)的容器類型,內(nèi)部定義了iterator等容器必需的概念,本質(zhì)上是一個(gè)迭代器!
(2)對(duì)于std:: initializer_list<T>而言,它可以接收任意長(zhǎng)度的初始化列表,但要求元素必須是同種類型(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>類型,而不是std::initializer_list<int>類型。
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.讓自定義的類可以接受任意長(zhǎng)度初始化列表
(1)自定義類中重載一個(gè)可接受initializer_list<T>類型的構(gòu)造函數(shù)
(2)在該構(gòu)造函數(shù)中,遍歷列表元素并賦值給相應(yīng)的字段。
【編程實(shí)驗(yàn)】自定義類的初始化列表
#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ù),則由于該類是個(gè)非聚合類用{}初始化時(shí),會(huì)調(diào)用構(gòu)造函數(shù)來(lái)初始化。
//但由于Foo類不存在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)文章
C語(yǔ)言實(shí)現(xiàn)簡(jiǎn)單學(xué)生成績(jī)管理系統(tǒng)
這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言實(shí)現(xiàn)簡(jiǎn)單學(xué)生成績(jī)管理系統(tǒng),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2018-01-01
總結(jié)了24個(gè)C++的大坑,你能躲過(guò)幾個(gè)
這篇文章主要介紹了總結(jié)了24個(gè)C++的大坑,你能躲過(guò)幾個(gè),小編覺(jué)得挺不錯(cuò)的,現(xiàn)在分享給大家,也給大家做個(gè)參考。一起跟隨小編過(guò)來(lái)看看吧2021-05-05
詳解利用C語(yǔ)言如何實(shí)現(xiàn)簡(jiǎn)單的內(nèi)存池
這篇文章主要給大家介紹了關(guān)于C語(yǔ)言如何實(shí)現(xiàn)簡(jiǎn)單的內(nèi)存池的相關(guān)資料,設(shè)計(jì)內(nèi)存池的目標(biāo)是為了保證服務(wù)器長(zhǎng)時(shí)間高效的運(yùn)行,通過(guò)對(duì)申請(qǐng)空間小而申請(qǐng)頻繁的對(duì)象進(jìn)行有效管理,減少內(nèi)存碎片的產(chǎn)生,合理分配管理用戶內(nèi)存,需要的朋友可以參考下2021-08-08
C++調(diào)用C#的DLL實(shí)現(xiàn)方法
這篇文章主要介紹了C++調(diào)用C#的DLL實(shí)現(xiàn)方法,很有實(shí)用價(jià)值,需要的朋友可以參考下2014-07-07

