如何提取条件逻辑实现基于字符串参数定义constexpr变量？

你现在的核心矛盾是：模板参数N必须是编译期常量，但type和interval是运行时传入的std::string，无法直接传递给constexpr函数生成编译期的N——因为constexpr函数处理std::string时，参数必须是编译期可确定的字面量，而运行时字符串不满足这个条件。

另外原代码存在一个语法问题：Runner<N> data();是函数声明而非对象定义，应该写成Runner<N> data;或Runner<N> data{};，否则调用data.parse()会编译报错。

下面给出几种可行的简化方案：

方案一：标签分发+模板复用核心逻辑 #

把重复的Runner<N>实例化和parse()调用提取到模板函数中，仅保留必要的运行时分支来选择对应的模板实例：

// 复用核心逻辑的模板函数
template<unsigned int N>
void run_parse() {
    Runner<N> data;
    data.parse();
}

int run(std::string type, std::string interval) {
    if (type == "ST") {
        interval == "SEC" ? run_parse<10>() : run_parse<20>();
    } else if (type == "JST") {
        run_parse<23>();
    } else {
        run_parse<5>();
    }
    return 0; // 补充原函数缺失的返回值
}

这种方式最大程度复用了代码，将模板实例化逻辑统一收拢，只保留最必要的分支判断。

方案二：用std::variant+std::visit（C++17及以上） #

将所有可能的Runner实例包装到std::variant中，通过运行时分支选择对应的变体成员，再用std::visit统一调用parse()：

#include <variant>

int run(std::string type, std::string interval) {
    std::variant<Runner<10>, Runner<20>, Runner<23>, Runner<5>> runner_var;

    // 根据字符串选择对应的Runner实例
    if (type == "ST") {
        runner_var = (interval == "SEC") ? Runner<10>{} : Runner<20>{};
    } else if (type == "JST") {
        runner_var = Runner<23>{};
    } else {
        runner_var = Runner<5>{};
    }

    // 统一调用parse方法
    std::visit([](auto& runner) { runner.parse(); }, runner_var);
    return 0;
}

这种方式适合后续扩展更多Runner类型的场景，新增类型仅需修改variant的模板参数和分支逻辑。

方案三：编译期字符串场景的优化（C++20及以上） #

如果你的type和interval是编译期已知的字面量（比如硬编码的字符串），可以改用std::string_view作为constexpr函数的参数，直接生成编译期的N：

#include <string_view>

constexpr unsigned int arraysize(std::string_view type, std::string_view interval) {
    if (type == "ST") {
        return interval == "SEC" ? 10 : 20;
    } else if (type == "JST") {
        return 23;
    } else {
        return 5;
    }
}

// 编译期调用示例
constexpr auto N = arraysize("ST"sv, "SEC"sv);
Runner<N> data;
data.parse();

注意：这个方案仅适用于字符串是编译期常量的情况，无法直接处理运行时传入的std::string。

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