用于测试对象是否与提升范围兼容的元函数

Question

是否有一个元函数类，或者你会如何编写一个元函数类来测试一个类是否与boost::range兼容？我想使用boost::enable成语，例如

template <typename T>
Constructor::Constructor(const T& t, __attribute__((unused)) typename boost::enable_if<is_range_compatible<T> >::type* aux=NULL)

以获得适当的is_range_compatible元函数。我知道pretty_print is_container，它捕获了很多案例，但不是所有适用于boost::range.

编辑 这是使用 C++03，所以我无法访问 C++11 功能。我使用的是旧的 gcc 4.1 和 boost 1.51。

Answer 1

你是说enable_if吗？

如果你能说服 Boost 概念检查有效地使用它(而不是它现在使用的宏 + 编译错误(，那么已经提供了像ForwardConceptRange这样的检查。

否则，改用现有的BOOST_CONCEPT_ASSERT宏是否有问题？

Answer 2

如果你升级到 Boost 1.54，有一个不错的库叫做 TTI。它允许您随意组合类型特征内省元函数，以便您可以轻松地剥离自己的元谓词，这些元谓词可用于启用或禁用函数模板。虽然这是一个很好的元编程练习，但我不建议在生产代码中这样做。我发现很难捕捉到STL容器实现细节产生的"漏报"。例如，MSVC11 附带的关联容器从基类继承其begin和end成员函数，基类通过 BOOST_TTI_HAS_MEMBER_FUNCTION 生成的元谓词产生误报。尽管有他的绰号，但无用给了你一个很好的建议：使用 Boost.Range 附带的概念来拒绝或接受函数模板主体中的类型，例如示例中的构造函数......当然，这不会解决您Constructor的可兑换性问题......

编辑：示例，取自 vex：

#include <boost/tti/has_member_function.hpp>
#include <vector>
#include <map>
namespace tti_test {
    BOOST_TTI_HAS_MEMBER_FUNCTION(begin);
    // .. begin test class for mstest
    // this succeeds in both variants
    TEST_METHOD(has_const_member_function_begin_is_true_for_vector)
    {
        Assert::IsTrue(has_member_function_begin<
            std::vector<int>::const_iterator (std::vector<int>::*)() const
        >::value);
        Assert::IsTrue(has_member_function_begin<
            const std::vector<int>, std::vector<int>::const_iterator
        >::value);
    }
    // this fails in both variants...
    TEST_METHOD(has_const_member_function_begin_is_true_for_map)
    {
        Assert::IsTrue(has_member_function_begin<
            std::map<int, int>::const_iterator (std::map<int, int>::*)() const
        >::value);
        Assert::IsTrue(has_member_function_begin<
            const std::map<int, int>, std::map<int, int>::const_iterator
        >::value);
    }
    // end test class for mstest
}