使用Boost.Program_options解析配置文件中std::vector<T>类型选项的问题

问题原因 #

该问题源于两个层面的不匹配：

1. 自定义验证器未被触发：Boost.Program_options内置了针对std::vector类型的默认验证器实现，定义在全局命名空间的模板验证器在ADL（参数依赖查找）规则下优先级低于内置实现，因此不会被调用。
2. 配置文件与命令行的分词逻辑差异：multitoken()配置仅对命令行参数生效，命令行下会自动按空格拆分参数为多个令牌；但配置文件解析时默认将等号后的整行内容作为单个令牌传入验证器，原有遍历values数组的逻辑是为命令行场景设计的，不适配配置文件场景。

解决方案 #

无需修改现有选项定义和存储结构，仅需调整验证器的命名空间和实现逻辑即可：

1. 将自定义验证器移入boost::program_options::validators命名空间，让ADL可以优先匹配到自定义实现
2. 调整验证器内部逻辑，对配置文件传入的单个整行字符串做空格拆分，再转换为对应类型的vector

修改后的验证器代码如下：

#include <sstream>
#include <vector>
#include <string>
#include <boost/program_options.hpp>

namespace boost::program_options::validators {
template<typename T>
void validate(boost::any& v, const std::vector<std::string>& values, std::vector<T>*, int) {
    check_first_occurrence(v);
    if (values.empty()) {
        throw validation_error(validation_error::at_least_one_value_required);
    }
    // 配置文件场景下values仅有一个元素，为整行空格分隔的字符串
    const std::string& raw_str = values[0];
    std::istringstream iss(raw_str);
    std::vector<T> parsed_values;
    T val;
    while (iss >> val) {
        parsed_values.push_back(val);
    }
    // 校验是否有无效字符
    if (parsed_values.empty() || !iss.eof()) {
        throw validation_error(validation_error::invalid_option_value, "", raw_str);
    }
    v = std::move(parsed_values);
}
} // namespace boost::program_options::validators

调整后无需修改原有选项定义代码，仍可直接使用po::value<std::vector<size_t>>(&sizes)->multitoken()的写法，同时兼容命令行和配置文件的多令牌参数解析。

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