Читаем Программирование. Принципы и практика использования C++ Исправленное издание полностью

Fixed_array x2; // ошибка: неконстантный шаблонный аргумент

<p id="AutBody_Root627"><strong>A.13.1. Шаблонные аргументы</strong></p>

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

vector v1;   // OK

vector v2;        // ошибка: пропущен шаблонный аргумент

vector v3; // ошибка: слишком много шаблонных аргументов

vector<2> v4;     // ошибка: ожидается тип шаблонного аргумента

Аргументы шаблонной функции обычно выводятся из ее аргументов.

template

T find(vector& v, int i)

{

 return v[i];

}

vector v1;

vector v2;

// ...

int x1 = find(v1,2); // здесь тип T — это int

int x2 = find(v2,2); // здесь тип T — это double

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

template T* make(const U& u) { return new T(u); }

int* pi = make(2);

Node* pn = make(make_pair("hello",17));

Этот код работает, только если объект класса Node можно инициализировать объектом класса pair (раздел Б.6.3). Из механизма явной конкретизации шаблонной функции можно исключать только замыкающие шаблонные аргументы (которые будут выведены). 

<p id="AutBody_Root628"><strong>A.13.2. Конкретизация шаблонов</strong></p>

Вариант шаблона для конкретного набора шаблонных аргументов называется специализацией (specialization). Процесс генерации специализаций на основе шаблона и набора аргументов называется конкретизацией шаблона (template instantiation). Как правило, эту задачу решает компилятор, но программист также может самостоятельно определить отдельную специализацию. Обычно это делается, когда общий шаблон для конкретного набора аргументов неприемлем. Рассмотрим пример.

template struct Compare { // общее сравнение

  bool operator(const T& a,const T& b) const

  {

    return a

  }

};

template<> struct Compare { // сравнение C-строк

  bool operator(const char* a,const char* b) const

  {

    return strcmp(a,b)==0;

  }

};

Compare c2;          // общее сравнение

Compare c;   // сравнение С-строк

bool b1 = c2(1,2);        // общее сравнение

bool b2 = c("asd","dfg"); // сравнение С-строк

Аналогом специализации для функций является перегрузка.

template bool compare(const T& a,const T& b)

{

  return a

}

bool compare (const char* a, const char* b) // сравнение С-строк

{

  return strcmp(a,b)==0;

}

bool b3 = compare(2,3);         // общее сравнение

bool b4 = compare("asd","dfg"); // сравнение С-строк

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

<p id="AutBody_Root629"><strong>A.13.3. Шаблонные типы членов-классов</strong></p>

Шаблон может иметь как члены, являющиеся типами, так и члены, не являющиеся типами (как данные-члены и функции-члены). Это значит, что в принципе трудно сказать, относится ли имя члена к типу или нет. По техническим причинам, связанным с особенностями языка программирования, компилятор должен знать это, поэтому мы ему должны каким-то образом передать эту информацию. Для этого используется ключевое слово typename. Рассмотрим пример.

template struct Vec {

  typedef T value_type; // имя члена

static int count;       // данное-член

  // ...

};

template void my_fct(Vec& v)

{

  int x = Vec::count; // имена членов по умолчанию

                         // считаются относящимися не к типу

  v.count = 7;           // более простой способ сослаться

                         // на член, не являющийся типом

Перейти на страницу:

Похожие книги

97 этюдов для архитекторов программных систем
97 этюдов для архитекторов программных систем

Успешная карьера архитектора программного обеспечения требует хорошего владения как технической, так и деловой сторонами вопросов, связанных с проектированием архитектуры. В этой необычной книге ведущие архитекторы ПО со всего света обсуждают важные принципы разработки, выходящие далеко за пределы чисто технических вопросов.?Архитектор ПО выполняет роль посредника между командой разработчиков и бизнес-руководством компании, поэтому чтобы добиться успеха в этой профессии, необходимо не только овладеть различными технологиями, но и обеспечить работу над проектом в соответствии с бизнес-целями. В книге более 50 архитекторов рассказывают о том, что считают самым важным в своей работе, дают советы, как организовать общение с другими участниками проекта, как снизить сложность архитектуры, как оказывать поддержку разработчикам. Они щедро делятся множеством полезных идей и приемов, которые вынесли из своего многолетнего опыта. Авторы надеются, что книга станет источником вдохновения и руководством к действию для многих профессиональных программистов.

Билл де Ора , Майкл Хайгард , Нил Форд

Программирование, программы, базы данных / Базы данных / Программирование / Книги по IT
Программирование. Принципы и практика использования C++ Исправленное издание
Программирование. Принципы и практика использования C++ Исправленное издание

Специальное издание самой читаемой и содержащей наиболее достоверные сведения книги по C++. Книга написана Бьярне Страуструпом — автором языка программирования C++ — и является каноническим изложением возможностей этого языка. Помимо подробного описания собственно языка, на страницах книги вы найдете доказавшие свою эффективность подходы к решению разнообразных задач проектирования и программирования. Многочисленные примеры демонстрируют как хороший стиль программирования на С-совместимом ядре C++, так и современный -ориентированный подход к созданию программных продуктов. Третье издание бестселлера было существенно переработано автором. Результатом этой переработки стала большая доступность книги для новичков. В то же время, текст обогатился сведениями и методиками программирования, которые могут оказаться полезными даже для многоопытных специалистов по C++. Не обойдены вниманием и нововведения языка: стандартная библиотека шаблонов (STL), пространства имен (namespaces), механизм идентификации типов во время выполнения (RTTI), явные приведения типов (cast-операторы) и другие. Настоящее специальное издание отличается от третьего добавлением двух новых приложений (посвященных локализации и безопасной обработке исключений средствами стандартной библиотеки), довольно многочисленными уточнениями в остальном тексте, а также исправлением множества опечаток. Книга адресована программистам, использующим в своей повседневной работе C++. Она также будет полезна преподавателям, студентам и всем, кто хочет ознакомиться с описанием языка «из первых рук».

Бьерн Страуструп , Бьёрн Страуструп , Валерий Федорович Альмухаметов , Ирина Сергеевна Козлова

Программирование, программы, базы данных / Базы данных / Программирование / Учебная и научная литература / Образование и наука / Книги по IT

Все жанры