泛型是什么?为什么要使用泛型?

我们在编写程序时,经常遇到两个模块的功能非常相似,只是一个是处理int型数据,另一个是处理String类型数据,或者其它自定义类型数据,但是我们没有办法,只能分别写多个方法处理每种数据类型,因为方法的参数类型不同。有没有一种办法,在方法中传入通用的数据类型,这样不就可以合并代码了吗?泛型的出现就是专门解决这个问题的。


为什么要使用泛型

为了了解这个问题,我们先看下面的代码,代码省略了一些内容,但功能是实现一个栈,这个栈只能处理int数据类型:

public class Stack

{

     private int[] m_item;

     public int pop(){...}

     public void Push(int item){...}

     public Stack(int i)

     {

          this.m_item = new int[i];

     }

}

上面的代码运行得很好,但是,当我们需要一个栈来保存String类型时,该怎么办呢?很多人就想到把上面的代码复制一份,把int改成String不就行了。当然,这样做本身是没有任何问题的,但一个优秀的程序员是不会这样做的,因为他想到若以后再需要long、Node类型的栈该怎么做呢?还要再复制吗?优秀的程序员会想到用一个通用的数据类型Object来实现这个栈:


public class Stack

    {

        private object[] m_item;

        public object Pop(){...}

        public void Push(object item){...}

        public Stack(int i)

        {

            this.m_item = new[i];

        }

      }

这个栈写得不错,它非常灵活,可以接收任何数据类型,可以说是一劳永逸。但全面地讲,也不是没有缺陷的,主要表现在:

当Stack处理值类型时,会出现装箱、拆箱操作,但将用到的数据类型的强制转换操作,增加处理器的负担。

在数据类型的强制转换上还有更严重的问题(假设stack是Stack的一个实例):
Node1 x = new Node1();

            stack.Push(x);

         Node2 y = (Node2)stack.Pop();

上面的代码在编译时是完全没问题的,但由于Push了一个Node1类型的数据,但在Pop时却要求转换为Node2类型,这将出现程序运行时的类型转换异常,但却逃离了编译器的检查。


针对object类型栈的问题,我们引入泛型,他可以优雅地解决这些问题。泛型用用一个通过的数据类型T来代替object,在类实例化时指定T的类型,运行时(Runtime)自动编译为本地代码,运行效率和代码质量都有很大提高,并且保证数据类型安全。


使用泛型
下面是用泛型来重写上面的栈,用一个通用的数据类型T来作为一个占位符,等待在实例化时用一个实际的类型来代替。让我们来看看泛型的威力:

public class Stack<T>

{

    private T[] m_item;

    public T Pop(){...}

    public void Push(T item){...}

    public Stack(int i){

         this.m_item = new T[i];

    }

}

类的写法不变,只是引入了通用数据类型T就可以适用于任何数据类型,并且类型安全的。这个类的调用方法:

//实例化只能保存int类型的类

Stack<int> a = new Stack<int>(100);

   a.Push(10);

   a.Push("8888");//这行编译不通过,因为类a只接收int类型的数据

   int x = a.Pop();

Stack<String> b = new Stack<String>(100);

    b.Push(10);//这行编译不通过,因为类b只接收String类型的数据

   String y = b.Pop();


这个类和Object实现的类有截然不同的区别:

1.它是类型安全的。实例化了int类型的栈,就不能处理String类型的数据,其他的数据类型也一样。

2.无需装箱和拆箱。这个类在实例化时,按照所传入的数据类型生成本地代码,本地代码数据类型已确定,所以无需装箱和拆箱。

3.无需类型转换。

  • 27
    点赞
  • 87
    收藏
    觉得还不错? 一键收藏
  • 7
    评论
泛型是 TypeScript 的一种特性,它允许在定义函数、类、接口等时使用类型参数,在使用时再确定具体的类型。这样可以增强代码的灵活性和重用性。 使用泛型的语法是在定义函数、类、接口等时在参数或返回值的类型前使用尖括号 `<>` 来定义类型参数。例如: ```typescript function identity<T>(arg: T): T { return arg; } ``` 上述代码中,`<T>` 定义了一个类型参数 `T`,`arg` 参数的类型为 `T`,返回值的类型也为 `T`。 使用时,需要指定具体的类型。例如: ```typescript let output = identity<string>("hello world"); ``` 在这个例子中,我们将 `identity` 函数的类型参数 `T` 指定为 `string`,这样 `arg` 参数和返回值的类型都会是 `string`。 当然,TypeScript 也支持类型推断,可以根据传入的参数自动推断类型参数。例如: ```typescript let output = identity("hello world"); ``` 因为传入的参数是 `string` 类型,TypeScript 会自动推断出类型参数 `T` 为 `string`,所以不需要显式指定类型参数。 除了函数,泛型还可以应用于类和接口的定义中。例如: ```typescript interface List<T> { add(item: T): void; get(index: number): T; } class ArrayList<T> implements List<T> { private items: T[] = []; add(item: T) { this.items.push(item); } get(index: number): T { return this.items[index]; } } ``` 上述代码中,`List` 接口和 `ArrayList` 类都使用了类型参数 `T`,`ArrayList` 类实现了 `List` 接口,并且在实现接口中明确了类型参数的类型。这样,当使用 `ArrayList` 类时,也需要指定类型参数的具体类型。
评论 7
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值