泛型和模板的比较----源自MSDN

本文主要是介绍泛型和模板的比较----源自MSDN，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

泛型和模板的比较----源自MSDN

在我的《主流编程语言优劣考》一文中，有不少朋友对我把“模板”和“泛型”这2个概念作为2个不同的事务来看待有异议。

我告诉他们，在MSDN的C++/CLI中就有这样的定义。他们不信。

唉！我就搞不懂了。为什么有些人会这么在意观点、定义的出处呢？

难道不是名人说的，就肯定不是真理吗？难道权威就一定正确吗？

在这里我把MSDN的原文拿出来给那些朋友看。

出自

http://msdn.microsoft.com/zh-cn/library/sbh15dya(en-us,VS.80).aspx

MSDN

MSDN 主页
MSDN 技术资源库
MSDN 学习
MSDN 下载
MSDN 支持
MSDN 社区

MSDN Library

开发工具和语言
.NET 开发
Office Development
SQL Server
Windows Live
技术文章

Visual Basic

C++

JScript

XAML

This page is specific to

Microsoft Visual Studio 2005/.NET Framework 2.0

Other versions are also available for the following:

.NET Framework 3.0
Microsoft Visual Studio 2008/.NET Framework 3.5

Visual C++ Language Reference

Generics and Templates

Generics and templates are both language features that provide support for parameterized types. However, they are different and have different uses. This topic provides an overview of the many differences.

For more information, see Managed Templates and Templates Overview.

Comparing Templates and Generics

Key differences between generics and C++ templates:

· Generics are generic until the types are substituted for them at runtime. Templates are specialized at compile time so they are not still parameterized types at runtime

· The common language runtime specifically supports generics in MSIL. Because the runtime knows about generics, specific types can be substituted for generic types when referencing an assembly containing a generic type. Templates, in contrast, resolve into ordinary types at compile time and the resulting types may not be specialized in other assemblies.

· Generics specialized in two different assemblies with the same type arguments are the same type. Templates specialized in two different assemblies with the same type arguments are considered by the runtime to be different types.

· Generics are generated as a single piece of executable code which is used for all reference type arguments (this is not true for value types, which have a unique implementation per value type). The JIT compiler knows about generics and is able to optimize the code for the reference or value types that are used as type arguments. Templates generate separate runtime code for each specialization.

· Generics do not allow non-type template parameters, such as template <int i> C {}. Templates allow them.

· Generics do not allow explicit specialization (that is, a custom implementation of a template for a specific type). Templates do.

· Generics do not allow partial specialization (a custom implementation for a subset of the type arguments). Templates do.

· Generics do not allow the type parameter to be used as the base class for the generic type. Templates do.

· Generics do not allow type parameters to have default values. Templates do.

· Templates support template-template parameters (e.g. template<template<class T> class X> class MyClass), but generics do not.

Combining Templates and Generics

· The basic difference in generics has implications for building applications that combine templates and generics. For example, suppose you have a template class that you want to create a generic wrapper for to expose that template to other languages as a generic. You cannot have the generic take a type parameter that it then passes though to the template, since the template needs to have that type parameter at compile time, but the generic won't resolve the type parameter until runtime. Nesting a template inside a generic won't work either because there's no way to expand the templates at compile time for arbitrary generic types that could be instantiated at runtime.

Example

The following example shows a simple example of using templates and generics together. In this example, the template class passes its parameter through to the generic type. The reverse is not possible.

This idiom could be used when you want to build on an existing generic API with template code that is local to a Visual C++ assembly, or when you need to add an extra layer of parameterization to a generic type, to take advantage of certain features of templates not supported by generics.

复制代码

// templates_and_generics.cpp

// compile with: /clr

using namespace System;

generic <class ItemType>

ref class MyGeneric {

   ItemType m_item;

public:

   MyGeneric(ItemType item) : m_item(item) {}

   void F() {

      Console::WriteLine("F");

};

template <class T>

public ref class MyRef {

MyGeneric<T>^ ig;

public:

   MyRef(T t) {

      ig = gcnew MyGeneric<T>(t);

      ig->F();

};

int main() {

   // instantiate the template

   MyRef<int>^ mref = gcnew MyRef<int>(11);

Output

Compiling the above, and calling CreateMutableCollection and CreateImmutableCollection from another assembly, always (in my case - I'm not sure the heuristics the compiler used) chose MyCollection<Element^, Mutable>, so it appears that the compiler only instantiates the template once, and uses that instantiation for all references. Shame, as this would be a useful combination of the two techniques, allowing (internally) manufacturing implementations of a generic interface using templates.