附錄練習題 (Practice - Appendix)

右值引用 X&& 只能綁定右值,X() 是臨時物件(右值)所以可以,具名變數 x 是左值所以編譯失敗。而具名的右值引用參數在函式內部是左值(它有名字、有位址),因此 X a(x_); 走複製建構子;要移動必須顯式寫 X bmove(x_));(或 static_cast<X&&>(x_)。std::move 本身只是轉型,不做任何移動。

(1) 把複製建構子與複製賦值 =delete,並自行提供移動建構子與移動賦值(如 std::thread、std::unique_lock<> 的做法)。
(2) 宣告 void foo(int) = delete; —— 刪除函式仍參與重載決議,foo(42) 會精確匹配到已刪除的 int 版本而編譯失敗;foo((short)42) 則合法。

[=,&j,&k]:i 以複製捕獲(快照 1234),j、k 以引用捕獲(取當前值 2、3)→ 1234+2+3 = 1239。
[&,j,k]:i 以引用捕獲(當前值 1),j、k 以複製捕獲(快照 5678、9)→ 1+5678+9 = 5688。
口訣:複製在建立 lambda 時定值,引用在呼叫時取值。

三類:命名空間作用域變數、類別靜態成員、函式區域變數。前兩類保證在該執行緒「首次使用前」建構(確切時點由實作決定);函式區域的在控制流首次通過宣告時建構,沒呼叫該函式的執行緒不會建構。程式退出時仍在執行的執行緒,其 thread_local 解構子不會被呼叫;正常結束的執行緒則以建構的逆序解構。

sizeof...(Args) 回傳參數包中元素的個數,且結果是常數運算式,可以指定陣列長度等。
包展開會把模式逐項套用:std::tuple<std::unique_ptr<int>, std::unique_ptr<char>>。

Boost 與 POSIX C 的原子操作欄皆為 N/A(只有 C++11 的 std::atomic<> 家族與 Java 的 java.util.concurrent 提供)。Java 的互斥用語言內建的 synchronized 區塊;等待/通知用 java.lang.Object 的 wait()/notify(),且必須在 synchronized 區塊內使用。

template<typename... Args>
void relay(Args&&... args)
{
    fooforward<Args>(args)...;
}

參數宣告 Args&&... 讓左值把 Args 推導為左值引用、右值推導為一般型別(引用摺疊)。若直接 foo(args...),具名參數 args 在函式內全是左值,右值性遺失,foo 只能複製而無法移動;std::forward<Args> 依推導結果還原原本的值類別。

1. 定義空訊息 struct,例如 struct print_receipt {};,再定義給介面的 struct display_receipt {};。
2. main 的鍵盤迴圈加 case 'p': atmqueue.send(print_receipt());。
3. 在 atm::wait_for_action() 的 incoming.wait() 鏈上追加 .handle<print_receipt>(...),於 handler 內 interface_hardware.send(display_receipt());(狀態可留在 wait_for_action)。
4. interface_machine::run() 的鏈上加 .handle<display_receipt>(...) 印出文字。
   框架完全不用改——queue/sender/dispatcher 對訊息型別是泛型的,任何型別都會被 wrapped_message<T> 包裝。若掛錯狀態,訊息會被 dispatcher 丟棄。

constexpr 建構子 + 常數運算式引數 → 物件屬於常數/靜態初始化,保證在任何程式碼執行之前完成。全域互斥鎖的用途正是保護其他變數的同步存取:若其初始化是動態的(main 開始後、與其他初始化交錯執行),多執行緒程式早期就可能發生「鎖還沒建構完就被拿去 lock」——對鎖本身產生初始化競爭,而這把鎖無法保護自己的初始化。靜態初始化一併消除了跨編譯單元的初始化順序問題。std::atomic<> 同理,還需要 trivial 特殊成員(=default)配合。

noexcept(false) 的必要性:C++11 起解構子預設為 noexcept(true),close_queue 例外若從預設解構子逸出會立即 std::terminate();顯式標記後例外才能傳到 run() 的 catch。
優點:成就 receiver.wait().handle<M1>(f1).handle<M2>(f2); 的流暢鏈式語法——整條鏈都是臨時物件,運算式結束、鏈尾解構時「自動」開始等待;chained 旗標保證只有鏈尾等待,而例外能一次穿出所有層級,乾淨地終止各角色的 for(;;)。
代價:會擲例外的解構子本質危險——若它在堆疊回捲(另一個例外傳播中)期間被解構,程式仍會 terminate;控制流藏在「解構+例外」裡,可讀性與除錯難度較高;未匹配訊息被靜默丟棄也增加誤用風險。