|
泛型编程
泛型程序设计（英文：generic programming）是程序设计语言的一种风格或范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。各种程序语言和其编译器、运行环境对泛型的支持均不同。Ada、Delphi、Eiffel、Java、C#、F#、Swift 和 Visual Basic .NET 称之为泛型（generics）；ML、Scala 和 Haskell 称之为参数多态（parametric polymorphism）；C++ 和 D称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型（parameterized type）。 泛型的定義及目的泛型的定義主要有以下兩種：
不論使用哪個定義，泛型的參數在真正使用泛型時都必須作出指明。 一些强類型程序語言支持泛型，其主要目的是加强類型安全及减少類转换的次数，但一些支持泛型的程序語言只能達到部份目的。 偽代碼例子類 例泛類<T> {
值 : T
設置值(新值 : T) {
值 := 新值
}
獲取值() : T {
返回 值
}
}
例方法1() {
例物件 : 例泛類<整數型>
例物件 := 新 例泛類<整數型>()
例物件.設置值(5)
輸出整數(例物件.獲取值())
}
例方法2() {
例物件 : 例泛類<浮點數型>
例物件 := 新 例泛類<浮點數型>()
例物件.設置值(5.5)
輸出浮點數(例物件.獲取值())
}
在這例子中， 運行這例子的 一些程序语言的泛型特性.NET 的泛型.NET 泛型的参数只可以代表类，不能代表个别对象。由于 .NET 泛型的类型参数之实际类型在运行时均不会被消除，运行速度会因为类型转换的次数减少而加快。另外，使用 using System;
// 定義一個泛型列表類，T 表示類型參數
public class GenericList<T>
{
private T[] _items; // 存儲列表items的數組
private int _count; // 列表中items的計數
// 構造函數，初始化列表的容量
public GenericList(int capacity)
{
_items = new T[capacity];
_count = 0;
}
// 添加item到列表中
public void Add(T item)
{
if (_count < _items.Length)
{
_items[_count] = item;
_count++;
}
else
{
Console.WriteLine("List capacity reached."); // 列表容量已滿
}
}
// 根據索引獲取列表中的item
public T GetItem(int index)
{
if (index >= 0 && index < _count)
{
return _items[index];
}
else
{
throw new IndexOutOfRangeException("Index out of range."); // 索引超出範圍
}
}
}
public class Program
{
public static void Main()
{
// 創建一個存儲整數的泛型列表
GenericList<int> intList = new GenericList<int>(3);
intList.Add(1);
intList.Add(2);
intList.Add(3);
Console.WriteLine(intList.GetItem(1)); // 輸出: 2
// 創建一個存儲字符串的泛型列表
GenericList<string> stringList = new GenericList<string>(2);
stringList.Add("Hello");
stringList.Add("World");
Console.WriteLine(stringList.GetItem(0)); // 輸出: Hello
}
}
在上面的例子中展示了一個簡單的泛型列表類 .NET 允許對個別泛型的類型參數進行約束，包括以下幾種形式[1]（假設
Java 的泛型Java 泛型的参数只可以代表类，不能代表个别对象。由于Java泛型的类型参数之实际类型在编译时会被消除，所以无法在运行时得知其类型参数的类型，而且无法直接使用基本值类型作为泛型类型参数。Java编译程序在编译泛型时会自动加入类型转换的编码，故运行速度不会因为使用泛型而加快。 由于运行时会消除泛型的对象实例类型信息等缺陷经常被人詬病，Java及JVM的开发方面也尝试解决这个问题，例如：Java通过在生成字节码时添加类型推导辅助信息，从而可以通过反射接口获得部分泛型信息；通过改进泛型在JVM的实现，使其支持基本值类型泛型和直接获得泛型信息等。 Java允許對個別泛型的類型參數進行約束，包括以下兩種形式[2]（假設
C++的泛型（模板）C++ 泛型的参数可以代表类或个别对象。在一般意义上，C++ 缺乏对泛型的类型参数进行直接约束的手段，但可利用 SFINAE（模板代换失败非错误，指在模板实例化过程中的错误仅意味此次代换失败，并不一定产生编译错误）规则及 C++11 的 static_assert 等实现相似功能。 #include <type_traits>
class B{
...
};
class D: public B{
...
};
template<typename T>
void SFINAE(const std::enable_if_t<std::is_base_of<B, T>::value, T> &t);
template<typename T>
void STATIC_ASSERT(const T &t){
static_assert(std::is_pod<T>::value, "Use with POD types only!");
}
如上所示，std::enable_if（std::enable_if_t<boolean, Type> 是 std::enable_if<boolean, Type>::type 的缩写）利用 SFINAE 规则来实现模板类型参数约束的手段之一。其实现方式是若布尔判断为假，则把类型设为 void，而这将导致 const void & 这种不合法的类型出现，从而禁止这种类型参数的使用。 static_assert 则在布尔判断失败时把后面的字符串作为消息内容报告为编译错误。 在编译时，每个被使用的封闭泛型类型（即是所有泛型参数的实际类型都已被指明的泛型）都会有独立的编码产生，编译程序会在此时确保类型安全性。可是如果泛型要运用其泛型参数的某成员，而该泛型参数又不包含该成员的时候，编译程序所产生的错误信息或会看似与实际问题无关，增加除错的难度。 数据源
參考文獻
延伸閱讀
外部連結
|
