Параметры шаблона шаблона в стандартной библиотеке C++?

Question

Какие шаблоны (если есть) в стандартной библиотеке C++ имеют один или несколько параметров шаблона шаблона?

Если их много, то несколько примеров в порядке.

Если версия C++ имеет значение, то рекомендуется использовать последний проект C++ 14/C++ 1y.

Answer 1

Я не знаю каких-либо шаблонов в стандартной библиотеке C++, которые заданы для принятия шаблона шаблона, но в C++ 11 есть хотя бы один стандартный шаблон, который имеет частичную специализацию с шаблоном параметр шаблона: std::pointer_traits. std::pointer_traits<Ptr>::element_type указано:

Ptr::element_type если такой тип существует; в противном случае T, если Ptr - это экземпляр шаблона класса формы SomePointer<T, Args>, где Args - это ноль или более аргументов типа; в противном случае специализация плохо сформирована.

Для реализации этого вам нужен параметр шаблона шаблон для SomePointer, потому что это может быть шаблон произвольного класса (до тех пор, как он только имеет тип параметров шаблона, чтобы быть точным). Ниже приведена частная специализация класса вспомогательных классов libstdC++:

template<template<typename, typename...> class _SomePtr, typename _Tp, 
      typename... _Args> 
    struct __ptrtr_elt_type<_SomePtr<_Tp, _Args...>, false> 
    { 
     typedef _Tp __type; 
    };