首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

深度思考:为什么需要泛型?

虽然之前在使用Java进行编程时经常用到泛型,但是未曾思考过到底为什么需要泛型?没有泛型会怎样?泛型带来了什么作用?泛型的实现原理是怎样的?等等问题。...因为Go1.18版本发布已有几个月的时间,各个IDE也陆续支持Go语言泛型编码,因此也通过一些资料学习了Go语言泛型这个新特性,并且对此做了一些思考,想以一篇文章来向大家分享自己的思考经验和见解,同时也会以实际代码的方式使用...1 什么是泛型? 维基百科提到:最初泛型编程这个概念来自于缪斯·大卫和斯捷潘诺夫. 亚历山大合著的“泛型编程”一文。...:《一文搞懂Go1.18泛型新特性》(http://t.csdn.cn/XUc5Z) 3 为什么需要泛型?...: 泛化 类型安全 消除强制类型转换 向后兼容 图示: 4 总结泛型的实现原理 大多数静态类型语言的泛型实现都是在编译期进行,也就是编译的前端实现,主要的技术包括类型擦除、具体化和基于元编程等进行的,

28220

为什么需要模板?—— C++ 泛型编程的核心价值

导读 在 Windows 客户端开发中,我们经常需要处理多种数据类型:从 GUI 控件的泛型容器,到系统 API 的跨类型封装,再到高性能算法的类型抽象。...本章将深入探讨 C++ 模板如何通过泛型编程解决这些问题,并通过 Windows 注册表操作等实战案例,展示模板在真实场景中的强大能力。...一、泛型编程的意义 1.1 代码复用的困境 假设我们需要实现一个获取两个数值最大值的函数,面对不同的数据类型,传统 C++ 会写出这样的代码: // 为不同类型重复实现相同逻辑 int max_int(...其他语言的泛型 3.1 C# / Java 的泛型实现 类型擦除:运行时无法获取泛型类型信息 装箱拆箱:值类型需要转换为 object,引入性能开销 限制:无法使用运算符(如 >),需通过接口约束 //...C# 示例:无法直接比较两个泛型参数 T Max(T a, T b) where T : IComparable { return a.CompareTo(b) > 0 ?

19710
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    我设计的任务状态转换,不需要任务暂停这个状态

    2013-05-22 16:56:50 UML菜鸟(122*****922) 这是我设计的任务状态转换,不需要任务暂停这个状态 2013-05-22 16:59:12 UML菜鸟(122*****922...guard]/action 2013-05-22 17:45:26 潘加宇(3504847) 找本UML书看看再画 2013-05-22 17:46:23 UML菜鸟(122*****922) 把任务去掉,这个确实...,但是线上,我看到处都是这样 2013-05-22 17:46:34 UML菜鸟(122*****922) ?...花点时间看看书把基本道理了解一下,再画 2013-05-22 17:48:48 潘加宇(3504847) 这个也不合格,不过比你那个好,也和你那个不一样,你仔细看看我的回答 2013-05-22 17:...2013-05-22 18:01:36 UML菜鸟(122*****922) 有点晕了,我看下UML定义 2013-05-22 18:02:11 潘加宇(3504847) http://www.umlchina.com

    57020

    听了他讲的泛型,我就明白为什么他的工资比我多30万了!

    阅读文本大概需要 6 分钟。 1 类 型 擦 除 Java是怎么实现泛型的?不错,类型擦除。...编译器将源码编译成字节码的时候会将你在源码中声明的类型进行擦除,比如: List list = new ArrayList(); 在编译后,字节码中只有List,运行在JVM中也是一样的,那你可能会有疑问,既然将类型擦除了,那为什么我声明的泛型为...正常我们一般也不会这么做啦,这里只是验证一下这个机制而已。 好了,解释了这么多类型擦除的机制,那Java使用类型擦除来实现泛型有什么好处呢?...2、不能用来方法的重载 为什么呢?举个例子: ? 如上图所示,在不同的泛型作为参数时,编译器编译时进行类型擦除,那参数不就一样了吗?那还谈什么重载呢!...4、静态方法无法引用类的泛型类型 ? Java中的泛型是类实例化的时候才能确定泛型的准确类型,而静态方法是不需要类实例化就能调用的,显然不能使用。 5、类型强转的开销 ?

    59221

    C#高级语法之泛型、泛型约束,类型安全、逆变和协变(思想原理)

    一、为什么使用泛型?...、逆变时泛型无法作为返回值。...协变的话我相信应该很好理解,将子类转换为父类,兼容性好,解决了类型安全(因为子类转父类是肯定可以转换成功的);而协变作为返回值是百分百的类型安全 “逆变为什么又是解决了类型安全呢?子类转父类也安全吗?...思考:那么,现在你能明白上面那个错误,为什么“协变时泛型无法作为参数、逆变时泛型无法作为返回值”了吗?...Dog,但是实际上要返回的类型是Animal //所以就存在Animal类型转换为Dog类型,所以就有可能失败 //所以逆变时泛型无法作为返回值 T In(); void

    7.1K30

    详解 Java 泛型

    泛型名称 第二个红框中,标明了这个泛型类的泛型参数名称,这里是 TT,为什么会有两个 T 呢?...但是如果涉及到的方法是静态方法时,我们就需要注意返回的实际类型了: public class StaticTypeMethod { /** * 这里在方法返回值前使用 来为这个静态方法声明泛型参数...作为泛型实际参数)。 此时会发生什么情况呢?我们不能再向 list1 这个容器中 add 任何元素了!为什么呢。...因为我在代码里面调用了 list1.get(0),这个方法是有返回值的,编译器必须给返回值给你,否则违反了 Java 的基本语法。...那么我们用 A 类型或者 A 类型的父类来接收 get 方法的返回值时就不需要强制类型转换: // 无需强制类型转换 A a = list.get(0); // 无需强制类型转换 Object obj

    93420

    泛型(泛型擦除)【java基础—-泛型】

    大家好,又见面了,我是你们的朋友全栈君。 目录 1.什么是泛型 1.1泛型概念: 1.2本质:参数化类型 1.3语法:, T 称为类型占位符,表示一种引用类型。...1.3 泛型定义(泛型类、泛型方法(泛型方法返回值是泛型的,泛型方法在普通类和泛型类里)): 1.4特点: 对于泛型特点(1)举个例子 : 没有使用泛型时的异常抛出 对于泛型特点(2)访问时不需要类型转换...对于泛型特点(2)访问时不需要类型转换(拆箱),举例子List list = new ArrayList(); 查看ArrayList的访问4方法get()源码,看到返回值类型是泛型...不举例子了 语法:接口名 2.3泛型方法 语法:[ 修饰符] 返回值类型 方法名([参数列表]) 2.4.疑惑,为什么有泛型类了,还要有泛型方法,泛型类与泛型方法有什么区别,泛型方法有什么好处...3.为什么要使用泛型,泛型的好处: 3.1泛型的好处 答:提高代码重用性,防止类型转换异常,提高代码的安全性。

    2.6K51

    五分钟看完,彻底理解C#的协变逆变

    其实这是c#的老知识点了,但是今天发现同事对这个竟然还一知半解,就和他们讲解了下,顺便也回顾了下,同事我也把我对这个的全部理解,融化成几分钟的讲解,保证大家5分钟内全部理解,看不懂来打我。...协变、逆变 解决的问题 泛型类型转换 比如Person类是Student的父类,我们平时可以直接: Person A = new Student(); 这是所谓的隐式转换,相信百分之999.99%的人都知道...我们发现官方在泛型前面多了一个out关键字。...直接show you code: 当Out作为返回值时的泛型没有问题,但是入参就报错了 当In作为入参时的泛型没有问题,但是返回值就报错了 好了,这还需要再解释吗?...最后我们总结下,逆变和协变就是让方法有了泛型类型上的转换能力,强化了方法的多态能力。 问题点 1、属性为啥可以用逆变协变? 属性不就是get/set方法。

    33620

    第08天Java泛型机制

    为什么会有泛型 泛型的本质是为了参数化类型(在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型)。...引入泛型的意义在于: 适用于多种数据类型执行相同的代码 我们通过一个例子来阐述,先看下下面的代码: 泛型中的类型在使用时指定,不需要强制类型转换(类型安全,编译器会检查类型) 看下这个例子: private...那时候我们就会抱怨了:*** 编译器,毛也检查不出来,我把一个 Integer 类型的对象强行转换成 String 类型你在编译的时候也不告诉我,害的我程序运行时崩溃了,这个月奖金没了!...(Class cs,int userId){} 一般来说编写 Java 泛型方法,其返回值类型至少有一个参数类型应该是泛型,而且类型应该是一致的,如果只有返回值类型或参数类型之一使用了泛型,那么这个泛型方法的使用就被限制了...} # 2.4 泛型数组 其实在很多文档中都有提到这个概念,于是我翻阅了 Sun 文档,经过查看 Sun 的说明文档,在 java 中是 **” 不能创建一个确切的泛型类型的数组”** 的。

    18930

    Java泛型

    ,代码的健壮性有所欠缺 JDK 5新增了泛型,它能够在编译阶段就检查类型安全,大大提升开发效率 泛型类 泛型其实就一个待定类型,我们可以使用一个特殊的名字表示泛型,泛型在定义时并不明确是什么类型,而是需要到使用时才会确定对应的泛型类型...返回值前的非常重要,可以理解为声明此方法为泛型方法。...; } private static T test(T t){ //在返回值类型前添加并填写泛型变量表示这个是一个泛型方法 return t; }...} 既然继承泛型类之后可以明确具体类型,那么为什么@Override不会出现错误呢?...我们前面说了,重写的条件是需要和父类的返回值类型和形参一致,而泛型默认的原始类型是Object类型,子类明确后变为其他类型,这显然不满足重写的条件,但是为什么依然能编译通过呢?

    14620

    Java泛型的学习和使用

    为什么需要泛型?...,而且极易出现类型转换失败的风险; 但是,泛型的出现解决了这个问题,它不但简化了代码,还提高了程序的安全性;类型转换的错误提前到编译期解决掉; 强制转换 类型转换失败 3....Object类型;当我们执行get方法的时候,泛型同样不存在,也是被当做Object来返回; 可是,我有个疑问,在编译期由于泛型的存在,我们不需要显式的进行类型转换,但是在运行期间是如何解决的呢,难道不会报错吗...[index]才会有强制类型转换的情况; 通过了解checkcast指令后,结合上面的2个例子,我认为JVM虚拟机在真正执行get方法的时候,实际上隐式的为我们的代码进行了类型转换操作,就好比在代码中直接声明...,还必须是带有泛型的异常类; 编译报错 自定义的泛型类并不能继承exception,为什么?

    1.5K40

    Java泛型详解,史上最全图文详解「建议收藏」

    二:为什么使用泛型 泛型的好处是在编译的时候检查类型安全,并且所有的强制转换都是自动和隐式的,提高代码的重用率。 (1)保证了类型的安全性。...还是举例说明,以下没有泛型的代码段需要强制转换: List list = new ArrayList(); list.add("hello"); String s = (String) list.get...(0); 当重写为使用泛型时,代码不需要强制转换: List list = new ArrayList(); list.add("hello"); String s =...实际上编译器不仅关注一个泛型方法的调用,它还会为某些返回值为限定的泛型类型的方法进行强制类型转换,由于类型擦除,返回值为泛型类型的方法都会擦除成 Object 类型,当这些方法被调用后,编译器会额外插入一行...七:最后 以上我就分别从Java泛型的诞生,再到泛型的使用,以及泛型的实现原理等六个方面进行了完整详解,希望对你有所用!

    92030

    C++ Template 基础篇(一):函数模板

    Template 基础篇-函数模板 Template所代表的泛型编程是C++语言中的重要的组成部分,我将通过几篇blog对这半年以来的学习做一个系统的总结,本文是基础篇的第一部分。...Template 基础篇-函数模板 为什么要有泛型编程 函数模板定义 普通函数模板 成员函数模板 为什么成员函数模板不能是虚函数virtual 实参推断 如何使用 当返回值类型也是参数时 实参推断时的自动类型转换...函数模板重载 模板函数特化 为什么要有泛型编程 C++是一门强类型语言,所以无法做到像动态语言(python javascript)那样子,编写一段通用的逻辑,可以把任意类型的变量传进去处理。...泛型编程弥补了这个缺点,通过把通用逻辑设计为模板,摆脱了类型的限制,提供了继承机制以外的另一种抽象机制,极大地提升了代码的可重用性。...这是因为c++ compiler在parse一个类的时候就要确定vtable的大小,如果允许一个虚函数是模板函数,那么compiler就需要在parse这个类之前扫描所有的代码,找出这个模板成员函数的调用

    1.7K20

    泛型就这么简单

    二、为什么需要泛型 早期Java是使用Object来代表任意类型的,但是向下转型有强转的问题,这样程序就不太安全 首先,我们来试想一下:没有泛型,集合会怎么样 Collection、Map集合对元素的类型是没有任何限制的...外边获取该对象,还需要强制转换 有了泛型以后: 代码更加简洁【不用强制转换】 程序更加健壮【只要编译时期没有警告,那么运行时期就不会出现ClassCastException异常】 可读性和稳定性【在编写集合的时候...,泛型类是拥有泛型这个特性的类,它本质上还是一个Java类,那么它就可以被继承 那它是怎么被继承的呢??...类上声明的泛形只对非静态成员有效 ---- 3.4类型通配符 为什么需要类型通配符????我们来看一个需求……. 现在有个需求:方法接收一个集合参数,遍历集合并把集合元素打印出来,怎么办?...3.6.1兼容性 JDK5提出了泛型这个概念,但是JDK5以前是没有泛型的。也就是泛型是需要兼容JDK5以下的集合的。 当把带有泛型特性的集合赋值给老版本的集合时候,会把泛型给擦除了。

    53940

    泛型的基本原理

    泛型这种语法糖,编译器会在编译期间「擦除」泛型语法并相应的做出一些类型转换动作。...但是实际上编译器不仅关注一个泛型方法的调用,它还会为某些返回值为限定的泛型类型的方法进行强制类型转换,由于类型擦除,返回值为泛型类型的方法都会擦除成 Object 类型,当这些方法被调用后,编译器会额外插入一行...因为编译会推断你的参数类型,所以允许你省略,但前提是你这个方法是有参数的,如果你这个方法的逻辑是不需要传参的,那么你依然需要显式指定限定的具体类型。...而泛型是不允许这么做的,为什么呢? 我们假设泛型允许这种协变,看看会有什么问题。...我们也说过,泛型类型不具有协变性,即便两个泛型类实例的具体类型是父子关系,他们之间也不能相互转换。

    57600

    JVM第五卷---编译期处理

    JVM第五卷---编译期处理 编译期处理 默认构造器 自动拆装箱 泛型集合取值--泛型擦除 可变参数 foreach 循环 switch 字符串 switch 枚举 枚举类 try-with-resources...,必须改写为 代码片段2 : 显然之前版本的代码太麻烦了,需要在基本类型和包装类型之间来回转换(尤其是集合类中操作的都是包装类型),因此这些转换的事情在 JDK 5 以后都由编译器在编译阶段完成。...即 代码片段1 都会在编译阶段被转换为 代码片段2 ---- 泛型集合取值–泛型擦除 泛型也是在 JDK 5 开始加入的特性,但 java 在编译泛型代码后会执行 泛型擦除 的动作,即泛型信息在编译为字节码之后就丢失了...擦除的是字节码上的泛型信息,可以看到 LocalVariableTypeTable 仍然保留了方法参数泛型的信息 局部变量没有办法通过反射的方式,拿到泛型信息,只有在方法的参数和返回值上带的泛型信息才可以通过反射获取到...: 引用局部变量的匿名内部类,源代码: 转换后代码: 注意 这同时解释了为什么匿名内部类引用局部变量时,局部变量必须是 final 的:因为在创建Candy111 对象时,将 x

    90920

    Java的“泛型”特性,你以为自己会了?(万字长文)

    # 2.不需要烦人的强制类型转换 泛型之所以能够消除强制类型转换,那是因为程序员在开发的时候就已经明确了自己使用的具体类型,这不但提高了代码的可读性,同样增加了代码的健壮性。...T 类型就可以直接使用了,且 需要放在方法的返回值类型之前。...,只不过是一个数据类一个属于类的实例的,在使用上区别不大(但是需要注意的是如果在泛型类中 静态泛型方法是不能使用类泛型中的泛型类型的,这个在下文的泛型类中会详细介绍的)。...由于泛型擦除带来的自动类型转换 因为泛型的类型擦除问题,导致所有的泛型类型变量被编译后都会被替换为原始类型。既然都被替换为原始类型,那么为什么我们在获取的时候,为什么不需要强制类型转换?...但是,使用通配符却是可以的,我上文还特意强调过一句话:泛型和通配符不是一回事。请看代码 那这又是为什么??

    42920

    Java的泛型

    # 2.不需要烦人的强制类型转换 泛型之所以能够消除强制类型转换,那是因为程序员在开发的时候就已经明确了自己使用的具体类型,这不但提高了代码的可读性,同样增加了代码的健壮性。...T 类型就可以直接使用了,且 需要放在方法的返回值类型之前。...,只不过是一个数据类一个属于类的实例的,在使用上区别不大(但是需要注意的是如果在泛型类中 静态泛型方法是不能使用类泛型中的泛型类型的,这个在下文的泛型类中会详细介绍的)。...由于泛型擦除带来的自动类型转换 因为泛型的类型擦除问题,导致所有的泛型类型变量被编译后都会被替换为原始类型。既然都被替换为原始类型,那么为什么我们在获取的时候,为什么不需要强制类型转换?...但是,使用通配符却是可以的,我上文还特意强调过一句话:泛型和通配符不是一回事。请看代码 那这又是为什么??

    66320
    领券