MSVC下内联函数调用consteval报C7595错误如何实现编译期计算

• consteval函数要求所有入参必须是编译期常量，原代码中printHash的入参是运行期std::string类型，哪怕传入的是字符串字面量，临时构造的std::string也不属于常量表达式，因此调用strsum时触发C7595错误。
• std::string在编译期使用需要处理动态内存分配逻辑，会增加不必要的编译期计算复杂度，本身也不适合作为consteval函数的入参类型。

方案1：保留consteval特性，调整入参类型与函数定义 #

将consteval函数的入参改为编译期友好的std::string_view，同时修改printHash为模板函数直接接收编译期字符串字面量，确保编译期可以拿到完整的字符串内容完成计算：

#include <string_view>
#include <cstdio>

consteval unsigned int strsum(std::string_view str) noexcept {
    unsigned int n = 0;
    for (char c : str) {
        n += static_cast<unsigned char>(c);
    }
    return n;
}

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

// 模板函数接收编译期字符串字面量
template<size_t N>
__forceinline void printHash(const char (&str)[N]) {
    _printHash(strsum(str));
}

int main(int argc, char* argv[]) {
    printHash("abc");
    // MSVC编译后直接等价于调用 _printHash(294);
    return 0;
}

该方案可以强制所有strsum调用必须在编译期完成，不会出现运行期计算的情况。

方案2：改用constexpr函数结合编译器优化 #

如果需要同时支持编译期和运行期字符串入参，可以将strsum改为constexpr类型，配合MSVC的O2优化，编译器会自动对常量入参的调用在编译期完成计算，运行期入参则走运行时计算逻辑：

#include <string_view>
#include <cstdio>

constexpr unsigned int strsum(std::string_view str) noexcept {
    unsigned int n = 0;
    for (char c : str) {
        n += static_cast<unsigned char>(c);
    }
    return n;
}

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

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

int main(int argc, char* argv[]) {
    printHash("abc"); // O2优化下编译为直接传入常量294
    return 0;
}

• 必须将C标准设置为/std:c++20或更高版本，consteval是C20引入的新特性，低版本标准不支持。
• 选用方案2时需要开启/O2最大化速度优化，关闭/Od禁用优化选项，才能触发编译期自动计算。
• 尽量避免在编译期函数中使用std::string作为参数，改用std::string_view可以规避编译期动态内存分配的相关问题。

内容的提问来源于stack exchange，提问作者Artemking4