c c++ go python java 泛型

什么是泛型

泛型的本质是类型参数化或参数化类型,在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型。

c

c语言本身没用泛型的说法但是可以通过编程技巧实现泛型。

例如通过无类型指针void*

void swap(void *vp1,void *vp2,int size){  
      char buffer[size];//注意此处gcc编译器是允许这样声明的
      memcpy(buffer,vp1,size);  
      memcpy(vp1,vp2,size);  
      memcpy(vp2,buffer,size);  
}  

int x = 27,y = 2;  
swap(&x,&y,sizeof(int));

C++

C++ 的泛型编程是基于模板实现的

函数模板

template <class 形参名,class 形参名,......> 返回类型 函数名(参数列表)
{
    函数体
}

例如: template <class T> void swap(T& a, T& b){},

类模板

template<class  形参名,class 形参名,…>   class 类名
{ ... };

例如:template<class T> class A{public: T a; T b; T hy(T c, T &d);};

python

Python解释器不强制执行函数和变量类型注解。但它们可以被第三方工具使用,例如类型检查器,IDE等。

定义一个泛型类型T,并约束它的类型为int,str(有点疑惑约束为和必须填两个参数?),并将a、b参数和函数返回值类型均设置为T。
from typing import TypeVar
T = TypeVar('T', int, str)
def add(a: T, b: T) -> T:
	return a + b

java

泛型函数

  • 所有泛型方法声明都有一个类型参数声明部分(由尖括号分隔),该类型参数声明部分在方法返回类型之前(在下面例子中的)。
  • 每一个类型参数声明部分包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。
  • 类型参数能被用来声明返回值类型,并且能作为泛型方法得到的实际参数类型的占位符。
  • 泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型,不能是原始类型(像int,double,char的等)。

public class GenericMethodTest
{
   // 泛型方法 printArray                         
   public static < E > void printArray( E[] inputArray )
   {
      // 输出数组元素            
         for ( E element : inputArray ){        
            System.out.printf( "%s ", element );
         }
         System.out.println();
    }
 
    public static void main( String args[] )
    {
        // 创建不同类型数组: Integer, Double 和 Character
        Integer[] intArray = { 1, 2, 3, 4, 5 };
        Double[] doubleArray = { 1.1, 2.2, 3.3, 4.4 };
        Character[] charArray = { 'H', 'E', 'L', 'L', 'O' };
 
        System.out.println( "整型数组元素为:" );
        printArray( intArray  ); // 传递一个整型数组
 
        System.out.println( "\n双精度型数组元素为:" );
        printArray( doubleArray ); // 传递一个双精度型数组
 
        System.out.println( "\n字符型数组元素为:" );
        printArray( charArray ); // 传递一个字符型数组
    } 
}

泛型类

泛型类的声明和非泛型类的声明类似,除了在类名后面添加了类型参数声明部分


public class Box<T> {
   
  private T t;
 
  public void add(T t) {
    this.t = t;
  }
 
  public T get() {
    return t;
  }
 
  public static void main(String[] args) {
    Box<Integer> integerBox = new Box<Integer>();
    Box<String> stringBox = new Box<String>();
 
    integerBox.add(new Integer(10));
    stringBox.add(new String("xzw"));
 
    System.out.printf("整型值为 :%d\n\n", integerBox.get());
    System.out.printf("字符串为 :%s\n", stringBox.get());
  }
}

go

目前版本go还没有支持泛型,可能后续版本会加入。

评论

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×