如何捕获boost::program_options异常？现有捕获方式失效问题

捕获失效的原因 #

你的catch(const std::exception &e)没捕获到异常，大概率是以下两种情况之一：

1. 解析代码未被try块包裹：如果调用po::parse_command_line、po::store或po::notify的代码不在try块范围内，异常自然无法被捕获。这是最常见的疏忽。
2. Boost编译选项异常：极少数情况下，若编译Boost时关闭了BOOST_EXCEPTION_ENABLE_STD_EXCEPTIONS宏，boost::exception会失去与std::exception的兼容性，导致无法通过标准异常类型捕获。不过该选项默认是开启的，除非你手动修改过编译配置。

正确捕获所有Program Options异常的方法 #

推荐以下几种捕获方式，按实用性排序：

1. 捕获库内统一基类boost::program_options::error #

所有Program Options模块抛出的异常都继承自boost::program_options::error（它本身继承自std::runtime_error），直接捕获这个基类是最精准且简洁的方式：

try {
    // 这里放命令行解析代码：
    // po::options_description desc("允许的选项");
    // desc.add_options()("opt", ...);
    // po::variables_map vm;
    // po::store(po::parse_command_line(argc, argv, desc), vm);
    // po::notify(vm);
} catch (const boost::program_options::error& e) {
    std::cerr << "命令行解析错误：" << e.what() << std::endl;
    return 1;
}

2. 同时捕获标准异常与Boost异常 #

如果需要兼顾其他可能的异常（比如Boost其他模块抛出的异常），可以同时捕获两类异常：

try {
    // 命令行解析代码
} catch (const std::exception& e) {
    std::cerr << "错误：" << e.what() << std::endl;
    return 1;
} catch (const boost::exception& e) {
    std::cerr << "Boost异常详情：" << boost::diagnostic_information(e) << std::endl;
    return 1;
}

3. 针对特定异常类型捕获 #

如果需要对不同异常做差异化处理，可以直接捕获具体的boost::wrapexcept模板实例：

try {
    // 命令行解析代码
} catch (const boost::wrapexcept<boost::program_options::unknown_option>& e) {
    std::cerr << "错误：未知选项" << std::endl;
} catch (const boost::wrapexcept<boost::program_options::invalid_command_line_syntax>& e) {
    std::cerr << "错误：命令行语法不正确" << std::endl;
}

Program Options异常类层级结构 #

Boost Program Options的异常类都基于标准异常体系，层级如下：

• std::exception
  • std::runtime_error
    • boost::program_options::error（模块内所有异常的根类）
      • boost::program_options::unknown_option（输入未定义的选项）
      • boost::program_options::ambiguous_option（选项匹配到多个定义）
      • boost::program_options::invalid_command_line_syntax（命令行语法错误，如缺少参数）
      • boost::program_options::invalid_option_value（选项值不符合要求）
      • boost::program_options::missing_option（必填选项未提供）
      • boost::program_options::multiple_values（选项被重复赋值，但仅允许一次）
      • boost::program_options::required_option（必填选项缺失）

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