在 Mac OS X 上的 -fno-rtti 共享库中多态地捕获异常

Question

我正在与f-no-rtti 建立一个共享库。在内部，这个库抛出 std:invalid_argument 并捕获 std::exception，但从未输入过 catch 子句。

以下代码重现了问题（g++ 4.2，Mac OS X 10.6）：

// library.cpp: exports f(), compiled with -fno-rtti
#include <stdexcept>
#include <iostream>
extern "C" {
    void f() {
        try {
            throw std::invalid_argument("std::exception handler");
        } catch( std::exception& e) {
            std::cout << e.what() << "\n";
        } catch(...) {
            std::cout << "... handler\n";
        }
    }
}

---

// main.cpp: the main executable, dynamically loads the library
#include <dlfcn.h>
typedef void(*fPtr)();

int main() {
    void* handle = dlopen( "./libexception_problem.dylib", RTLD_LAZY );
    fPtr p_f = reinterpret_cast<fPtr>( dlsym( handle, "f" ) );
    p_f();
}

---

输出：

MacBook-Pro:teste pfranco$ # works fine with rtti
MacBook-Pro:teste pfranco$ g++ -c library.cpp && g++ -shared -o libexception_problem.dylib library.o && g++ main.cpp -o main && ./main
std::exception handler
MacBook-Pro:teste pfranco$ # breaks with -fno-rtti
MacBook-Pro:teste pfranco$ g++ -c -fno-rtti library.cpp && g++ -shared -o libexception_problem.dylib library.o && g++ -fno-rtti main.cpp -o main && ./main
... handler
MacBook-Pro:teste pfranco$ #-no_dead_strip_inits_and_terms doesn't change anything
MacBook-Pro:teste pfranco$ g++ -c -no_dead_strip_inits_and_terms -fno-rtti library.cpp && g++ -no_dead_strip_inits_and_terms -shared -o libexception_problem.dylib library.o && g++ -fno-rtti -no_dead_strip_inits_and_terms main.cpp -o main && ./main
... handler
MacBook-Pro:teste pfranco$ # linking against the shared library works, but this isn't always an option
MacBook-Pro:teste pfranco$ g++ -c -fno-rtti library.cpp && g++ -shared -o libexception_problem.dylib library.o && g++ -fno-rtti main.cpp -o main -L. -lexception_problem && ./main
std::exception handler

---

仅当抛出的代码位于 共享库 中，并且仅当捕获的类型是实际异常的 基类 时才会发生这种情况 - catch(std::invalid_argument&) 有效好吧，std::logic_error& 没有。

有趣的是，这在 Linux 上不会发生，即使运行完全相同的命令也是如此。

问题：

1. 为什么会发生这种情况？这是一个错误、未定义的行为还是设计使然？
2. 如果没有链接到库，我怎样才能使它工作？

非常感谢。

Answer 1

来自 gcc 的信息页面（我的亮点）。

-fno-rtti 使用虚拟禁用生成有关每个类的信息 供 C++ 运行时类型识别功能使用的函数 （dynamic_cast 和 typeid）。如果你不使用这些部分 语言，您可以使用此标志节省一些空间。 注意 该异常处理使用相同的信息，但它会 根据需要生成它。 dynamic_cast 运算符仍然可以 用于不需要运行时类型信息的强制转换，即 转换为 void * 或明确的基类。

RTTI 是该语言的核心部分。如果编译器允许您禁用它，那么您的工作超出了语言的规则，因此不一定会按照您的预期进行。

Answer 2

原来这是 Apple 的 gcc 上的一个错误。不过，他们最近回复了我的错误报告说它不会被修复。