c++ - 提升程序选项 : does custom validator require overloading operator>>?

Question

在example (regex.cpp)，该库的作者创建了一个自定义结构 (magic_number) 和该结构的验证函数，以展示如何将自定义结构集成到程序选项中。我按照他的示例为自定义类 (MyClass) 创建了一个验证函数。编译器提示 lexical_cast 不适用于 MyClass。然后我实现了 std::istream& operator>>(std::istream& in, MyClass& d) , 已删除 void validate(.., MyClass*, ..) ，代码编译。谁能解释为什么这个例子不需要 operator>> , 而我的不需要 validate ？

编辑:

#include <MyLib/MyClass.h>

std::istream& operator>>(std::istream& in, MyClass& obj) {
    // some code to populate obj
    return in;
}


po::variables_map parseCommandLine(int argc, char* argv[]) {

    po::options_description options("Options");
    options.add_options()
        ("help", "produce help message")
        ("obj", po::value<MyClass>(), "")
        ;
    po::variables_map vm;
    store(po::command_line_parser(argc, argv)
        .options(options).run(), vm);
    notify(vm);

    return vm;
}

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

    try {
        po::variables_map vm = parseCommandLine(argc, argv);

        MyClass obj = vm["my"].as<MyClass>();

        cout << obj << endl;
    } catch(std::exception& e) {
        cout << e.what() << "\n";
        return 1;
    }   
    return 0;
}

• 代码无需验证即可编译。

我还尝试对 regex.cpp 进行最小更改:

1. 删除 magic_number
2. 添加#include <MyLib/MyClass.h>
3. 用 MyClass 替换所有出现的 magic_number。
4. 注释掉验证中的所有代码。
5. 这不会编译。

编辑:添加validate .它们都没有解决编译器错误。

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

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

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

编辑:它可能与命名空间有关。

在我用 namespace boost { namespace program_options { }} 包围验证函数之后，编译后的代码没有重载 op>>。如果将 validate 放入与 MyClass 相同的命名空间中，它也可以工作。谁能解释一下？

Answer 1

您面临的基本问题是 C++ 不提供任何工具来将字符串转换为任意用户对象(我的意思是无需编写任何代码)。

为了解决这个问题，program_options 提供了两种可能性:

• 你实现了 operator>>，这是标准的 C++ 实现方式，但它可能会对其他一些领域产生影响(即你可能希望以特定方式解析你的对象，除了命令行)。在内部，boost::lexical_cast 用于实现转换，如果找不到 op>> 将抛出错误。
• 您实现 validate 函数，该函数特定于 program_options 但对选项管理之外没有影响。

我猜它使用模板元编程来确定您是否提供了 validate，否则它将默认为 lexical_cast。

我无法帮助您为什么您尝试使用 validate 失败，因为您没有提供它的代码。

不过，这是一个工作示例:

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

namespace po = boost::program_options;

namespace lib {
   class MyClass
    {
    public:
        int a;
    };

    void validate(boost::any& v,
                  const std::vector<std::string>& values,
                  MyClass*, int)
    {
        po::validators::check_first_occurrence(v);
        const string& s = po::validators::get_single_string(values);
        v = boost::any(MyClass { boost::lexical_cast<int>(s) } );
    }
}


po::variables_map parseCommandLine(int argc, char* argv[])
{
    po::options_description options("Options");
    options.add_options()
        ("help", "produce help message")
        ("obj", po::value<lib::MyClass>(), "")
        ;
    po::variables_map vm;
    store(po::command_line_parser(argc, argv)
        .options(options).run(), vm);
    notify(vm);

    return vm;
}

int main(int argc, char* argv[])
{
    try {
        po::variables_map vm = parseCommandLine(argc, argv);
        lib::MyClass obj = vm["obj"].as<lib::MyClass>();
        cout << obj.a << endl;
    } catch(std::exception& e) {
        cout << e.what() << "\n";
        return 1;
    }
    return 0;
}

• 更新

有了命名空间，类和验证都必须属于同一个命名空间。