boost program_options 的自定义验证器不适用于 GCC，但适用于 MSVC

Question

假设我想对整数选项进行特殊处理。根据文档，我必须编写自己的验证函数。考虑以下短程序。

#include <iostream>
#include <vector>
#include <string>

#include <boost/program_options.hpp>

namespace po = boost::program_options;

namespace boost { namespace program_options {
template <class charT>
void validate(boost::any& v, const std::vector<std::basic_string<charT> >& xs, unsigned int*, int)
{
    std::cout << "validate is redefined" << std::endl;
    // do something else
}
}}

int main(int argc, char* argv[])
{
    po::options_description cmdLineOptions;
    po::variables_map vm;

    unsigned int v;
    const char* args[] = {"tst", "-k", "10"};

    cmdLineOptions.add_options()
        ("key,k", po::value<unsigned int>(&v)->required())
      ;

    po::store(po::command_line_parser(sizeof(args) / sizeof(args[0]), args).options(cmdLineOptions).run(), vm);
    po::notify(vm);

    std::cout << v << '\n';

    return 0;
}

它在 VS 2013 中完美运行并输出

validate is redefined
10

在 GCC 中，它从不进入 validate 函数。

证明：http://coliru.stacked-crooked.com/a/fd558ebf987a4bbe

如果我尝试使用自定义类型而不是 unsigned int，GCC 无论如何都会尝试使用来自 program_option 的验证，最终会出现一堆错误。

我做错了什么？

Answer 1

初步预感，考虑使用

BOOST_STRONG_TYPEDEF(unsigned int, Unsigned);

只在内置类型上自定义行为似乎是个坏主意。

---

解决方案：它与偏序有关。

如果您将重载移到 boost::program_options 命名空间之外，它将开始工作（因为它不再与基本模板竞争）。

Live On Coliru

#include <iostream>
#include <vector>
#include <string>

#include <boost/any.hpp>
#include <boost/serialization/strong_typedef.hpp>
#include <boost/program_options.hpp>

BOOST_STRONG_TYPEDEF(unsigned, Unsigned)

template<class charT>
    void validate(boost::any& v, 
            const std::vector< std::basic_string<charT> >& xs, 
            Unsigned* p, int)
    {
        std::cout << "validate is redefined" << std::endl;
        // do something else
    }

namespace po = boost::program_options;

int main()
{
    po::options_description cmdLineOptions;
    po::variables_map vm;

    Unsigned v;
    const char* args[] = {"tst", "-k", "10"};

    cmdLineOptions.add_options()
        ("key,k", po::value<Unsigned>(&v)->required())
      ;

    po::store(po::command_line_parser(sizeof(args) / sizeof(args[0]), args).options(cmdLineOptions).run(), vm);
    po::notify(vm);

    std::cout << v << '\n';

    return 0;
}

---

原因可能是 MSVC 著名的损坏的两阶段查找

• Two phase lookup - explanation needed