Язык программирования C++. Вводный курс




Вложенные типы шаблонов классов - часть 2


типом int не означает автоматической конкретизации и класса QueueItem<int>. Члены front и back – это указатели на QueueItem<int>, а если объявлены только указатели на некоторый тип, то конкретизировать соответствующий класс не обязательно, хотя QueueItem вложен в шаблон класса Queue. QueueItem<int>

конкретизируется только тогда, когда указатели front или back

разыменовываются в функциях-членах класса Queue<int>.

Внутри шаблона класса можно также объявлять перечисления и определять типы (с помощью typedef):

template <class Type, int size>

class Buffer:

public:

   enum Buf_vals { last = size-1, Buf_size };

   typedef Type BufType;

   BufType array[ size ];

   // ...

}

Вместо того чтобы явно включать член Buf_size, в шаблоне класса Buffer

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

Buffer<int, 512> small_buf;

устанавливает Buf_size в 512, а last – в 511. Аналогично

Buffer<int, 1024> medium_buf;

устанавливает Buf_size в 1024, а last – в 1023.

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

// ошибка: какая конкретизация Buffer?

Buffer::Buf_vals bfv0;

Buffer<int,512>::Buf_vals bfv1;  // правильно

Это правило применимо и тогда, когда во вложенном типе не используются параметры включающего шаблона:

template <class T> class Q {

public:

   enum QA { empty, full };   // не зависит от параметров

   QA status;

   // ...

};

#include <iostream>

int main() {

   Q<double> qd;

   Q<int> qi;

   qd.status = Q::empty;  // ошибка: какая конкретизация Q?

   qd.status = Q<double>::empty;  // правильно

   int val1 = Q<double>::empty;

   int val2 = Q<int>::empty;

   if ( val1 != val2 )

      cerr << "ошибка реализации!" << endl;

   return 0;

}

Во всех конкретизациях Q

значения empty

одинаковы, но при ссылке на empty необходимо указывать, какому именно экземпляру Q

принадлежит перечисление.

Упражнение 16.8

Определите класс List и вложенный в него ListItem из раздела 13.10 как шаблоны. Реализуйте аналогичные определения для ассоциированных членов класса.




Содержание  Назад  Вперед