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

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，我必须能够以某种方式提取参数，而且除了声明内部类型定义之外，我没有办法做到这一点。

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

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;
}