Почему вы не можете создать шаблон шаблона?

Question

В C++ существует 2 типа шаблонов (насколько мне известно): классы шаблонов и функции шаблона. Почему шаблон шаблона невозможен? (будь то класс, функция или другой шаблон). Было ли это когда-либо рассмотрено в стандартах? Разрывает ли он синтаксис/дух Си ++? Я знаю, это может показаться сумасшедшим, и легко обойти.

Что можно с C++:

template<bool b> 
class TemplateDependingOnBool 
{ 
public: 
    template<typename T> 
    class TheTemplateWeWant{}; 
} 

Что было бы здорово:

template<bool b> 
template<typename T> 
class TheTemplateWeWant{}; 

и назвать его в стиле на основе политик (что, где это действительно интересно):

template<typename T, template<typename> class ThePolicy = TheTemplateWeWant<true> > 
class Foo {}; 

Способ, который теперь можно использовать, - использовать:

template<typename T, 
    template<typename> class ThePolicy = TemplateDependingOnBool<true>::TheTemplateWeWant > 
class Foo{}; 

который не очень элегантный.

EDIT:
Я знаю, что могу шаблон на 2 параметров. Цель состоит в том, чтобы использовать базовый шаблонный шаблон (шаблонный шаблон) как нечто само собой, будь то в шаблоне или в шаблоне (как показано в моем примере). Основанный на политике дизайн является ссылкой на Modern C++ Design Andrei Alexandrescu, что является основной причиной, почему функция, которую я прошу, может быть полезна (поскольку шаблоны используются в качестве параметров шаблона).

Answer 1

С C++ 11 вы ошибаетесь, предполагая только два типа шаблонов. Есть также type aliases которые позволяют

template <bool b, typename T> 
class TheTemplateWeWant { ... }; 

template<typename T> 
using ThePolicy = TheTemplateWeWant<true, T> 

Answer 2

Насколько я знаю, вы просто знаете, что это так, и оно работает так, как вы хотите - класс с шаблонами с двумя параметрами.

template<bool b, typename T> 
class TheTemplateWeWant{}; //valid in C++ 

Answer 3

Если я понять, что вы спрашиваете, правильно (и я не совсем ясно, на ваш вопрос), то вы можете написать шаблон с двумя параметрами:

template <bool b, typename T> 
class TheTemplateWeWant { ... }; 

добавить metafunction частично применять bool:

template <bool b> 
struct PartiallyWant { 
    template <typename T> 
    using type = TheTemplateWeWant<b, T>; 
}; 

, а затем передать его в качестве политики:

template<typename T, 
     template<typename> class ThePolicy = PartiallyWant<true>::type > 
class Foo { ... }; 

Foo<char, PartiallyWant<false>::type> foo; 

---

Так почему бы не просто наложить шаблоны, как вы предлагаете? Простой ответ: нет причин. Если TheTemplateWeWant имеет два параметра шаблона (bool b и typename T, независимо от того, является ли это «внутренним» классом или нет), тогда мы должны выразить это как таковое. И если мы хотим применять только один тип или другой, это то, что имеет меньше случаев использования, чем общий шаблон, а также разрешимо всего несколькими строками шаблона. Кроме того, что, если бы у нас была такая функция, и теперь я хочу частично применить T вместо b? С несколькими строками шаблона я могу снова выполнить одно и то же, но с расслоением это было бы невозможно.

Answer 4

То, что вы описываете, является частичной привязкой параметров , так же как std::bind может превратить двоичную функцию в унарную функцию.

Для метапрограммирующего безумия есть Boost.MPL. У них есть шаблон boost::mpl::bind.