Контейнерная декларация с шаблоном

Question

Что означают эти два утверждения? Это просто две инициализации или что-то еще?

template <class T, size_t N> class array; 
template <class T, class Alloc = allocator<T>> class deque; 

Answer 1

Как вы дали два известных класса, то есть array & deque, так что вы можете рассказать вам подробно о значении этого синтаксиса. Это потому, что мы знаем, как они реализованы.

Первый случай: инструкция говорит, что программисту нужны два входа для создания объекта типа array. Для Ex: -

array<int, 5> a; // creates an array of 5(ie N) integers(ie T) 

Мы можем прокомментировать эту вещь, потому что мы знаем, что array есть. Аналогично для deque мы можем иметь: -

deque<int, SomeAllocator> d;  // creates a deque container of integers(ie T) having a custom allocator named SomeAllocator (which must be an allocator of integers) 

Как вы новичок, так что было бы лучше, если бы вы только предположить allocator как другой класс, который будет allocate пространства, create объектов, destroy объектов & наконец deallocate пространства.

Еще раз отметим, что мы знаем, что такое deque. Однако, если вы пишете что-то вроде: -

template <class T, size_t N> class A; 
template <class T, class Alloc = allocator<T>> class D; 

Затем код будет просто означать две декларации, где A принимает 2 параметра в <> parenthesis: тип данных один (означает любой тип как int, double или some class и т.д.) & один size_t тип & D также принимает 2 параметра: один тип данных (снова любой тип) & a allocator этого типа данных.

Answer 2

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