Стенли Липпман - Язык программирования C++. Пятое издание

extern template объявление; // объявление создания экземпляра

template объявление; // определение создания экземпляра

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

// объявление и определение создания экземпляра

extern template class Blob; // объявление

template int compare(const int&, const int&); // определение

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

Поскольку компилятор автоматически создает экземпляр шаблона при его использовании, объявление externдолжно располагаться перед любым кодом, который использует этот экземпляр:

// Application.cc

// экземпляры этих шаблонов должны быть созданы

// в другом месте программы

extern template class Blob;

extern template int compare(const int&, const int&);

Blob sa1, sa2; // экземпляр создается в другом месте

// экземпляры Blob и его конструктор initializer_list создаются

// в этом файле

Blob a1 = {0,1,2,3,4,5,6,7,8,9};

Blob a2(a1); // экземпляр конструктора копий

// создается в этом файле

int i = compare(a1[0], а2[0]); // экземпляр создается в другом месте

Файл Application.oбудет создавать экземпляр класса Blobнаряду с его конструктором initializer_listи конструктором копий. Экземпляры функции compareи класса Blobне будут созданы в этом файле. Определения этих шаблонов должны быть в каком-то другом файле программы:

// templateBuild.cc

// файл создания экземпляра должен предоставить обычное определение для

// каждого типа и функции, которые другие файлы объявляют внешними

template int compare(const int&, const int&);

template class Blob; // создает экземпляры всех членов

// шаблона класса

В отличие от объявления, когда компилятор видит определение экземпляра, он создает код. Таким образом, файл templateBuild.oбудет содержать определения функции compare()для экземпляра типа intи класса Blob. При построении приложения следует скомпоновать файл templateBuild.oс файлом Application.o.

Для каждого объявления экземпляра где-нибудь в программе должно быть определение явного создания экземпляра.

Определение экземпляра для шаблона класса создает экземпляры всех членов этого шаблона, включая встраиваемые функции-члены. Когда компилятор видит определение экземпляра, он не может знать, какие функции-члены использует программа. Следовательно, в отличие от обычного способа создания экземпляра шаблона класса, компилятор создает экземпляры всех членов этого класса. Даже если член класса не будет использоваться, его экземпляр будет создан все равно. Следовательно, явное создание экземпляра можно использовать только для таких типов, которые применимы со всеми членами данного шаблона.

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

Упражнение 16.25. Объясните значение этих объявлений:

extern template class vector;

template class vector;

Упражнение 16.26. Предположим, что класс NoDefaultне имеет стандартного конструктора. Можно ли явно создать экземпляр vector? Если нет, то почему?

Упражнение 16.27. Объясните по каждому помеченному оператору, происходит ли создание экземпляра. Если создается экземпляр шаблона, объясните, почему; если нет, то тоже почему.

template class Stack { };

void f1(Stack); // (a)

class Exercise {

Stack &rsd; // (b)

Stack si; // (c)

};

int main() {

Stack *sc; // (d)

f1(*sc); // (e)

int iObj = sizeof(Stack); // (f)

}