Student是一個數(shù)據(jù)類型，有兩個字段name和score。name是一個C風(fēng)格字符串，它大概是從C代碼繼承來的，我希望客戶能用上C++風(fēng)格的std::string；score屬于Transcript類型，表示學(xué)生的成績單，這個結(jié)構(gòu)比較大，我希望能傳遞const引用以避免不必要的拷貝。為此，我寫明了三要素：std::tuple_size、std::tuple_element和get。這種機制給了結(jié)構(gòu)化綁定很強的靈活性。

細節(jié)

#include
#include
#include

intmain()
{
std::pairpair{1,2.0};
intnumber=3;
std::tupletuple(number);
constauto&[i,f]=pair;
//i=4;//error
constauto&[ri]=tuple;
ri=5;
}

如果結(jié)構(gòu)化綁定i被聲明為const auto&，對應(yīng)的類型為int，那么它應(yīng)該是個const int&吧？i = 4;出錯了，看起來正是如此。但是如何解釋ri = 5;是合法的呢？

這個問題需要系統(tǒng)地從頭談起。先引入一個名字e，E為其類型：

?當(dāng)expression是數(shù)組類型A，且ref-operator不存在時，E為cv A，每個元素由expression中的對應(yīng)元素拷貝（= expression）或直接初始化（{ expression }或( expression )；?否則，相當(dāng)于定義e為attr cv-auto ref-operator e initializer;。

也就是說，方括號前面的修飾符都是作用于e的，而不是那些新聲明的變量。至于為什么第一條會獨立出來，這是因為在標準C++中第二條的形式不能用于數(shù)組拷貝。

然后分三種情況討論：

?數(shù)組情形，E為T的數(shù)組類型，則每個結(jié)構(gòu)化綁定都是指向e數(shù)組中元素的左值；被引類型（referenced type）為T；——結(jié)構(gòu)化綁定是左值，不是左值引用：int array[2]{ 1, 2 }; auto& [i, j] = array; static_assert(!std::is_reference_v);；?類元組情形，如果e是左值引用，則e是左值（lvalue），否則是消亡值（xvalue）；記Ti為std::tuple_element::type，則結(jié)構(gòu)化綁定vi的類型是Ti的引用；當(dāng)get返回左值引用時是左值引用，否則是右值引用；被引類型為Ti；——decltype對結(jié)構(gòu)化綁定有特殊處理，產(chǎn)生被引類型，在類元組情形下結(jié)構(gòu)化綁定的類型與被引類型是不同的；?數(shù)據(jù)成員情形，與數(shù)組類似，設(shè)數(shù)據(jù)成員mi被聲明為Ti類型，則結(jié)構(gòu)化綁定的類型是指向cv Ti的左值（同樣不是左值引用）；被引類型為cv Ti。

至此，我想“結(jié)構(gòu)化綁定”的意義已經(jīng)明確了：標識符總是綁定一個對象，該對象是另一個對象的成員（或數(shù)組元素），后者或是拷貝或是引用（引用不是對象，意會即可）。與引用類似，結(jié)構(gòu)化綁定都是既有對象的別名（這個對象可能是隱式的）；與引用不同，結(jié)構(gòu)化綁定不一定是引用類型。

（不理解的話可以參考N465911.5節(jié)，盡管你很可能會更加看不懂……）

現(xiàn)在可以解釋ri非const的現(xiàn)象了：編譯器先創(chuàng)建了變量const auto& e = tuple;，E為const std::tuple&，std::tuple_element<0, E>::type為int&，std::get<0>(e)同樣返回int&，故ri為int&類型。

在面向底層的C++編程中常用union和位域（bit field），結(jié)構(gòu)化綁定支持這樣的數(shù)據(jù)成員。如果類有union類型成員，它必須是命名的，綁定的標識符的類型為該union類型的左值；如果有未命名的union成員，則這個類不能用于結(jié)構(gòu)化綁定。

C++中不存在位域的指針和引用，但結(jié)構(gòu)化綁定可以是指向位域的左值：

#include

structBitField
{
intf1:4;
intf2:4;
intf3:4;
};

intmain()
{
BitFieldb{1,2,3};
auto&[f1,f2,f3]=b;
f2=4;
autoprint=[&]{std::cout<

143
153