禁用 RTTI 的动态广播

Question

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

更具体地说，如果我在没有 RTTI 的情况下编译一段代码，并且我确信使用dynamic_cast 不会出现错误（即 dynamic_cast 可以安全地替换为 static_cast< /code>) 就像这个：

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