如何使用模板化函数作为Boost::Unit-test的自定义谓词

Question

我试图为BOOST_CHECK_PREDICATE构建一个自定义谓词，其中谓词本身是一个模板化函数。我的示例如下:

#define BOOST_TEST_MODULE Module
#define BOOST_TEST_MAIN
#include <boost/test/unit_test.hpp>
// custom predicate
template <typename U, typename V>
bool is_close_enough(const U& a, const V& b)
{
    return std::abs(a-b) < 2.0;
}
BOOST_AUTO_TEST_SUITE(boostUnitTestLearningTests)
BOOST_AUTO_TEST_CASE(Test_Templated_Predicate)
{
    BOOST_CHECK_PREDICATE(is_close_enough, (4)(6));
    BOOST_CHECK_PREDICATE(is_template_close_enough, (4.0)(6.5));
}
BOOST_AUTO_TEST_SUITE_END()

用MS Visual c++ 2010编译会产生以下错误:

3>..boost_testtestSystem.cpp(42):错误C2780: 'bool .boost:: test_tools:: tt_detail:: check_frwd (Pred, constboost:: unit_test:: lazy_ostream, boost:: test_tools:: constrongtring size_t, boost:: test_tools:: tt_detail: tool_level boost:: test_tools:: tt_detail: check_type, constArg0 &，const char *，const Arg1 &，const char *，const Arg2 &，const Arg3 &，const char *，const Arg4 &，const char *)':期望16个参数-提供10个参数3>
C:Boostinclude Boost -1_51 Boost/test/test_tools.hpp(523):见声明'boost::test_tools::tt_detail::check_frwd'3>..boost_testtestSystem.cpp(42):错误C2780: 'boolboost:: test_tools:: tt_detail:: check_frwd (Pred, constboost:: unit_test:: lazy_ostream, boost:: test_tools:: constrongtring size_t, boost:: test_tools:: tt_detail: tool_level boost:: test_tools:: tt_detail: check_type, constArg0 &，const char *，const Arg1 &，const char *，const Arg2 &ampC:Boostinclude Boost -1_51 Boost/test/test_tools.hpp(523):见声明'boost::test_tools::tt_detail::check_frwd'3>..boost_testtestSystem.cpp(42):错误C2780: 'boolboost:: test_tools:: tt_detail:: check_frwd (Pred, constboost:: unit_test:: lazy_ostream, boost:: test_tools:: constrongtring size_t, boost:: test_tools:: tt_detail: tool_level boost:: test_tools:: tt_detail: check_type, constArg0 &，const char *，const Arg1 &，const char *，const Arg2 &)':期望12个参数-提供10个参数3> C:Boostinclude Boost -1_51 Boost/test/test_tools.hpp(523):见声明'boost::test_tools::tt_detail::check_frwd'3>..boost_testtestSystem.cpp(42):错误C2896: 'boolboost:: test_tools:: tt_detail:: check_frwd (Pred, constboost:: unit_test:: lazy_ostream, boost:: test_tools:: constrongtring size_t, boost:: test_tools:: tt_detail: tool_level boost:: test_tools:: tt_detail: check_type, constArg0 &，const char *，const Arg1 &，const char *)':不能使用function模板'bool is_close_enough(const U &，const V &)'作为函数参数3> ..boost_testtestSystem.cpp(18):见boost_testtestSystem.cpp(42):错误C2784: 'bool boost::test_tools::tt_detail::check_frwd(Pred,constboost:: unit_test:: lazy_ostream, boost:: test_tools:: constrongtring size_t, boost:: test_tools:: tt_detail: tool_level boost:: test_tools:: tt_detail: check_type, constArg0 &，const char *，const Arg1 &，const char *)':无法推断来自'overloaded '的'重载函数类型'的模板参数函数类型' 3>
C:Boostinclude Boost -1_51 Boost/test/test_tools.hpp(523):见声明'boost::test_tools::tt_detail::check_frwd'3>..boost_testtestSystem.cpp(42):错误C2780: 'boolboost:: test_tools:: tt_detail:: check_frwd (Pred, constboost:: unit_test:: lazy_ostream, boost:: test_tools:: constrongtring size_t, boost:: test_tools:: tt_detail: tool_level boost:: test_tools:: tt_detail: check_type, constArg0 &，const char *)':期望8个参数-提供10个

你知道我哪里做错了吗?

Answer 1

在Visual Studio 2012和g++ 4.8.1上的Boost 1.53.0下可以正常工作。我认为，如果你想使用模板化的函数，你需要显式地指定模板参数。由于这个原因，我更倾向于使用函子的解。

#define BOOST_TEST_MODULE Module
#define BOOST_TEST_MAIN
#include <boost/test/unit_test.hpp>

template <typename U, typename V>
bool is_close_enough(const U& a, const V& b)
{
    return std::abs(a-b) < 2.0;
}
struct is_close_enough_functor
{
    template <typename U, typename V>
    bool operator()(const U& a, const V& b) const
    {
        return std::abs(a-b) < 2.0;
    }
};

BOOST_AUTO_TEST_SUITE(boostUnitTestLearningTests)
BOOST_AUTO_TEST_CASE(Test_Templated_Predicate)
{
    BOOST_CHECK_PREDICATE((is_close_enough<int,int>), (4)(6)); //extra parentheses needed to avoid a problem with the comma inside the macro
    BOOST_CHECK_PREDICATE(is_close_enough_functor(), (4)(6));
    BOOST_CHECK_PREDICATE(is_close_enough_functor(), (4.0)(6.5));
}
BOOST_AUTO_TEST_SUITE_END()