導論與術語練習題 (Practice - Introduction)

書中的 C++11 = C++11 + C++14（因 C++14 是 C++11 的 superset）；C++98 = C++98 + C++03（兩者僅技術細節不同）。
只有寫 C++14 時才專指 C++14；單寫 C++ 則泛指所有版本。

取位址判別法：能對 expression 取位址（&）者通常是 lvalue，不能者通常是 rvalue。
這只是 heuristic（書中用 typically / usually），並非嚴格定義。
附帶好處：它提醒你 expression 的型別與其 lvalue/rvalue 身分無關——type T 可以有 lvalue 也可以有 rvalue。

lvalue。所有 parameter 都是 lvalue——rhs 具名、可在 move constructor 內合法取位址。
型別是 rvalue reference 不改變它是 lvalue 的事實（型別與 value category 是兩回事）。

仍然叫做原物件的 copy。
C++ 沒有術語區分「copy-constructed copy」與「move-constructed copy」——只要以同型別物件初始化新物件，新物件一律稱為 copy。

basic guarantee：例外拋出後，程式 invariant 完好（資料結構不毀損）且無資源洩漏——這是 exception safe 的最低門檻。
strong guarantee：例外拋出後，程式狀態回到呼叫前（如同交易 rollback），隱含 basic guarantee。

signature 是 bool(const Widget&)——只包含參數型別與回傳型別。
函式名、參數名（w）不算；noexcept、constexpr 等其他宣告元素也排除在外。
注意：這是 Meyers 為本書方便的定義，官方定義有時不含回傳型別。

deprecated = 標準委員會標記為待淘汰（「死刑候審」）的特性，未來標準可能移除。
經典例：std::auto_ptr（C++11 deprecated）→ 改用 std::unique_ptr（同樣工作但做得更好）。
編譯器不一定警告，仍應主動避免——deprecated 特性通常劣於取代它的新特性，且會造成移植困擾。

三例：(1) 以 [] 索引超出 std::vector 邊界；(2) 解參考未初始化的 iterator；(3) data race。
data race 定義：兩個以上 thread 同時存取同一記憶體位置，且至少一個是 writer。
UB 意味 runtime 行為完全不可預測，必須避免。

argument = std::move(wid)（呼叫端 expression，此處為 rvalue）；parameter = w（函式內具名變數，恆為 lvalue）。
argument 用來初始化 parameter：因 argument 是 rvalue，w 這個 copy 經由 move construction 建立。
若改傳 someFunc(wid);，argument 是 lvalue，w 則經 copy construction 建立。

寬省略號 ... 是 C++ 原始碼：variadic template 的 parameter pack 語法（typename... Ts、const Ts&... params）。
窄省略號 … 是書中排版慣例：代表「此處省略其他程式碼」，不是合法 C++。
兩者在閱讀範例時不可混淆。

extern int x; → declaration（不配置儲存）；class Widget; → declaration（forward declaration）。
bool func(...) { ... } → definition（有函式本體）；enum class Color { ... }; → definition（列出 enumerator）。
提醒：definition 同時也算 declaration，反之不然。

錯誤在於：copy 一詞不透露建構方式——rvalue 的 copy 一般經 move construction，lvalue 的 copy 一般經 copy construction，成本可能天差地遠。
判斷成本需要兩層資訊：(1) 傳入的 argument 是 lvalue 還是 rvalue（決定走 copy 還是 move）；(2) 該型別 move 與 copy 的實際代價（move 未必便宜）。
而且「rvalue → move、lvalue → copy」本身也只是一般情形（generally / usually），不是保證——僅憑「它是 copy」無法做任何成本斷言。

Widget&& rhs 的 rhs 是具名 lvalue——直接轉傳時會被當成 lvalue，觸發 copy 而非 move，rvalueness 就此遺失。
這正是 std::move 存在的理由：把已知可 move 的 lvalue cast 回 rvalue；而 perfect forwarding（std::forward）則負責保留 argument 原本的 lvalueness / rvalueness 再轉交。
關鍵鏈條：argument（可 l/r value）→ 初始化 parameter（恆 lvalue）→ 需要顯式工具找回 value category。詳見 06-Move-Semantics-And-Perfect-Forwarding/01-Std-Move-And-Std-Forward 與 06-Move-Semantics-And-Perfect-Forwarding/08-Perfect-Forwarding-Failure-Cases。