Среда выполнения Windows и управляемые шаблоны (C++/CLI и C++/CX)
Шаблоны позволяют определять прототип среды выполнения Windows или тип среды CLR, а затем создавать варианты этого типа с помощью разных параметров типа шаблонов.
Все среды выполнения
Шаблоны можно создавать из типов значений и ссылочных типов. Дополнительные сведения о создании типов значений и ссылочных типов см. в статье ref class и ref struct (C++/CLI и C++/CX).
Дополнительные сведения о стандартных шаблонах классов C++ см. в статье Class Templates (Шаблоны классов).
Среда выполнения Windows
(Отсутствуют комментарии для этой возможности языка, которая применяется только в среде выполнения Windows).
Требования
Параметр компилятора: /ZW
Среда CLR
На создание шаблонов класса из управляемых типов существует несколько ограничений, которые показаны в следующих примерах кода.
Требования
Параметр компилятора: /clr
Примеры
Экземпляр универсального типа можно создать с помощью параметра шаблона управляемого типа, но создать экземпляр управляемого шаблона с помощью параметра шаблона универсального типа невозможно. Это связано с тем, что универсальные типы разрешаются во время выполнения. Дополнительные сведения см. в статье Универсальные и обычные шаблоны (C++/CLI).
// managed_templates.cpp
// compile with: /clr /c
generic<class T>
ref class R;
template<class T>
ref class Z {
// Instantiate a generic with a template parameter.
R<T>^ r; // OK
};
generic<class T>
ref class R {
// Cannot instantiate a template with a generic parameter.
Z<T>^ z; // C3231
};
Универсальный тип или функция не могут быть вложены в управляемый шаблон.
// managed_templates_2.cpp
// compile with: /clr /c
template<class T> public ref class R {
generic<class T> ref class W {}; // C2959
};
Доступ с помощью синтаксиса языка C++/CLI к шаблонам, определенным в сборке, на которую существует ссылка, получить нельзя, но можно использовать отражение. Если шаблон не создается, он не создается в метаданных. При создании экземпляра шаблона в метаданных появляются только функции-члены, на которые существуют ссылки.
// managed_templates_3.cpp
// compile with: /clr
// Will not appear in metadata.
template<class T> public ref class A {};
// Will appear in metadata as a specialized type.
template<class T> public ref class R {
public:
// Test is referenced, will appear in metadata
void Test() {}
// Test2 is not referenced, will not appear in metadata
void Test2() {}
};
// Will appear in metadata.
generic<class T> public ref class G { };
public ref class S { };
int main() {
R<int>^ r = gcnew R<int>;
r->Test();
}
Управляемый модификатор класса можно изменить в частичной или явной специализации шаблона класса.
// managed_templates_4.cpp
// compile with: /clr /c
// class template
// ref class
template <class T>
ref class A {};
// partial template specialization
// value type
template <class T>
value class A <T *> {};
// partial template specialization
// interface
template <class T>
interface class A<T%> {};
// explicit template specialization
// native class
template <>
class A <int> {};