Среда выполнения 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> {};

См. также

Расширения компонентов для .NET и UWP