C++ 程式設計面試：如何評估 C++26 靜態反射，而不是把提案當成穩定 ABI？
題幹與適用場景
團隊希望用 C++26 靜態反射減少列舉字串、設定檢查和序列化分支的手寫程式碼。候選人需要解釋 WG21 的 P2996R13 模型、編譯期元資訊如何參與模板具現化，以及編譯器尚未完整支援時如何落地。高品質回答會把語言提案、產生程式碼和 ABI 相容拆開討論。
面試官考察點
- 是否知道 P2996 是 WG21 提案，不能直接等同所有編譯器的穩定能力。
- 是否區分編譯期反射、執行期型別資訊和字串巨集。
- 是否能說明反射結果如何重新注入宣告，以及存取控制和具現化成本。
- 是否識別產生的布局、符號和跨編譯器 ABI 風險。
- 是否能提出可測試的回退方案，而不是只展示炫技語法。
回答前需要釐清的問題
- 目標編譯器、標準函式庫版本和啟用的語言等級是什麼？
- 產生的程式碼只在建置期使用，還是需要執行期載入未知型別？
- 產物必須跨編譯器、跨動態函式庫或跨語言穩定嗎？
- 反射物件只讀元資訊，還是要產生成員存取、序列化和檢查函式？
- 建置時間、二進位大小和診斷資訊有沒有預算？
30 秒回答框架
「P2996R13 描述的是編譯期靜態反射提案，反射值在編譯期間列舉型別和成員，再透過拼接語法產生宣告。它不是執行期掃描器，也不自動承諾跨編譯器 ABI。我會先鎖定編譯器支援矩陣，用反射產生純原始碼層適配，保留手寫或程式碼產生回退，並測試產物語義、布局和建置成本。公共 ABI 仍由明確介面控制，不能把實作細節暴露給使用者。」
分步驟深入解答
1. 先區分三種反射模型
執行期反射在程式執行時查詢型別，RTTI 主要提供有限的動態型別資訊，靜態反射則把元資訊當成編譯期實體。P2996 的目標是讓編譯器在常量求值階段遍歷型別、成員和屬性，再產生普通 C++ 宣告。它不能讓已部署的二進位突然認識未知類別。
2. 用提案語法表達意圖
下面是概念性範例，實際實作必須以編譯器支援的提案修訂版為準。^^ 取得反射資訊，[: ... :] 把反射結果拼接回宣告；這些記號不應被當成所有工具鏈都接受的生產語法。
enum class Color { red, green, blue };
consteval auto names() {
constexpr auto r = ^^Color;
// Pseudocode: enumerate members and build a compile-time string table.
return make_enum_name_table(r);
}
constexpr auto color_names = names();面試時重點是資料流：編譯器建立元資訊，模板或常量函式處理它，最後產物仍是普通靜態資料和函式。
3. 說明宣告拼接與存取邊界
拼接可以把反射到的型別或成員重新放入宣告位置，但不能繞過語言的存取控制、生命週期和型別檢查。產生的成員存取仍要符合 private、protected、基底類別和名稱查找規則。若工具把不可存取成員轉成公開序列化欄位，就改變了安全契約。
4. 計算模板與建置成本
大型型別圖會讓每個翻譯單元重複具現化反射邏輯，增加建置時間和診斷雜訊。把反射結果集中在一個產生邊界，快取產生的表，並用增量建置量測峰值記憶體。不要把每個業務模板都包一層反射，先驗證是否真的減少重複程式碼。
5. 把 ABI 與產生程式碼分開
反射產生的欄位順序、名稱和布局可能隨編譯器、標準函式庫或提案修訂變化。跨動態函式庫介面應使用穩定 DTO、版本化序列化格式和明確符號；反射只在實作內部產生適配程式碼。改變私有成員不應意外改變公共 ABI。
6. 設計編譯器回退矩陣
用能力探測或建置選項選擇反射實作與手寫實作，但兩者必須共用同一組行為測試。CI 至少覆蓋支援提案的實驗編譯器、主線穩定編譯器和停用反射的回退建置。產物記錄編譯器版本、標準函式庫版本、提案開關、產生雜湊和二進位介面檢查結果。
高品質示範回答
「我會把 P2996R13 當作編譯期語言能力來評估。它把型別和成員轉成編譯期元資訊，再透過模板和拼接產生普通宣告；它不是執行期類別掃描器，也沒有自動解決跨編譯器 ABI。範例中的 ^^ 和拼接記號只能在明確支援的實驗工具鏈上驗證。生產設計把反射限制在內部產生邊界，使用穩定 DTO 和版本化格式維護公共介面，保留手寫回退。測試同時比較兩條實作的列舉名稱、序列化位元組、錯誤處理、建置時間和二進位符號，矩陣穩定後才逐步啟用。」
常見錯誤
- 把提案當成已普及的標準 → 不同編譯器支援和修訂版可能不同 → 鎖定版本並保留回退。
- 把靜態反射當執行期外掛系統 → 編譯期元資訊不能發現部署後新型別 → 需要外掛時使用明確註冊協定。
- 讓反射直接定義公共布局 → 成員變更會污染 ABI → 用穩定 DTO 隔離產生實作。
- 忽略存取控制 → 產生器不能合法讀取任意 private 成員 → 把欄位暴露策略寫成明確 trait。
- 只看原始碼行數 → 模板具現化可能拖慢建置 → 量測時間、記憶體和二進位大小。
追問及應對
這和巨集產生程式碼有什麼不同？
巨集在詞法階段替換文字，缺少型別語義和名稱查找。靜態反射在編譯器理解型別後處理元資訊，能重用型別系統和常量求值，但仍受編譯器實作與建置成本限制。兩者都不能自動提供執行期擴充能力。
如何產生列舉到字串的映射？
反射列舉成員並在編譯期產生陣列或查找表，未知值保留明確的 unknown 分支。測試所有成員、底層整數越界值、重複名稱策略和編譯器回退結果，避免把字串化誤當協定相容。
怎樣驗證跨編譯器結果一致？
把產生結果交給同一組黃金測試，比較序列化位元組、錯誤碼和公開符號，而不是比較內部元資訊表示。對每個編譯器固定提案修訂版，失敗時回退到手寫實作並發出警告。
什麼時候不該使用靜態反射？
需要執行期載入未知模組、公共 ABI 必須長期穩定、工具鏈無法鎖定，或反射只減少幾行程式碼卻顯著增加建置成本時，不應使用。明確註冊、程式碼產生器或手寫適配層更容易稽核。