使用 consteval 调用不断内联函数

Question

我有一个 consteval crc32 函数，它在编译时工作得很好。我希望这个函数在另一个常量内联函数中使用。

下面是一个代码示例，便于理解：

unsigned int consteval strsum(const std::string str) {
    auto n = 0;

    for (int i = 0; i < str.size(); i++) n += str.at(i);

    return n;
}

void _printHash(const unsigned int hash) {
    printf("%d", hash);
}

__forceinline void printHash(const std::string str) {
    _printHash(strsum(str));
}

int main(int argc, char* argv[]) {
    printHash("abc");
}

我希望这段代码编译为：

int main(int argc, char* argv[]) {
    _printHash(/* hash constant */);
}

相反，我收到 C7595 错误：对 consteval 函数的调用不是常量表达式。

有没有办法在 MSVC 上实现想要的行为？

Answer 1

首先，你不能有一个带有 std::string 参数的 consteval 函数，因为它不是文字类型。幸运的是std::string_view 在这个应用程序中无限好，你可以拥有

consteval unsigned int strsum(const std::string_view str) {
    auto n = 0;
    for (auto s : str) n += s;
    return n;
}

遗憾的是，非consteval 函数的参数永远不是常量表达式，consteval 函数不能调用常规函数。所以即使你可以拥有strsum，你也不能调用你想要的方式。

您可以调用_printHash(strsum("abc")) 而不是printHash("abc")，但是如果您不能接受这种语法，那么恐怕您没有太多选择，除了接受生成的代码将循环一个常量字符串。

非 MSVC 的编译器将 do the right thing 不需要任何 constexpr 或 consteval（或 inline），因此整个编译器将完全按照需要编译为等同于 printf("%d", 294) 的东西。但是 MSVC 就是不擅长这种优化。