禁用 RTTI 的 dynamic_cast

Question

我很想知道在禁用 RTTI 的情况下使用动态转换编译代码时会发生什么 （在 GCC 上使用 -fno-rtti 或在 Visual Studio 上使用 /GR-）。编译器是否“回退”到 static_cast ？由于（至少在 VS 上）它只会发出警告，那么编译后的代码会做什么？

更具体地说，如果我在没有 RTTI 的情况下编译一个我确信 dynamic_cast 不会出错的代码（即 dynamic_cast 可以安全地被 static_cast 替换），会发生什么坏事：

class A{ /*...*/ } ;
class B : public A {
    int foo() { return 42 ;}
} ;
//...
A * myA = new B() ;
int bar = (dynamic_cast<B*>(myA))->foo() ;

Answer 1

阅读标准，在 5.2.7/6 中我们发现除非目标是源的明确基础，否则源必须是多态类型。然后在 10.3/1

虚函数支持动态绑定和面向对象 编程。声明或继承虚函数的类是 称为多态类。

换句话说，标准似乎没有说明您的问题。在这种情况下，标准不允许编译器关闭 RTTI，因此对于每个编译器，您需要检查其文档以查看会发生什么。基于此阅读，我认为这是一个编译器问题，而不是标签所示的 C++ 语言问题。

或者，当您知道足够时，只需使用static_cast 即可完全避免该问题。

Answer 2

在 MSVC 中，如果您的代码未在启用 RTTI 的情况下编译，如果没有运行时检查就无法执行转换，则会引发 __non_rtti_object 异常。

Answer 3

找出答案的最简单方法是尝试一下。

您会发现一些您的动态转换将被标记为非法。有些不会。例如，当您使用动态转换向上转换为明确的基类时，转换在编译时是已知的。

附录
重新“因为（至少在 VS 上）它只发出警告 ...” 忽略警告后果自负。最好的办法是确保您的代码在没有警告的情况下编译，警告级别设置得非常高（并且可能转换为错误）。第二好的方法是查看收到的每一个警告，并确保不会发生任何不愉快的事情。在这种情况下，会发生一些不愉快的事情。你真的不应该关心那个不愉快的事件是如何实现的。你应该关心的是摆脱它。

Answer 4

试试吧：

#include <iostream>
#include <typeinfo>
#include <typeindex>
#include <memory>
#include <vector>
#include <array>
#include <string>

class Base {
public:
  virtual ~Base() {
  }
};

class A: public Base {
};

class B: public Base {
};

using namespace std;

int main() {
  A *a = new A;
  auto *ptr = dynamic_cast<B*>(a);

  if (!ptr)
    std::cout << "failed to cast" << std::endl;

  return 0;
}

没有-fno-rtti，程序编译，输出为：

failed to cast

-fno-rtti，程序编译失败：

main.cpp:25:35: error: ‘dynamic_cast’ not permitted with -fno-rtti
     auto* ptr = dynamic_cast<B*>(a);
                                   ^

您也可以在这里在线测试：https://onlinegdb.com/pYTQu2ne2