Question

我想做这样的事情：

template <typename T>
constexpr ::std::size_t type_name_hash()
{
  return ::std::hash<::std::string>()(typeid(T).name());
}

现在，我知道hash和string都不是constexpr，但这可以解决，假设它们是constexpr。我想问的是，如果启用RTTI，计算constexpr哈希值的typeid(T).name()函数是否仍会产生编译时常量？关闭RTTI时该怎么办？

Answer 1

typeid（ type-id ）和typeid（ expr ）都可以在常量表达式中使用，除非（如上所述） expr 的结果是多态类类型的glvalue。

但是，由于type_info的标准成员都不是constexpr（包括hash_code()方法），因此除了获取其地址外，您无法对该对象执行任何操作。标准中甚至没有保证对象被初始化。即使获取地址也几乎没用，因为当使用相同类型时，无法保证typeid（）具有相同的结果。例如。以下断言可能会失败：

static_assert(&typeid(int) == &typeid(int), "Multiple type_infos for int");

这是一个人为的例子，但是typeid(T)在程序中使用的多个共享库中为同一个T产生不同的结果，甚至可能在不同的翻译单元中，这并不是闻所未闻。

Answer 2

您认为运行时类型标识的哪一部分在编译时有效？常量表达式的规则不允许：

- 一个typeid表达式（5.2.8），其操作数是多态类类型的glvalue;

所以你的模板只适用于某些类型。

关闭RTTI后，您根本无法使用typeid。

C ++ 11已经提供了一种散列类型的机制：

return ::std::hash<::std::type_index>()(::std::type_index(typeid(T)));

但它并不是所有类型的常量表达式。

您可以使用指向每种类型的指针的type_index，因为指针不是多态类类型，并且仍将提供唯一类型：

return ::std::hash<::std::type_index>()(::std::type_index(typeid(T*)));

现在问题是“仅”type_index构造函数不是constexpr，哈希函数也不是。

constexpr和RTTI

2 个答案: