不匹配的派生類型

Question

在GCC 4.2的Xcode/LLVM catch子句，這工作：

#include <stdexcept> 
#include <iostream> 

int main() { 
    try { 
     throw std::runtime_error("abc"); 
    } catch (const std::exception& ex) { 
     std::cout << ex.what(); 
    } 
} 

在Xcode中4.3.2（氧化鐵納米LLVM 3.1，-std = C++ 11），該失敗並terminate called throwing an exception ，從來沒有達到NSLog(…)行：

#include <stdexcept> 

int main() { 
    try { 
     throw std::runtime_error("abc"); 
    } catch (const std::exception& ex) { 
     NSLog(@"%s", ex.what()); 
    } 

    return UIApplicationMain(argc, argv, nil, nil); 
} 

但這個工程：

#include <stdexcept> 

int main() { 
    try { 
     throw std::runtime_error("abc"); 
    } catch (const std::runtime_error& ex) { 
     NSLog(@"%s", ex.what()); 
    } 

    return UIApplicationMain(argc, argv, nil, nil); 
} 

是怎麼回事？

Answer 1

GCC是正確的：

15.3p3甲處理機爲E類型的異常對象，如果

• ...或
• 的處理機是一個匹配類型cvT或cvT&和T是一個明確的公共基類的E，或
• ...

這聽起來像一個Xcode的bug（和一個令人驚訝的基本的一個！）