C++ 關鍵字深度解析：explicit 關鍵字的作用與使用場景

前言

C++ 基礎知識點繁多，explicit 關鍵字雖不常用，但誤用極易導致隱式轉換 Bug。本文系統整理其核心機制、適用場景與最佳實踐。

核心作用

explicit 僅用於修飾類的構造函數聲明，抑制由單參數構造函數定義的隱式類型轉換。

隱式轉換機制

當類定義了單參數構造函數（或除第一參數外皆有預設值的多參數構造函數）時，C++ 允許以下隱式轉換：

class MyClass {
public:
    MyClass(int num);  // 無 explicit
};

MyClass obj = 10;  // OK: 編譯器隱式轉換為 MyClass(10)

此行為稱為「由構造函數定義的隱式轉換」，有時會導致非預期的物件建構。

explicit 抑制隱式轉換

class MyClass {
public:
    explicit MyClass(int num);  // 加上 explicit
};

MyClass obj = 10;           // 編譯錯誤：隱式轉換被禁止
MyClass obj = MyClass(10);  // OK：顯式轉換
MyClass obj(10);            // OK：直接初始化

實際案例：多層隱式轉換

class Book {
public:
    Book(int n) : num(n) {}  // 無 explicit
private:
    int num;
};

class Books {
public:
    Books(Book tmp) : b(tmp) {}
private:
    Book b;
};

int main() {
    Books books(2);  // 2 → Book(2) → Books(Book(2)) 兩次隱式轉換
    return 0;
}

若 Book(int) 加上 explicit，上述代碼將編譯失敗，強制開發者明確表達轉換意圖。

使用規範與建議

語法限制

• explicit 僅能出現在類內部的構造函數聲明處，定義處（類外實作）加上會報錯。
• C++11 起支援多參數構造函數加 explicit，但主要針對單參數情況。

最佳實踐

除非有明確理由需要隱式轉換，否則所有單參數構造函數（含含預設參數的多參數構造函數）均應聲明為 explicit。

這能有效避免：

1. 非預期的物件建構
2. 函數重載解析歧義
3. 效能損失（臨時物件建構與銷毀）

總結

explicit 是 C++ 類型安全的重要防線。養成「預設加 explicit，需要時再移除」的習慣，能消除一大類難以排查的隱式轉換 Bug，提升代碼可讀性與維護性。