Question

如果基类不是模板，我当然可以使用is_base。但是，当它是，我只是没有看到任何方式来一般匹配任何派生类型。这是我的意思的基本例子：

#include <boost/mpl/bool.hpp>

template < typename T >
struct test_base
{
};

template < typename T >
struct check : boost::mpl::false_ {};

template < typename T >
struct check<test_base<T> > : boost::mpl::true_ {};

struct test_derived : test_base<int> {};

#include <iostream>
int main() 
{
  std::cout << check<test_derived>::value << std::endl;
  std::cin.get();
}

我希望它返回true_而不是false_。真实示例有7个模板参数，大多数默认，并使用Boost.Parameter按名称引用它们。为了使用is_base，我必须能够以某种方式提取参数，并且我没有办法在声明内部typedef时做到这一点。

我认为这是不可能的。希望被证明是错误的。

Answer 1

您只需稍微调整一下您的测试：

#include <iostream>
#include <boost/mpl/bool.hpp>

template < typename T >
struct test_base
{
};

template < typename T >
struct check_
{
    template<class U>
    static char(&do_test(test_base<U>*))[2];
    static char(&do_test(...))[1];
    enum { value = 2 == sizeof do_test(static_cast<T*>(0)) };
};

template < typename T >
struct check : boost::mpl::bool_<check_<T>::value> {};

struct test_derived : test_base<int> {};

int main()
{
  std::cout << check<test_derived>::value << std::endl;
}

是否可以在模板特化中匹配模板化基础？

1 个答案: