std::type_info::name() 的实际目的是什么？

Question

今天我的一位同事来问我标题中提到的问题。
他目前正在尝试减少代码库的二进制占用空间，该代码库也用于小型目标（如 Cortex M3 等）。显然他们已经决定在打开 RTTI 的情况下进行编译（实际上是 GCC），以支持正确的异常处理。

好吧，他的主要抱怨是为什么实际上需要std::type_info::name() 来支持 RTTI，并问我是否知道一种方法来抑制生成支持这一点所需的字符串文字，或者至少缩短它们.

std::type_info::name

const char* name() const; 返回包含类型名称的实现定义的以空字符结尾的字符串。不提供任何保证，特别是返回的字符串对于多种类型可以是相同的，并且在同一程序的调用之间会发生变化。

A ,- 但是编译器特定的-，例如的实现dynamic_cast<> 运算符不会使用此信息，而是使用类似于哈希标签的东西来确定类型（类似于 catch() 具有异常处理的块）。
我认为后者在当前的标准定义中明确表达了

1. std::type_info::hash_code
2. std::type_index

我不得不同意，除了用于调试（记录）目的之外，我也没有真正看到使用 std::type_info::name() 的意义。我不是 100% 确定异常处理在没有 RTTI 的情况下使用当前版本的 GCC（我认为他们使用的是 4.9.1），所以我犹豫是否建议直接关闭 RTTI。
在他们的代码库中使用dynamic_casts<> 也是这种情况，但对于这些，我只是建议不要使用它，而支持static_cast （他们实际上没有插件之类的东西，或者不需要运行时类型检测除了断言）。

---

问题：

• 除了日志记录之外，std::type_info::name() 是否存在真实的生产代码级用例？

子问题（更具体）：

• 有谁知道如何克服（解决）这些无用字符串文字的生成（假设它们永远不会被使用）？

• 真的（仍然）需要 RTTI 来支持 GCC 的异常处理吗？
  （这部分现在由@Sehe's answer 很好地解决了，我已经接受了。对于代码中使用的任何异常，剩下的生成的std::type_info 实例仍然存在另一个子问题。我们很确定，这些文字永远不会在任何地方使用）

---

_{相关位：Strip unused runtime functions which bloat executable (GCC)}

Answer 1

隔离这个位：

• 关键是，如果他们关闭 RTTI，异常处理在 GCC 中还能正常工作吗？ — πάντα ῥεῖ 1 hour ago

answer 是的：

-fno-rtti

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

Answer 2

除了日志记录之外，std::type_info::name() 是否存在真实的生产代码级用例？

Itanium ABI describes 如何轻松实现 operator== 的 std::type_info 对象，以测试从 std::type_info::name() 返回的字符串的指针是否相等。

在非平面地址空间中，可能有多个相同类型的type_info 对象（例如，因为动态库已经加载了RTLD_LOCAL），operator== 的实现可能需要使用strcmp判断两种类型是否相同。

所以name() 函数用于确定两个type_info 对象是否引用相同的类型。对于实际用例的示例，通常在标准库中的至少两个地方使用，std::function<F>::target<T>() 和 std::get_deleter<D>(const std::shared_ptr<T>&)。

如果您不使用 RTTI，那么这一切都无关紧要，因为无论如何您都不会拥有任何 type_info 对象（因此在 libstdc++ 中无法使用 function::target 和 get_deleter 函数）。

我认为 GCC 的异常处理代码使用 type_info 对象本身的地址，而不是 name() 返回的字符串的地址，因此如果您使用异常但没有 RTTI，则不需要 name() 字符串。