使用 boost::optional 提升 program_options

Question

我正在尝试使用boost::program_options编写一个 CLI 到使用大量boost::optional参数的现有代码库，所以我想从命令行解析boost::optional 。 如果没有指定，结果是boost::none ，如果指定了，我会得到一个初始化值。

当我尝试使用自定义 Boost 验证器执行此操作时，我收到bad_any_cast 。 下面是问题的 MCVE。

我有一堂课

class MyClass {                                                                                                     
public:                                                                                                       
    int x;                                                                                                    
    MyClass(const int a) : x(a) {};                                                                                                                                                                                                                                                                                              
};    

和这个类的自定义 Boost 验证器。 这种风格的验证器直接取自 boost 文档。

void validate(boost::any& v, const std::vector<std::string>& values,                                          
          MyClass* target_type, int) {                                                                          

    v = boost::any(boost::optional<MyClass>(boost::in_place(1)));                                                   
}

最后，我的 main 函数，它创建了一个简单的解析器。

#include <boost/program_options.hpp>                                                                          
#include <boost/optional.hpp>                                                                                 
#include <boost/optional/optional_io.hpp>                                                                     
#include <boost/utility/in_place_factory.hpp> 

int main(int argc, char** argv) {                                                                             
    po::options_description desc("");                                                                         
    desc.add_options()                                                                                        
        ("MyClass", po::value<boost::optional<MyClass>>()->default_value(boost::none, ""), "MyClass");        

    po::variables_map args;                                                                                   

    po::store(po::parse_command_line(argc, argv, desc), args);                                                

}   

当我没有在命令行上传递--MyClass选项时，代码运行成功。 但是，如果我通过--MyClass选项，我会得到一个bad_any_cast

terminate called after throwing an instance of 'boost::exception_detail::clone_impl<boost::exception_detail::error_info_injector<boost::bad_any_cast> >'
  what():  boost::bad_any_cast: failed conversion using boost::any_cast

我逐步完成了 GDB，这被抛出到MyClass any_cast ，但是如果我在boost::program_options之外编写类似的代码，它会成功运行。

例如，以下代码将相同的boost::optional为boost::any然后将其转换回，运行时没有错误。

#include <iostream>                                                                                           
#include <boost/program_options.hpp>                                                                          
#include <boost/optional.hpp>                                                                                 
#include <boost/optional/optional_io.hpp>                                                                     
#include <boost/utility/in_place_factory.hpp>                                                                 

namespace po = boost::program_options;                                                                        

class MyClass {                                                                                              
public:                                                                                                       
    int x;                                                                                                    
    MyClass(const int a) : x(a) {};                                                                           
};                                                                                                            

int f(boost::any& v) {                                                                                        
    v = boost::any(boost::optional<MyClass>(boost::in_place(1)));                                             
}                                                                                                             


int main(int argc, char** argv) {                                                                             

    boost::any v;                                                                                             
    f(v);                                                                                                     
    boost::any_cast<boost::optional<MyClass>>(v);                                                             
}    

我知道program_options支持default_value所以我可以使用 if 语句在解析后将基值包装在一个可选中，但我认为使用上面的自定义验证器方法来实现这一点会更清晰。

有没有人对如何解决这个问题有任何想法或建议？

Answer 1

验证功能不采用可选。 类型参数 ( target_type ) 是MyClass* ，而不是optional<MyClass>* ，这一事实暗示了这一点。 文档

该函数有四个参数。 第一个是值的存储，在这种情况下，要么是空的，要么包含一个 magic_number 类的实例。 第二个是在选项的下一次出现中找到的字符串列表。 需要剩下的两个参数来解决某些编译器缺少部分模板特化和部分函数模板排序的问题。

这是我的看法：

住在 Coliru

#include <boost/optional.hpp>
#include <boost/optional/optional_io.hpp>
#include <boost/program_options.hpp>
#include <boost/utility/in_place_factory.hpp>
#include <iostream>
#include <string>

namespace po = boost::program_options;

struct MyClass {
    int x;
    MyClass(int a) : x(a){};

    friend std::ostream& operator<<(std::ostream& os, MyClass const& mc) {
        return os << "MyClass(" << mc.x << ")";
    }
};

void validate(boost::any &v, const std::vector<std::string> &values, MyClass * /*target_type*/, int) {
    v = MyClass(std::stoi(values.front()));
}

int main(int argc, char **argv) {
    po::options_description desc("");
    desc.add_options()("MyClass", po::value<boost::optional<MyClass> >()->default_value(boost::none, ""), "MyClass");

    po::variables_map args;
    store(parse_command_line(argc, argv, desc), args);
    notify(args);

    std::cout << "Arg: " << args["MyClass"].as<boost::optional<MyClass> >() << "\n";
}

对于：

./a.out --MyClass 42
./a.out --MyClass no_chill
./a.out

版画

+ ./a.out --MyClass 42
Arg:  MyClass(42)
+ ./a.out --MyClass no_chill
terminate called after throwing an instance of 'std::invalid_argument'
  what():  stoi
+ ./a.out
Arg: --

奖金

从文档中获取提示，我认为您可以使它更优雅：

int main(int argc, char **argv) {
    po::options_description desc("");

    boost::optional<MyClass> my_option;
    desc.add_options()("MyClass", po::value(&my_option), "MyClass");

    po::variables_map args;
    store(parse_command_line(argc, argv, desc), args);
    notify(args);

    std::cout << "Arg: " << my_option << "\n";
}

删除所有容易出错的重复类型和名称。 注意：这不适用于低于 1.65 的 boost 版本，并且用户将在编译时看到来自“lexical_cast.hpp”的静态断言错误（请参阅 1.65 的发行说明）。

住在 Coliru

还是一样的输出。