编译时的 C++ constexpr

Question

我认为这个函数应该只在编译时求值是正确的，还是它有运行时成本？

template <typename T>
size_t constexpr CompID() {
    return typeid(T).hash_code();
}

struct Foo {};

int main(int argc, const char * argv[]) {
    size_t foo = CompID<Foo>();
    return 0;
}

Answer 1

constexpr 函数允许在编译时计算函数，但不要求这样做，所以你的答案是“也许”。这取决于编译器的优化设置。

§7.1.5[dcl.constexpr]/7

A call to a constexpr function produces the same result as a call to an equivalent non-constexpr function in all respects except that a call to a constexpr function can appear in a constant expression.

如果您希望没有运行时成本，您可以通过将其分配给 constexpr 变量来强制进行编译时评估，例如

constexpr auto foo = CompID<Foo>();

另请注意 type_info.hash_code() 无法在编译时求值(它不是 constexpr 函数，§18.7.1[type.info]/7).所以你的代码实际上是错误的。