拋出異常爲const＆

Question

請執行以下代碼;

void DoThrow(const std::exception& e) 
{ 
    throw e; 
} 

int main(int nArgs, char* args[]) 
{ 
    std::exception e; 
    try 
    { 
     DoThrow(e); 
    } 
    catch(std::exception& e) 
    { 
     // const exception ref is caught 
    } 


    return 0; 
} 

我想改進常量在我的項目中的正確性和無意中創建了上述情況。就目前而言，在Dev Studio中，catch塊會捕獲異常，儘管它被拋出爲const &，但被捕獲爲非const &。

問題 - 應該嗎？ :-)

Answer 1

throw接受一個表達式並基於該表達式的靜態類型通過複製初始化創建一個異常對象。異常對象不是const對象。

catch語句初始化對異常對象的引用，而不是對throw表達式引用的對象（如果有的話）。

Answer 2

我不知道規範說什麼，但在我看來，在實踐中，使用RTTI將異常分派到正確的「catch」塊（某些編譯器合成代碼必須執行此操作），與「const」無關。