C++ explicit 關鍵字詳解：禁止構造函數隱式轉換

問題現象

class A { public: A(int a) : data(a) {} int data; };
class B { public: explicit B(int b) : data(b) {} int data; };

void func_a() { A a = 0; a = 1; }  // 編譯通過
void func_b() { B b = 0; b = 1; }  // 編譯錯誤：no match for 'operator='

A a = 0 觸發 隱式轉換：編譯器構建臨時 A(0) 再調用拷貝構造。B 標記 explicit 禁止此行為。

隱式轉換觸發場景

1. 拷貝初始化：T obj = value;
2. 函數參數傳遞：void f(T); f(123);
3. 返回值隱式轉換：T f() { return 123; }
4. 標準庫容器插入：vector v; v.push_back(123);

explicit 作用機制

• 標記單參數構造函數（或多參數但有默認值），禁止隱式轉換，只允許直接初始化：T obj(value);、T obj{value};、static_cast<T>(value)。
• C++11 起支持多參數構造函數加 explicit，防止列表初始化隱式轉換。

性能與語義考量

A a = 0;  // 相當於 A tmp(0); A a = tmp;  兩次構造+一次拷貝（可能優化）
A a(0);   // 直接構造，零開銷

隱式轉換可能產生臨時對象拷貝開銷，且語義模糊（func(10) 是調用 func(int) 還是 func(A)？）。explicit 強制調用者明確意圖。