1. 项目概述Boost.Program_options这个名字对于很多C开发者来说既熟悉又陌生。熟悉是因为它是Boost这个“C准标准库”中一个响当当的模块陌生则是因为当我们需要处理命令行参数时第一反应往往是手写一个简陋的argc/argv解析循环或者干脆用getopt。但当你接手一个需要维护数年、参数复杂、且要求提供友好帮助信息和配置文件支持的工程时你就会发现一个设计良好的命令行与配置管理框架是多么重要。Boost.Program_options正是为此而生它远不止于解析-h和--help而是一套完整的、用于声明、解析、存储和验证程序选项的解决方案。无论是开发一个需要复杂配置的命令行工具还是一个支持多种启动参数的后台服务它都能让你从繁琐的字符串处理和逻辑判断中解放出来把精力集中在核心业务逻辑上。今天我们就来彻底拆解这个库看看它如何将看似简单的“参数解析”这件事做到工业级的优雅与强大。2. 为什么需要Boost.Program_options从手动解析到框架化管理的演进在深入细节之前我们先回顾一下没有它时的“黑暗时代”。通常一个C程序接收命令行参数是通过main(int argc, char* argv[])。早期的做法非常直接粗暴遍历argv数组用strcmp进行字符串比对。2.1 手动解析的典型困境就像你提供的网络资料里那个“自实现参数解析”的例子代码虽然直观但问题一大堆脆弱性参数顺序必须严格固定--type必须在--address之前。用户如果打乱顺序输入解析逻辑立刻崩溃。扩展性差每增加一个新选项就需要在多个if-else分支中添加新的字符串比较和逻辑代码迅速变得臃肿且难以维护。类型安全缺失所有参数都是char*需要手动调用atoi、atof等进行转换没有错误检查用户输入--port abc会导致未定义行为。帮助信息分离程序的用法说明--help需要另外编写和维护与实际的解析逻辑是两套独立的代码极易出现不同步。缺乏高级功能不支持默认值、不支持从配置文件读取、不支持参数分组、不支持验证如端口号范围检查等。2.2 Boost.Program_options带来的范式转变Boost.Program_options将“选项”视为一等公民。你的工作从“如何解析字符串”转变为“如何声明我的程序需要哪些选项”。这个库的核心思想是声明式编程你描述你想要什么选项的名称、类型、描述、默认值等库来负责处理如何从命令行、配置文件甚至环境变量中获取它们并进行类型转换和验证。它的核心优势在于集中声明所有选项在一个地方定义清晰明了。自动类型转换声明int类型库自动将字符串8080转换为整数8080并处理转换失败的错误。灵活的输入源支持命令行、配置文件、环境变量并能轻松组合。自动生成帮助根据你的声明自动生成格式美观、信息完整的帮助文档。强大的验证可以轻松添加自定义验证逻辑。从你提供的网络示例中从最初的strcmp手动解析到使用boost::tokenizer进行交互式解析再到最终引入Boost.Program_options这个演进过程清晰地展示了从“手工劳作”到“使用专业工具”的效率与可靠性提升。接下来我们就进入实战环节。3. 核心概念与快速上手构建你的第一个命令行解析器让我们暂时忘掉复杂的理论直接通过一个完整的例子感受一下Boost.Program_options的基本工作流程。假设我们要为一个简单的网络扫描工具编写参数解析。3.1 基础示例代码拆解#include iostream #include string #include boost/program_options.hpp namespace po boost::program_options; // 常用命名空间别名 int main(int argc, char* argv[]) { // 1. 定义选项描述器 po::options_description desc(网络扫描工具选项); // 2. 声明程序支持的选项 desc.add_options() (help,h, 显示帮助信息) (target,t, po::valuestd::string()-required(), 目标主机IP地址 (必需)) (port,p, po::valueint()-default_value(80), 目标端口 (默认: 80)) (verbose,v, po::bool_switch()-default_value(false), 启用详细输出模式) (protocol, po::valuestd::string()-default_value(tcp), 协议类型 (tcp/udp)) (timeout, po::valueunsigned int()-default_value(5), 超时时间(秒)) ; // 3. 解析命令行参数 po::variables_map vm; try { po::store(po::parse_command_line(argc, argv, desc), vm); po::notify(vm); // 触发必需项检查和类型转换 } catch (const po::error e) { std::cerr 错误: e.what() \n\n; std::cout desc std::endl; return 1; } // 4. 处理解析结果 if (vm.count(help) || argc 1) { std::cout desc std::endl; return 0; } // 5. 安全地使用参数 std::string target vm[target].asstd::string(); int port vm[port].asint(); bool verbose vm[verbose].asbool(); std::string protocol vm[protocol].asstd::string(); unsigned int timeout vm[timeout].asunsigned int(); std::cout 开始扫描...\n; std::cout 目标: target : port \n; std::cout 协议: protocol \n; std::cout 超时: timeout 秒\n; if (verbose) { std::cout [详细模式已启用]\n; } // ... 实际的扫描逻辑 ... return 0; }3.2 关键步骤原理解析po::options_description这是所有选项的“容器”和“说明书”。构造时传入的字符串会作为帮助信息的标题。你可以创建多个options_description对象来对选项进行分组例如“基本选项”、“高级选项”、“调试选项”这在选项很多时非常有用。add_options()方法链这是声明选项的核心。它返回一个辅助对象允许你以流式语法连续添加选项。(help,h, ...)定义了一个选项。help,h表示长格式--help和短格式-h指向同一个选项。短格式是可选的。po::valueT()这是一个模板函数它创建了一个typed_value对象用于指定选项值的类型T。这是实现类型安全的关键。-required()标记此选项为必需。如果用户没有提供po::notify()会抛出异常。-default_value(val)设置选项的默认值。如果用户未提供该选项则使用此值。注意对于bool_switchdefault_value设置的是“开关默认状态”而非“值”。-bool_switch()这是一个特殊的值语义器用于处理--verbose这种不带参数的布尔标志。当出现该标志时其值被设为true否则为false。它比po::valuebool()-default_value(false)更语义化且用户无需输入--verbose true。po::variables_map这是一个类似std::map的容器用于存储解析后的选项。键是选项名不带--或-值是一个boost::any类型的包装对象可以通过asT()方法安全地提取为指定类型。po::store()和po::notify()store()将解析器(parse_command_line)的结果填充到variables_map中。此时值还是字符串形式。notify()这是关键一步。它会对po::valueT对象调用其notify()函数触发字符串到类型T的转换。检查所有标记为required()的选项是否已存在。如果转换失败或必需项缺失会抛出po::error异常。这就是为什么必须将store和notify放在try-catch块中。vm.count(“key”)和vm[“key”].asT()count()检查某个选项是否被用户设置了包括通过默认值。对于bool_switch可以用它来判断标志是否出现。asT()从variables_map中提取已转换好的值。你必须确保类型T与声明时po::valueT中的T一致否则会抛出boost::bad_any_cast异常。实操心得养成在main函数开头就用try-catch包裹store和notify的习惯。这能确保任何解析错误如类型错误、缺少必需参数都能被优雅地捕获并打印出友好的错误信息和帮助文档而不是让程序崩溃或产生难以理解的错误。编译这个程序需要链接Boost.Program_options库例如g -o scanner scanner.cpp -lboost_program_options你就可以体验它的强大了$ ./scanner --help 网络扫描工具选项 -h [ --help ] 显示帮助信息 -t [ --target ] arg 目标主机IP地址 (必需) -p [ --port ] arg (80) 目标端口 (默认: 80) -v [ --verbose ] 启用详细输出模式 --protocol arg (tcp) 协议类型 (tcp/udp) --timeout arg (5) 超时时间(秒) $ ./scanner --target 192.168.1.1 --port 443 -v 开始扫描... 目标: 192.168.1.1:443 协议: tcp 超时: 5秒 [详细模式已启用]4. 高级特性深度解析打造工业级配置管理掌握了基础用法我们来看看Boost.Program_options如何解决更复杂的需求。4.1 多值选项与向量参数有时一个选项需要接受多个值比如指定多个扫描端口或文件列表。这通过po::valuestd::vectorT()来实现并且通常需要-multitoken()修饰符来告知解析器该选项可以接受多个令牌。po::options_description desc(高级示例); desc.add_options() (files,f, po::valuestd::vectorstd::string()-multitoken(), 输入文件列表) (ports, po::valuestd::vectorunsigned short()-multitoken()-default_value(std::vectorunsigned short{80, 443}, “80,443”), “待检测端口列表”) ; // 使用示例 // ./program --files a.txt b.txt c.log --ports 22 80 8080 3306解析后vm[“files”]和vm[“ports”]就是std::vector你可以直接遍历它们。注意事项multitoken()选项必须放在命令行的最后或者后面紧跟另一个选项标识--或-因为解析器会将其后的所有非选项参数都收集为该选项的值直到遇到下一个选项标识或命令行结束。例如--files a.txt b.txt --ports 80b.txt会被正确识别为--files的值--ports则开始新的选项。4.2 配置文件支持从文件读取配置这是Boost.Program_options的杀手级功能之一。你可以让程序从INI风格的配置文件中读取选项并与命令行参数无缝融合且命令行参数的优先级通常更高可以覆盖配置文件中的设置。po::options_description config_desc(配置文件选项); config_desc.add_options() (“server.host”, po::valuestd::string()-default_value(“localhost”), “服务器主机名”) (“server.port”, po::valueint()-default_value(8080), “服务器端口”) (“log.level”, po::valuestd::string()-default_value(“info”), “日志级别”) ; std::string config_file “config.ini”; po::variables_map vm; // 先尝试从配置文件读取 try { std::ifstream ifs(config_file.c_str()); if (ifs) { po::store(po::parse_config_file(ifs, config_desc), vm); } } catch (const po::error e) { std::cerr “配置文件解析错误: ” e.what() std::endl; return 1; } // 再用命令行参数覆盖命令行优先级高 po::options_description cmdline_desc; cmdline_desc.add(config_desc); // 包含配置文件的所有选项 cmdline_desc.add_options() // 还可以添加一些仅命令行的选项 (“config,c”, po::valuestd::string(config_file), “指定配置文件路径”) // 动态指定配置文件 (“help,h”, “显示帮助”); try { po::store(po::parse_command_line(argc, argv, cmdline_desc), vm); po::notify(vm); } catch (const po::error e) { std::cerr “命令行参数错误: ” e.what() “\n\n” cmdline_desc std::endl; return 1; }配置文件config.ini内容如下server.hostapi.example.com server.port9000 log.leveldebug运行程序时./program会使用配置文件中的值。而./program --server.port 7070则会用命令行参数7070覆盖配置文件中的9000。4.3 环境变量支持对于一些全局性的、不常改变的设置如代理地址、API密钥前缀从环境变量读取是个好选择。使用po::parse_environment函数。po::options_description desc; desc.add_options() (“proxy-url”, po::valuestd::string(), “代理服务器地址”) ; // 将选项名映射到环境变量名。这里设置环境变量MYAPP_PROXY_URL对应选项proxy-url po::variables_map vm; po::store(po::parse_environment(desc, “MYAPP_”), vm); po::notify(vm);在运行程序前设置环境变量export MYAPP_PROXY_URLhttp://proxy:8080程序启动时就会自动读取。4.4 自定义验证器内置的类型转换int,double,std::string等可能不够用。例如你需要验证一个端口号在1-65535之间或者一个IP地址格式是否合法。这时就需要自定义验证器。自定义验证器通常通过子类化po::validators::check_first_occurrence和po::validators::get_single_string或者更简单地在po::value之后使用-notifier()来注入验证逻辑。void validate_port(const int port) { if (port 1 || port 65535) { throw po::validation_error(po::validation_error::invalid_option_value, “port”, std::to_string(port)); } } // 在选项声明中使用 desc.add_options() (“port,p”, po::valueint()-default_value(80)-notifier(validate_port), “监听端口 (1-65535)”) ;当notify()被调用且port选项的值被成功转换后validate_port函数会被调用。如果验证失败抛出po::validation_error异常会被外层的try-catch捕获。4.5 选项分组与隐藏选项对于拥有大量选项的程序将选项分组可以极大提升帮助信息的可读性。po::options_description general(“通用选项”); general.add_options() (“help,h”, “显示此帮助信息”) (“version,v”, “显示版本信息”) ; po::options_description config(“配置选项”); config.add_options() (“input,i”, po::valuestd::string()-required(), “输入文件”) (“output,o”, po::valuestd::string(), “输出文件”) ; po::options_description advanced(“高级选项”); advanced.add_options() (“threads”, po::valueint()-default_value(4), “工作线程数”) (“buffer-size”, po::valuesize_t()-default_value(4096), “缓冲区大小”) ; po::options_description cmdline_options; cmdline_options.add(general).add(config).add(advanced); // 打印帮助时会按组显示 std::cout cmdline_options std::endl;有时有些选项是内部使用的、不希望出现在帮助信息里比如调试标志。你可以创建另一个options_description对象不将其添加到最终用于打印帮助的cmdline_options中但在解析时仍然包含它。po::options_description hidden(“隐藏选项”); hidden.add_options() (“secret-token”, po::valuestd::string(), “内部令牌”) ; po::options_description all; all.add(cmdline_options).add(hidden); // 解析时用all // 但打印帮助时只用 cmdline_options5. 实战构建一个支持多源配置的命令行工具现在我们将所有知识融合构建一个模拟的、功能相对完整的应用配置管理器。这个工具将从命令行、配置文件和环境变量中读取配置并实现优先级覆盖命令行 环境变量 配置文件 默认值。5.1 项目结构设计假设我们开发一个数据处理器data_processor它需要以下配置输入/输出输入文件路径、输出目录。处理参数并发线程数、批处理大小。网络设置API端点、请求超时。日志设置日志文件路径、日志级别。功能开关启用缓存、详细模式。我们将设计以下优先级逻辑命令行参数具有最高优先级。其次是从环境变量DP_前缀读取。最后从~/.config/data_processor.conf或由--config指定的文件读取。如果都未提供则使用程序内定义的默认值。5.2 完整实现代码#include iostream #include fstream #include string #include vector #include boost/program_options.hpp #include boost/filesystem.hpp // 用于路径处理 namespace po boost::program_options; namespace fs boost::filesystem; struct AppConfig { std::string input_file; std::string output_dir “./output”; // 默认值 int threads 4; size_t batch_size 1024; std::string api_endpoint “http://localhost:8080”; int timeout_sec 30; std::string log_file “processor.log”; std::string log_level “INFO”; bool enable_cache false; bool verbose false; }; int main(int argc, char* argv[]) { AppConfig config; std::string config_file; bool show_version false; // 1. 定义所有可能的选项分组 po::options_description generic(“通用选项”); generic.add_options() (“help,h”, “显示此帮助信息”) (“version,V”, po::bool_switch(show_version), “显示版本信息”) (“config,c”, po::valuestd::string(config_file)-default_value(“~/.config/data_processor.conf”), “指定配置文件路径”) ; po::options_description io(“输入/输出选项”); io.add_options() (“input,i”, po::valuestd::string(config.input_file)-required(), “输入数据文件 (必需)”) (“output,o”, po::valuestd::string(config.output_dir), “输出目录”) ; po::options_description process(“处理选项”); process.add_options() (“threads,j”, po::valueint(config.threads)-default_value(4), “并发处理线程数 (默认: 4)”) (“batch-size”, po::valuesize_t(config.batch_size)-default_value(1024), “批处理大小 (默认: 1024)”) ; po::options_description network(“网络选项”); network.add_options() (“api”, po::valuestd::string(config.api_endpoint), “远程API端点地址”) (“timeout”, po::valueint(config.timeout_sec), “网络请求超时(秒)”) ; po::options_description log(“日志选项”); log.add_options() (“log-file”, po::valuestd::string(config.log_file), “日志文件路径”) (“log-level”, po::valuestd::string(config.log_level), “日志级别 (DEBUG, INFO, WARN, ERROR)”) ; po::options_description feature(“功能开关”); feature.add_options() (“cache”, po::bool_switch(config.enable_cache), “启用结果缓存”) (“verbose,v”, po::bool_switch(config.verbose), “启用详细输出到控制台”) ; // 合并用于命令行的选项不含隐藏选项 po::options_description cmdline_options; cmdline_options.add(generic).add(io).add(process).add(network).add(log).add(feature); // 合并用于配置文件的选项注意配置文件不支持短格式且格式不同 po::options_description config_file_options; config_file_options.add(io).add(process).add(network).add(log).add(feature); // 配置文件中的选项名通常不带短格式且支持点分隔符这里我们统一用长格式名。 // 合并用于环境变量的选项需要前缀映射 po::options_description env_options; env_options.add(io).add(process).add(network).add(log).add(feature); // 2. 解析顺序为 默认值 - 配置文件 - 环境变量 - 命令行 po::variables_map vm; // 2.1 首先设置默认值已经在AppConfig结构体和default_value中定义 // 2.2 解析配置文件 try { fs::path config_path(config_file); if (config_path.string().find(“~/”) 0) { // 简单处理家目录实际项目建议用boost::filesystem或环境变量 const char* home getenv(“HOME”); if (home) { config_path fs::path(home) / config_path.string().substr(2); } } if (fs::exists(config_path)) { std::ifstream ifs(config_path.string()); if (ifs) { // parse_config_file 会自动处理 keyvalue 格式 po::store(po::parse_config_file(ifs, config_file_options, true /*允许不认识的选项*/), vm); } } } catch (const std::exception e) { std::cerr “警告: 读取配置文件时出错 - ” e.what() std::endl; } // 2.3 解析环境变量 (前缀 “DP_”) try { // 这个函数将选项名转为大写加上前缀然后去环境变量中查找。 // 例如 --api 对应环境变量 DP_API。 po::store(po::parse_environment(env_options, “DP_”), vm); } catch (const po::error e) { std::cerr “警告: 解析环境变量时出错 - ” e.what() std::endl; } // 2.4 最后解析命令行优先级最高会覆盖之前的设置 try { po::store(po::parse_command_line(argc, argv, cmdline_options), vm); po::notify(vm); // 最终检查特别是required项 } catch (const po::error e) { std::cerr “错误: ” e.what() “\n\n”; std::cerr “用法:\n” cmdline_options std::endl; return 1; } // 3. 处理通用选项 if (vm.count(“help”)) { std::cout “数据处理器 v1.0\n\n”; std::cout “用法: ” argv[0] “ [选项]\n\n”; std::cout cmdline_options std::endl; return 0; } if (show_version) { std::cout “数据处理器 v1.0.0” std::endl; return 0; } // 4. 验证必需参数虽然notify会检查但这里可以给出更友好的提示 if (config.input_file.empty()) { // 由于required()理论上不会为空但双重检查更安全 std::cerr “错误: 必须通过 --input (-i) 指定输入文件。\n”; std::cerr “使用 --help 查看完整用法。” std::endl; return 1; } // 5. 应用配置启动程序 std::cout “ 启动配置 ” std::endl; std::cout “输入文件: ” config.input_file std::endl; std::cout “输出目录: ” config.output_dir std::endl; std::cout “工作线程: ” config.threads std::endl; std::cout “批处理大小: ” config.batch_size std::endl; std::cout “API端点: ” config.api_endpoint std::endl; std::cout “请求超时: ” config.timeout_sec “秒” std::endl; std::cout “日志文件: ” config.log_file “ [” config.log_level “]” std::endl; std::cout “结果缓存: ” (config.enable_cache ? “启用” : “禁用”) std::endl; std::cout “详细模式: ” (config.verbose ? “开启” : “关闭”) std::endl; std::cout “” std::endl; // ... 实际的业务逻辑从这里开始 ... std::cout “\n开始处理数据...” std::endl; return 0; }5.3 关键实现细节与避坑指南配置文件的路径处理示例中简单处理了~家目录。在生产环境中建议使用boost::filesystem进行更健壮的路径操作并考虑跨平台兼容性Windows没有HOME环境变量而是USERPROFILE。parse_config_file的第三个参数true表示允许配置文件中存在options_description未声明的键值对。这在你希望配置文件能兼容不同版本的程序时有用忽略未知选项但也会隐藏拼写错误。通常建议设为false以严格检查。环境变量前缀映射parse_environment的第二个参数是前缀。它会将选项名转为大写并替换-为_然后加上前缀。例如--log-level对应环境变量DP_LOG_LEVEL。注意短格式选项如-v无法通过环境变量设置。选项值的内存绑定注意我们在声明选项时大量使用了po::valueT(config.member)的形式。这是将选项值直接存储到AppConfig结构体的对应成员中而不是先存到variables_map再提取。这样做更直接但notify()的调用时机至关重要它负责触发这些绑定变量的赋值。我们的调用顺序配置文件-环境变量-命令行确保了命令行参数具有最终赋值权。bool_switch与指针绑定po::bool_switch(config.verbose)直接将布尔开关的状态绑定到变量。当该标志出现在命令行时config.verbose会被设为true。这种方式比通过vm.count(“verbose”)判断更简洁。6. 常见问题、调试技巧与性能考量即使掌握了基本用法在实际项目中还是会遇到一些坑。这里记录一些常见问题和处理技巧。6.1 常见问题排查表问题现象可能原因解决方案编译链接错误undefined reference to boost::program_options::...没有链接Boost.Program_options库。确保编译命令包含-lboost_program_options。对于CMake项目使用find_package(Boost REQUIRED COMPONENTS program_options)和target_link_libraries(your_target Boost::program_options)。运行时崩溃或boost::bad_any_cast从variables_map中提取值的类型T与声明时po::valueT的T不匹配。仔细检查asT()中的T类型。对于std::string、int等基础类型要一致。使用自定义类型时确保提供了正确的流操作符()。必需参数(required())已提供但notify()仍报错1. 参数可能通过配置文件或环境变量提供但解析顺序有误被后续的空命令行覆盖。2. 选项名拼写错误大小写、短格式/长格式。1. 检查并确保解析顺序是默认值 - 配置文件 - 环境变量 - 命令行。2. 使用vm.count(“option_name”)打印检查或直接输出variables_map的内容调试。multitoken()选项行为异常multitoken选项没有放在命令行末尾其后的参数被误认为是该选项的值。确保multitoken选项是命令行的最后一个选项或者在其后使用--显式终止选项解析。例如./app --files a b c -- --other-arg。帮助信息格式混乱或选项描述不对齐控制台宽度不够或者选项描述太长。Boost.Program_options会自动格式化。如果仍有问题可以创建options_description时指定宽度如po::options_description desc(“Options”, 100, 50)总宽100描述缩进50。从配置文件读取的布尔值无效配置文件中布尔值的书写格式。parse_config_file期望的布尔值是1/0、true/false、on/off、yes/no不区分大小写。确保配置文件中的值符合这些格式。6.2 调试技巧窥探variables_map当解析逻辑复杂不确定最终生效的值是什么时可以直接遍历variables_map来调试。std::cout “ 调试: variables_map 内容 ” std::endl; for (const auto it : vm) { std::cout “” it.first “ “; auto value it.second.value(); if (auto str_ptr boost::any_caststd::string(value)) { std::cout *str_ptr; } else if (auto int_ptr boost::any_castint(value)) { std::cout *int_ptr; } else if (auto bool_ptr boost::any_castbool(value)) { std::cout (*bool_ptr ? “true” : “false”); } else if (auto vec_ptr boost::any_caststd::vectorstd::string(value)) { std::cout “[“; for (const auto v : *vec_ptr) std::cout v “ “; std::cout “]”; } else { std::cout “(未知类型)”; } std::cout std::endl; } std::cout “” std::endl;6.3 性能考量与最佳实践Boost.Program_options在解析阶段parse_command_line会有一定的开销因为它需要做字符串匹配、类型转换和存储。但对于绝大多数命令行工具和后台服务这个开销在启动时发生一次是完全可以接受的。性能优化的关键点不在这里而在你的业务逻辑。最佳实践总结尽早解析一次解析在main函数开始处解析所有参数并将它们存储在一个全局或传递到各处的配置结构体中。避免在程序运行中反复解析。善用默认值为大多数选项提供合理的默认值降低用户使用门槛。清晰的帮助信息利用分组和良好的描述让--help输出成为最好的使用文档。统一的错误处理用try-catch包裹store和notify给用户统一的、友好的错误提示并打印帮助信息。考虑使用配置类/结构体如示例中的AppConfig将分散的选项值集中管理更易于传递和序列化。对于超大型参数集如果真的有成百上千个选项考虑按功能模块拆分成多个独立的options_description对象甚至支持动态加载子命令的选项类似于git add,git commit这需要更复杂的设计但Boost.Program_options的组件化特性可以支持。回过头看从手写strcmp循环到使用Boost.Program_options不仅仅是代码行数的减少更是工程思维的一次升级。它将配置管理从一个“问题”变成了一个“可声明、可组合、可扩展”的架构模块。下次当你启动一个新的C项目需要处理外部参数时不妨直接引入Boost.Program_options它会让你从第一天起就拥有一个稳健、可维护的配置基础设施。
1. 项目概述Boost.Program_options这个名字对于很多C开发者来说既熟悉又陌生。熟悉是因为它是Boost这个“C准标准库”中一个响当当的模块陌生则是因为当我们需要处理命令行参数时第一反应往往是手写一个简陋的argc/argv解析循环或者干脆用getopt。但当你接手一个需要维护数年、参数复杂、且要求提供友好帮助信息和配置文件支持的工程时你就会发现一个设计良好的命令行与配置管理框架是多么重要。Boost.Program_options正是为此而生它远不止于解析-h和--help而是一套完整的、用于声明、解析、存储和验证程序选项的解决方案。无论是开发一个需要复杂配置的命令行工具还是一个支持多种启动参数的后台服务它都能让你从繁琐的字符串处理和逻辑判断中解放出来把精力集中在核心业务逻辑上。今天我们就来彻底拆解这个库看看它如何将看似简单的“参数解析”这件事做到工业级的优雅与强大。2. 为什么需要Boost.Program_options从手动解析到框架化管理的演进在深入细节之前我们先回顾一下没有它时的“黑暗时代”。通常一个C程序接收命令行参数是通过main(int argc, char* argv[])。早期的做法非常直接粗暴遍历argv数组用strcmp进行字符串比对。2.1 手动解析的典型困境就像你提供的网络资料里那个“自实现参数解析”的例子代码虽然直观但问题一大堆脆弱性参数顺序必须严格固定--type必须在--address之前。用户如果打乱顺序输入解析逻辑立刻崩溃。扩展性差每增加一个新选项就需要在多个if-else分支中添加新的字符串比较和逻辑代码迅速变得臃肿且难以维护。类型安全缺失所有参数都是char*需要手动调用atoi、atof等进行转换没有错误检查用户输入--port abc会导致未定义行为。帮助信息分离程序的用法说明--help需要另外编写和维护与实际的解析逻辑是两套独立的代码极易出现不同步。缺乏高级功能不支持默认值、不支持从配置文件读取、不支持参数分组、不支持验证如端口号范围检查等。2.2 Boost.Program_options带来的范式转变Boost.Program_options将“选项”视为一等公民。你的工作从“如何解析字符串”转变为“如何声明我的程序需要哪些选项”。这个库的核心思想是声明式编程你描述你想要什么选项的名称、类型、描述、默认值等库来负责处理如何从命令行、配置文件甚至环境变量中获取它们并进行类型转换和验证。它的核心优势在于集中声明所有选项在一个地方定义清晰明了。自动类型转换声明int类型库自动将字符串8080转换为整数8080并处理转换失败的错误。灵活的输入源支持命令行、配置文件、环境变量并能轻松组合。自动生成帮助根据你的声明自动生成格式美观、信息完整的帮助文档。强大的验证可以轻松添加自定义验证逻辑。从你提供的网络示例中从最初的strcmp手动解析到使用boost::tokenizer进行交互式解析再到最终引入Boost.Program_options这个演进过程清晰地展示了从“手工劳作”到“使用专业工具”的效率与可靠性提升。接下来我们就进入实战环节。3. 核心概念与快速上手构建你的第一个命令行解析器让我们暂时忘掉复杂的理论直接通过一个完整的例子感受一下Boost.Program_options的基本工作流程。假设我们要为一个简单的网络扫描工具编写参数解析。3.1 基础示例代码拆解#include iostream #include string #include boost/program_options.hpp namespace po boost::program_options; // 常用命名空间别名 int main(int argc, char* argv[]) { // 1. 定义选项描述器 po::options_description desc(网络扫描工具选项); // 2. 声明程序支持的选项 desc.add_options() (help,h, 显示帮助信息) (target,t, po::valuestd::string()-required(), 目标主机IP地址 (必需)) (port,p, po::valueint()-default_value(80), 目标端口 (默认: 80)) (verbose,v, po::bool_switch()-default_value(false), 启用详细输出模式) (protocol, po::valuestd::string()-default_value(tcp), 协议类型 (tcp/udp)) (timeout, po::valueunsigned int()-default_value(5), 超时时间(秒)) ; // 3. 解析命令行参数 po::variables_map vm; try { po::store(po::parse_command_line(argc, argv, desc), vm); po::notify(vm); // 触发必需项检查和类型转换 } catch (const po::error e) { std::cerr 错误: e.what() \n\n; std::cout desc std::endl; return 1; } // 4. 处理解析结果 if (vm.count(help) || argc 1) { std::cout desc std::endl; return 0; } // 5. 安全地使用参数 std::string target vm[target].asstd::string(); int port vm[port].asint(); bool verbose vm[verbose].asbool(); std::string protocol vm[protocol].asstd::string(); unsigned int timeout vm[timeout].asunsigned int(); std::cout 开始扫描...\n; std::cout 目标: target : port \n; std::cout 协议: protocol \n; std::cout 超时: timeout 秒\n; if (verbose) { std::cout [详细模式已启用]\n; } // ... 实际的扫描逻辑 ... return 0; }3.2 关键步骤原理解析po::options_description这是所有选项的“容器”和“说明书”。构造时传入的字符串会作为帮助信息的标题。你可以创建多个options_description对象来对选项进行分组例如“基本选项”、“高级选项”、“调试选项”这在选项很多时非常有用。add_options()方法链这是声明选项的核心。它返回一个辅助对象允许你以流式语法连续添加选项。(help,h, ...)定义了一个选项。help,h表示长格式--help和短格式-h指向同一个选项。短格式是可选的。po::valueT()这是一个模板函数它创建了一个typed_value对象用于指定选项值的类型T。这是实现类型安全的关键。-required()标记此选项为必需。如果用户没有提供po::notify()会抛出异常。-default_value(val)设置选项的默认值。如果用户未提供该选项则使用此值。注意对于bool_switchdefault_value设置的是“开关默认状态”而非“值”。-bool_switch()这是一个特殊的值语义器用于处理--verbose这种不带参数的布尔标志。当出现该标志时其值被设为true否则为false。它比po::valuebool()-default_value(false)更语义化且用户无需输入--verbose true。po::variables_map这是一个类似std::map的容器用于存储解析后的选项。键是选项名不带--或-值是一个boost::any类型的包装对象可以通过asT()方法安全地提取为指定类型。po::store()和po::notify()store()将解析器(parse_command_line)的结果填充到variables_map中。此时值还是字符串形式。notify()这是关键一步。它会对po::valueT对象调用其notify()函数触发字符串到类型T的转换。检查所有标记为required()的选项是否已存在。如果转换失败或必需项缺失会抛出po::error异常。这就是为什么必须将store和notify放在try-catch块中。vm.count(“key”)和vm[“key”].asT()count()检查某个选项是否被用户设置了包括通过默认值。对于bool_switch可以用它来判断标志是否出现。asT()从variables_map中提取已转换好的值。你必须确保类型T与声明时po::valueT中的T一致否则会抛出boost::bad_any_cast异常。实操心得养成在main函数开头就用try-catch包裹store和notify的习惯。这能确保任何解析错误如类型错误、缺少必需参数都能被优雅地捕获并打印出友好的错误信息和帮助文档而不是让程序崩溃或产生难以理解的错误。编译这个程序需要链接Boost.Program_options库例如g -o scanner scanner.cpp -lboost_program_options你就可以体验它的强大了$ ./scanner --help 网络扫描工具选项 -h [ --help ] 显示帮助信息 -t [ --target ] arg 目标主机IP地址 (必需) -p [ --port ] arg (80) 目标端口 (默认: 80) -v [ --verbose ] 启用详细输出模式 --protocol arg (tcp) 协议类型 (tcp/udp) --timeout arg (5) 超时时间(秒) $ ./scanner --target 192.168.1.1 --port 443 -v 开始扫描... 目标: 192.168.1.1:443 协议: tcp 超时: 5秒 [详细模式已启用]4. 高级特性深度解析打造工业级配置管理掌握了基础用法我们来看看Boost.Program_options如何解决更复杂的需求。4.1 多值选项与向量参数有时一个选项需要接受多个值比如指定多个扫描端口或文件列表。这通过po::valuestd::vectorT()来实现并且通常需要-multitoken()修饰符来告知解析器该选项可以接受多个令牌。po::options_description desc(高级示例); desc.add_options() (files,f, po::valuestd::vectorstd::string()-multitoken(), 输入文件列表) (ports, po::valuestd::vectorunsigned short()-multitoken()-default_value(std::vectorunsigned short{80, 443}, “80,443”), “待检测端口列表”) ; // 使用示例 // ./program --files a.txt b.txt c.log --ports 22 80 8080 3306解析后vm[“files”]和vm[“ports”]就是std::vector你可以直接遍历它们。注意事项multitoken()选项必须放在命令行的最后或者后面紧跟另一个选项标识--或-因为解析器会将其后的所有非选项参数都收集为该选项的值直到遇到下一个选项标识或命令行结束。例如--files a.txt b.txt --ports 80b.txt会被正确识别为--files的值--ports则开始新的选项。4.2 配置文件支持从文件读取配置这是Boost.Program_options的杀手级功能之一。你可以让程序从INI风格的配置文件中读取选项并与命令行参数无缝融合且命令行参数的优先级通常更高可以覆盖配置文件中的设置。po::options_description config_desc(配置文件选项); config_desc.add_options() (“server.host”, po::valuestd::string()-default_value(“localhost”), “服务器主机名”) (“server.port”, po::valueint()-default_value(8080), “服务器端口”) (“log.level”, po::valuestd::string()-default_value(“info”), “日志级别”) ; std::string config_file “config.ini”; po::variables_map vm; // 先尝试从配置文件读取 try { std::ifstream ifs(config_file.c_str()); if (ifs) { po::store(po::parse_config_file(ifs, config_desc), vm); } } catch (const po::error e) { std::cerr “配置文件解析错误: ” e.what() std::endl; return 1; } // 再用命令行参数覆盖命令行优先级高 po::options_description cmdline_desc; cmdline_desc.add(config_desc); // 包含配置文件的所有选项 cmdline_desc.add_options() // 还可以添加一些仅命令行的选项 (“config,c”, po::valuestd::string(config_file), “指定配置文件路径”) // 动态指定配置文件 (“help,h”, “显示帮助”); try { po::store(po::parse_command_line(argc, argv, cmdline_desc), vm); po::notify(vm); } catch (const po::error e) { std::cerr “命令行参数错误: ” e.what() “\n\n” cmdline_desc std::endl; return 1; }配置文件config.ini内容如下server.hostapi.example.com server.port9000 log.leveldebug运行程序时./program会使用配置文件中的值。而./program --server.port 7070则会用命令行参数7070覆盖配置文件中的9000。4.3 环境变量支持对于一些全局性的、不常改变的设置如代理地址、API密钥前缀从环境变量读取是个好选择。使用po::parse_environment函数。po::options_description desc; desc.add_options() (“proxy-url”, po::valuestd::string(), “代理服务器地址”) ; // 将选项名映射到环境变量名。这里设置环境变量MYAPP_PROXY_URL对应选项proxy-url po::variables_map vm; po::store(po::parse_environment(desc, “MYAPP_”), vm); po::notify(vm);在运行程序前设置环境变量export MYAPP_PROXY_URLhttp://proxy:8080程序启动时就会自动读取。4.4 自定义验证器内置的类型转换int,double,std::string等可能不够用。例如你需要验证一个端口号在1-65535之间或者一个IP地址格式是否合法。这时就需要自定义验证器。自定义验证器通常通过子类化po::validators::check_first_occurrence和po::validators::get_single_string或者更简单地在po::value之后使用-notifier()来注入验证逻辑。void validate_port(const int port) { if (port 1 || port 65535) { throw po::validation_error(po::validation_error::invalid_option_value, “port”, std::to_string(port)); } } // 在选项声明中使用 desc.add_options() (“port,p”, po::valueint()-default_value(80)-notifier(validate_port), “监听端口 (1-65535)”) ;当notify()被调用且port选项的值被成功转换后validate_port函数会被调用。如果验证失败抛出po::validation_error异常会被外层的try-catch捕获。4.5 选项分组与隐藏选项对于拥有大量选项的程序将选项分组可以极大提升帮助信息的可读性。po::options_description general(“通用选项”); general.add_options() (“help,h”, “显示此帮助信息”) (“version,v”, “显示版本信息”) ; po::options_description config(“配置选项”); config.add_options() (“input,i”, po::valuestd::string()-required(), “输入文件”) (“output,o”, po::valuestd::string(), “输出文件”) ; po::options_description advanced(“高级选项”); advanced.add_options() (“threads”, po::valueint()-default_value(4), “工作线程数”) (“buffer-size”, po::valuesize_t()-default_value(4096), “缓冲区大小”) ; po::options_description cmdline_options; cmdline_options.add(general).add(config).add(advanced); // 打印帮助时会按组显示 std::cout cmdline_options std::endl;有时有些选项是内部使用的、不希望出现在帮助信息里比如调试标志。你可以创建另一个options_description对象不将其添加到最终用于打印帮助的cmdline_options中但在解析时仍然包含它。po::options_description hidden(“隐藏选项”); hidden.add_options() (“secret-token”, po::valuestd::string(), “内部令牌”) ; po::options_description all; all.add(cmdline_options).add(hidden); // 解析时用all // 但打印帮助时只用 cmdline_options5. 实战构建一个支持多源配置的命令行工具现在我们将所有知识融合构建一个模拟的、功能相对完整的应用配置管理器。这个工具将从命令行、配置文件和环境变量中读取配置并实现优先级覆盖命令行 环境变量 配置文件 默认值。5.1 项目结构设计假设我们开发一个数据处理器data_processor它需要以下配置输入/输出输入文件路径、输出目录。处理参数并发线程数、批处理大小。网络设置API端点、请求超时。日志设置日志文件路径、日志级别。功能开关启用缓存、详细模式。我们将设计以下优先级逻辑命令行参数具有最高优先级。其次是从环境变量DP_前缀读取。最后从~/.config/data_processor.conf或由--config指定的文件读取。如果都未提供则使用程序内定义的默认值。5.2 完整实现代码#include iostream #include fstream #include string #include vector #include boost/program_options.hpp #include boost/filesystem.hpp // 用于路径处理 namespace po boost::program_options; namespace fs boost::filesystem; struct AppConfig { std::string input_file; std::string output_dir “./output”; // 默认值 int threads 4; size_t batch_size 1024; std::string api_endpoint “http://localhost:8080”; int timeout_sec 30; std::string log_file “processor.log”; std::string log_level “INFO”; bool enable_cache false; bool verbose false; }; int main(int argc, char* argv[]) { AppConfig config; std::string config_file; bool show_version false; // 1. 定义所有可能的选项分组 po::options_description generic(“通用选项”); generic.add_options() (“help,h”, “显示此帮助信息”) (“version,V”, po::bool_switch(show_version), “显示版本信息”) (“config,c”, po::valuestd::string(config_file)-default_value(“~/.config/data_processor.conf”), “指定配置文件路径”) ; po::options_description io(“输入/输出选项”); io.add_options() (“input,i”, po::valuestd::string(config.input_file)-required(), “输入数据文件 (必需)”) (“output,o”, po::valuestd::string(config.output_dir), “输出目录”) ; po::options_description process(“处理选项”); process.add_options() (“threads,j”, po::valueint(config.threads)-default_value(4), “并发处理线程数 (默认: 4)”) (“batch-size”, po::valuesize_t(config.batch_size)-default_value(1024), “批处理大小 (默认: 1024)”) ; po::options_description network(“网络选项”); network.add_options() (“api”, po::valuestd::string(config.api_endpoint), “远程API端点地址”) (“timeout”, po::valueint(config.timeout_sec), “网络请求超时(秒)”) ; po::options_description log(“日志选项”); log.add_options() (“log-file”, po::valuestd::string(config.log_file), “日志文件路径”) (“log-level”, po::valuestd::string(config.log_level), “日志级别 (DEBUG, INFO, WARN, ERROR)”) ; po::options_description feature(“功能开关”); feature.add_options() (“cache”, po::bool_switch(config.enable_cache), “启用结果缓存”) (“verbose,v”, po::bool_switch(config.verbose), “启用详细输出到控制台”) ; // 合并用于命令行的选项不含隐藏选项 po::options_description cmdline_options; cmdline_options.add(generic).add(io).add(process).add(network).add(log).add(feature); // 合并用于配置文件的选项注意配置文件不支持短格式且格式不同 po::options_description config_file_options; config_file_options.add(io).add(process).add(network).add(log).add(feature); // 配置文件中的选项名通常不带短格式且支持点分隔符这里我们统一用长格式名。 // 合并用于环境变量的选项需要前缀映射 po::options_description env_options; env_options.add(io).add(process).add(network).add(log).add(feature); // 2. 解析顺序为 默认值 - 配置文件 - 环境变量 - 命令行 po::variables_map vm; // 2.1 首先设置默认值已经在AppConfig结构体和default_value中定义 // 2.2 解析配置文件 try { fs::path config_path(config_file); if (config_path.string().find(“~/”) 0) { // 简单处理家目录实际项目建议用boost::filesystem或环境变量 const char* home getenv(“HOME”); if (home) { config_path fs::path(home) / config_path.string().substr(2); } } if (fs::exists(config_path)) { std::ifstream ifs(config_path.string()); if (ifs) { // parse_config_file 会自动处理 keyvalue 格式 po::store(po::parse_config_file(ifs, config_file_options, true /*允许不认识的选项*/), vm); } } } catch (const std::exception e) { std::cerr “警告: 读取配置文件时出错 - ” e.what() std::endl; } // 2.3 解析环境变量 (前缀 “DP_”) try { // 这个函数将选项名转为大写加上前缀然后去环境变量中查找。 // 例如 --api 对应环境变量 DP_API。 po::store(po::parse_environment(env_options, “DP_”), vm); } catch (const po::error e) { std::cerr “警告: 解析环境变量时出错 - ” e.what() std::endl; } // 2.4 最后解析命令行优先级最高会覆盖之前的设置 try { po::store(po::parse_command_line(argc, argv, cmdline_options), vm); po::notify(vm); // 最终检查特别是required项 } catch (const po::error e) { std::cerr “错误: ” e.what() “\n\n”; std::cerr “用法:\n” cmdline_options std::endl; return 1; } // 3. 处理通用选项 if (vm.count(“help”)) { std::cout “数据处理器 v1.0\n\n”; std::cout “用法: ” argv[0] “ [选项]\n\n”; std::cout cmdline_options std::endl; return 0; } if (show_version) { std::cout “数据处理器 v1.0.0” std::endl; return 0; } // 4. 验证必需参数虽然notify会检查但这里可以给出更友好的提示 if (config.input_file.empty()) { // 由于required()理论上不会为空但双重检查更安全 std::cerr “错误: 必须通过 --input (-i) 指定输入文件。\n”; std::cerr “使用 --help 查看完整用法。” std::endl; return 1; } // 5. 应用配置启动程序 std::cout “ 启动配置 ” std::endl; std::cout “输入文件: ” config.input_file std::endl; std::cout “输出目录: ” config.output_dir std::endl; std::cout “工作线程: ” config.threads std::endl; std::cout “批处理大小: ” config.batch_size std::endl; std::cout “API端点: ” config.api_endpoint std::endl; std::cout “请求超时: ” config.timeout_sec “秒” std::endl; std::cout “日志文件: ” config.log_file “ [” config.log_level “]” std::endl; std::cout “结果缓存: ” (config.enable_cache ? “启用” : “禁用”) std::endl; std::cout “详细模式: ” (config.verbose ? “开启” : “关闭”) std::endl; std::cout “” std::endl; // ... 实际的业务逻辑从这里开始 ... std::cout “\n开始处理数据...” std::endl; return 0; }5.3 关键实现细节与避坑指南配置文件的路径处理示例中简单处理了~家目录。在生产环境中建议使用boost::filesystem进行更健壮的路径操作并考虑跨平台兼容性Windows没有HOME环境变量而是USERPROFILE。parse_config_file的第三个参数true表示允许配置文件中存在options_description未声明的键值对。这在你希望配置文件能兼容不同版本的程序时有用忽略未知选项但也会隐藏拼写错误。通常建议设为false以严格检查。环境变量前缀映射parse_environment的第二个参数是前缀。它会将选项名转为大写并替换-为_然后加上前缀。例如--log-level对应环境变量DP_LOG_LEVEL。注意短格式选项如-v无法通过环境变量设置。选项值的内存绑定注意我们在声明选项时大量使用了po::valueT(config.member)的形式。这是将选项值直接存储到AppConfig结构体的对应成员中而不是先存到variables_map再提取。这样做更直接但notify()的调用时机至关重要它负责触发这些绑定变量的赋值。我们的调用顺序配置文件-环境变量-命令行确保了命令行参数具有最终赋值权。bool_switch与指针绑定po::bool_switch(config.verbose)直接将布尔开关的状态绑定到变量。当该标志出现在命令行时config.verbose会被设为true。这种方式比通过vm.count(“verbose”)判断更简洁。6. 常见问题、调试技巧与性能考量即使掌握了基本用法在实际项目中还是会遇到一些坑。这里记录一些常见问题和处理技巧。6.1 常见问题排查表问题现象可能原因解决方案编译链接错误undefined reference to boost::program_options::...没有链接Boost.Program_options库。确保编译命令包含-lboost_program_options。对于CMake项目使用find_package(Boost REQUIRED COMPONENTS program_options)和target_link_libraries(your_target Boost::program_options)。运行时崩溃或boost::bad_any_cast从variables_map中提取值的类型T与声明时po::valueT的T不匹配。仔细检查asT()中的T类型。对于std::string、int等基础类型要一致。使用自定义类型时确保提供了正确的流操作符()。必需参数(required())已提供但notify()仍报错1. 参数可能通过配置文件或环境变量提供但解析顺序有误被后续的空命令行覆盖。2. 选项名拼写错误大小写、短格式/长格式。1. 检查并确保解析顺序是默认值 - 配置文件 - 环境变量 - 命令行。2. 使用vm.count(“option_name”)打印检查或直接输出variables_map的内容调试。multitoken()选项行为异常multitoken选项没有放在命令行末尾其后的参数被误认为是该选项的值。确保multitoken选项是命令行的最后一个选项或者在其后使用--显式终止选项解析。例如./app --files a b c -- --other-arg。帮助信息格式混乱或选项描述不对齐控制台宽度不够或者选项描述太长。Boost.Program_options会自动格式化。如果仍有问题可以创建options_description时指定宽度如po::options_description desc(“Options”, 100, 50)总宽100描述缩进50。从配置文件读取的布尔值无效配置文件中布尔值的书写格式。parse_config_file期望的布尔值是1/0、true/false、on/off、yes/no不区分大小写。确保配置文件中的值符合这些格式。6.2 调试技巧窥探variables_map当解析逻辑复杂不确定最终生效的值是什么时可以直接遍历variables_map来调试。std::cout “ 调试: variables_map 内容 ” std::endl; for (const auto it : vm) { std::cout “” it.first “ “; auto value it.second.value(); if (auto str_ptr boost::any_caststd::string(value)) { std::cout *str_ptr; } else if (auto int_ptr boost::any_castint(value)) { std::cout *int_ptr; } else if (auto bool_ptr boost::any_castbool(value)) { std::cout (*bool_ptr ? “true” : “false”); } else if (auto vec_ptr boost::any_caststd::vectorstd::string(value)) { std::cout “[“; for (const auto v : *vec_ptr) std::cout v “ “; std::cout “]”; } else { std::cout “(未知类型)”; } std::cout std::endl; } std::cout “” std::endl;6.3 性能考量与最佳实践Boost.Program_options在解析阶段parse_command_line会有一定的开销因为它需要做字符串匹配、类型转换和存储。但对于绝大多数命令行工具和后台服务这个开销在启动时发生一次是完全可以接受的。性能优化的关键点不在这里而在你的业务逻辑。最佳实践总结尽早解析一次解析在main函数开始处解析所有参数并将它们存储在一个全局或传递到各处的配置结构体中。避免在程序运行中反复解析。善用默认值为大多数选项提供合理的默认值降低用户使用门槛。清晰的帮助信息利用分组和良好的描述让--help输出成为最好的使用文档。统一的错误处理用try-catch包裹store和notify给用户统一的、友好的错误提示并打印帮助信息。考虑使用配置类/结构体如示例中的AppConfig将分散的选项值集中管理更易于传递和序列化。对于超大型参数集如果真的有成百上千个选项考虑按功能模块拆分成多个独立的options_description对象甚至支持动态加载子命令的选项类似于git add,git commit这需要更复杂的设计但Boost.Program_options的组件化特性可以支持。回过头看从手写strcmp循环到使用Boost.Program_options不仅仅是代码行数的减少更是工程思维的一次升级。它将配置管理从一个“问题”变成了一个“可声明、可组合、可扩展”的架构模块。下次当你启动一个新的C项目需要处理外部参数时不妨直接引入Boost.Program_options它会让你从第一天起就拥有一个稳健、可维护的配置基础设施。
双梁正问题 【 torch 实战】（Python代码实现）)
