C++中如何在不修改函数签名的前提下传递常量给consteval函数？

要在不修改FieldAsInt函数签名的前提下解决问题，核心是让consteval函数Resolve能获取到编译期常量实参，同时兼容原函数的调用方式。以下是两种可行方案：

方案一：将Resolve改为constexpr函数 #

把consteval替换为constexpr，编译器会自动识别传入的编译期常量（如字符串字面量），并在编译阶段完成Resolve的计算，优化效果和consteval完全一致，同时代码能正常编译。修改后的完整代码：

struct MyStruct {
    int Field1;
    double AnotherField;
};
 
constexpr std::tuple<std::string_view, size_t> columns[] = {
    {"Field1", offsetof(MyStruct, Field1)},
    {"AnotherField", offsetof(MyStruct, AnotherField)}
};
 
// 改为constexpr，保留编译期计算能力，同时兼容运行期调用
constexpr size_t Resolve(std::string_view columnName) {
    for (const auto& [name, offset] : columns) {
        if (name == columnName) {
            return offset;
        }
    }
    throw std::invalid_argument("Column name not found");
}

int FieldAsInt(std::string_view key, MyStruct* ptr) {
    size_t offset = Resolve(key); // 现在编译通过，常量实参自动编译期计算
    return *reinterpret_cast<int*>(reinterpret_cast<char*>(ptr) + offset);
}
 
int main() {
    MyStruct myStruct{42, 3.14};

    std::cout << "value: " << FieldAsInt("Field1", &myStruct) << std::endl;
 
    return 0;
}

这个方案改动最小，完全保留原函数签名，main中传入的"Field1"会被编译器在编译期解析为偏移量，运行时直接取值，无额外开销。

方案二：保留consteval，添加分支控制（强制常量实参） #

如果需要严格限制Resolve只能在编译期调用（不允许传入运行期动态字符串），可以用std::is_constant_evaluated()在FieldAsInt中做分支处理：

#include <stdexcept>

struct MyStruct {
    int Field1;
    double AnotherField;
};
 
constexpr std::tuple<std::string_view, size_t> columns[] = {
    {"Field1", offsetof(MyStruct, Field1)},
    {"AnotherField", offsetof(MyStruct, AnotherField)}
};
 
consteval size_t Resolve(std::string_view columnName) {
    for (const auto& [name, offset] : columns) {
        if (name == columnName) {
            return offset;
        }
    }
    throw std::invalid_argument("Column name not found");
}

// 运行期查找的辅助函数，和Resolve逻辑一致
constexpr size_t ResolveRuntime(std::string_view columnName) {
    for (const auto& [name, offset] : columns) {
        if (name == columnName) {
            return offset;
        }
    }
    throw std::invalid_argument("Column name not found");
}

int FieldAsInt(std::string_view key, MyStruct* ptr) {
    size_t offset;
    if (std::is_constant_evaluated()) {
        // 传入常量实参时，进入编译期分支调用consteval函数
        offset = Resolve(key);
    } else {
        // 传入运行期字符串时，要么调用运行期查找，要么抛出异常禁止
        offset = ResolveRuntime(key);
        // 若要强制只允许常量实参，替换为：
        // throw std::runtime_error("Only compile-time constant keys are supported");
    }
    return *reinterpret_cast<int*>(reinterpret_cast<char*>(ptr) + offset);
}
 
int main() {
    MyStruct myStruct{42, 3.14};

    std::cout << "value: " << FieldAsInt("Field1", &myStruct) << std::endl;
 
    return 0;
}

当传入字符串字面量时，std::is_constant_evaluated()返回true，编译器会在编译期调用Resolve计算偏移量；如果传入的是运行期生成的字符串，会进入运行期分支（可选择支持运行期查找，或抛出异常强制只接受常量）。

两种方案都不需要修改FieldAsInt的函数签名，且都能保留编译期优化的收益。

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