Как определить, получен ли тип из класса шаблона?

Как определить, получен ли тип из класса шаблона? В частности, мне нужно определить, имеет ли параметр шаблона std::basic_ostream как базовый класс. Обычно std::is_base_of является инструментом для задания. Однако std::is_base_of работает только для полных типов, а не для шаблонов классов.

Я ищу что-то вроде этого.

template< typename T >
bool is_based_in_basic_ostream( T&& t )
{
   if( std::is_base_of< std::basic_ostream< /*anything*/>, T >::value )
   {
      return true;
   }
   else
   {
      return false;
   }
}

Я уверен, что это можно сделать, я не могу думать, как это сделать.

Ответ 1

Я не знаю короткого и краткого пути. Но вы можете злоупотреблять перегрузкой снова

template< typename T, typename U >
std::true_type is_based_impl( std::basic_ostream<T, U> const volatile& );
std::false_type is_based_impl( ... );

template< typename T >
bool is_based_in_basic_ostream( T&& t ) {
  return decltype(is_based_impl(t))::value;
}

Он будет обнаруживать только публичное наследование. Обратите внимание, что вы можете вместо этого определять вывод из ios_base, который может работать для вас одинаково хорошо (этот тест также будет положительным для входных потоков, поэтому он ограничен только применительно)

std::is_base_of<std::ios_base, T>

Ответ 2

Возможно, что-то вроде Boost is_instance_of, что вы после?

http://www.boost.org/doc/libs/1_46_1/boost/lambda/detail/is_instance_of.hpp

Вот короткая версия для шаблонов с одним аргументом:

#include <iostream>
#include <type_traits>

template <template <typename> class F>
struct conversion_tester
{
        template <typename T>
        conversion_tester (const F<T> &);
};

template <class From, template <typename> class To>
struct is_instance_of
{
        static const bool value = std::is_convertible<From,conversion_tester<To>>::value;
};

template <typename T>
struct foo {};

template <typename T>
struct bar {};

int main()
{
        std::cout << is_instance_of<foo<int>,foo>::value << '\n'; // This will print '1'.
        std::cout << is_instance_of<bar<int>,foo>::value << '\n'; // This will print '0'.
}

К сожалению, если вы попытаетесь распространить это на вариативные шаблоны, то с помощью текущего GCC (4.6.0) оно выдает сообщение об ошибке. Этот ответ SO подразумевает, что в настоящее время это проблема GCC и что версия вариационного шаблона должна работать в соответствии со стандартом.