「java类型推导」java的类方法和实例方法

admin 2023-03-20 19:10:12 1434

本篇文章给大家谈谈java类型推导，以及java的类方法和实例方法对应的知识点，希望对各位有所帮助，不要忘了收藏本站喔。

本文目录一览：

1、如何正确理解java中的泛型类型推导
2、请教关于java的泛型方法
3、java7，8的几个特性（自己的理解，大神们多指
4、上课要求jdk版本1.8.0而我的版本是jdk11，有什么区别
5、什么叫泛型?有什么作用?
6、为什么Java没有类似C#里var或者C++

如何正确理解java中的泛型类型推导

具体类型应该是开发者编写程序调用的时候自己指定的类型，Java的泛型是一种编译时泛型，按目前的理解Java泛型只是提供了一种编译时的类型安全检查，而编译后实际运行时是没有某种被定义的"泛型"类型的(类型搽除)。

其实对于初学者对这一点可以将Java泛型简单理解为一种将因类型错误而引发的异常提前到编码阶段。当开发者在错误的调用泛型类和方法时IDE就会提示错误，而不用等到程序真正运行时再报错。

请教关于java的泛型方法

Java泛型详解

概述

在引入范型之前，Java类型分为原始类型、复杂类型，其中复杂类型分为数组和类。引入范型后，一个复杂类型

就可以在细分成更多的类型。

例如原先的类型List，现在在细分成ListObject, ListString等更多的类型。

注意，现在ListObject, ListString是两种不同的类型，

他们之间没有继承关系，即使String继承了Object。下面的代码是非法的

ListString ls = new ArrayListString();

ListObject lo = ls;

这样设计的原因在于，根据lo的声明，编译器允许你向lo中添加任意对象（例如Integer），但是此对象是

ListString，破坏了数据类型的完整性。

在引入范型之前，要在类中的方法支持多个数据类型，就需要对方法进行重载，在引入范型后，可以解决此问题

（多态），更进一步可以定义多个参数以及返回值之间的关系。

例如

public void write(Integer i, Integer[] ia);

public void write(Double d, Double[] da);

的范型版本为

public T void write(T t, T[] ta);

2. 定义使用

类型参数的命名风格为：

推荐你用简练的名字作为形式类型参数的名字(如果可能，单个字符)。最好避免小写字母，这使它和其他的普通

的形式参数很容易被区分开来。

使用T代表类型，无论何时都没有比这更具体的类型来区分它。这经常见于泛型方法。如果有多个类型参数，我们

可能使用字母表中T的临近的字母，比如S。

如果一个泛型函数在一个泛型类里面出现，最好避免在方法的类型参数和类的类型参数中使用同样的名字来避免混

淆。对内部类也是同样。

2.1 定义带类型参数的类

在定义带类型参数的类时，在紧跟类命之后的内,指定一个或多个类型参数的名字，同时也可以对类型参数的取

值范围进行限定，多个类型参数之间用,号分隔。

定义完类型参数后，可以在定义位置之后的类的几乎任意地方（静态块，静态属性，静态方法除外）使用类型参数，

就像使用普通的类型一样。

注意，父类定义的类型参数不能被子类继承。

public class TestClassDefineT, S extends T {

....

}

2.2 定义待类型参数方法

在定义带类型参数的方法时，在紧跟可见范围修饰（例如public）之后的内,指定一个或多个类型参数的名字，同时也可以对类型参数的取值范围进行限定，多个类型参数之间用,号分隔。

定义完类型参数后，可以在定义位置之后的方法的任意地方使用类型参数，就像使用普通的类型一样。

例如：

public T, S extends T T testGenericMethodDefine(T t, S s){

...

}

注意：定义带类型参数的方法，骑主要目的是为了表达多个参数以及返回值之间的关系。例如本例子中T和S的继承关系，返回值的类型和第一个类型参数的值相同。

如果仅仅是想实现多态，请优先使用通配符解决。通配符的内容见下面章节。

public T void testGenericMethodDefine2(ListT s){

...

}

应改为

public void testGenericMethodDefine2(List？ s){

...

}

3. 类型参数赋值

当对类或方法的类型参数进行赋值时，要求对所有的类型参数进行赋值。否则，将得到一个编译错误。

3.1 对带类型参数的类进行类型参数赋值

对带类型参数的类进行类型参数赋值有两种方式

第一声明类变量或者实例化时。例如

ListString list;

list = new ArrayListString;

第二继承类或者实现接口时。例如

public class MyListE extends ArrayListE implements ListE {...}

3.2 对带类型参数方法进行赋值

当调用范型方法时，编译器自动对类型参数进行赋值，当不能成功赋值时报编译错误。例如

public T T testGenericMethodDefine3(T t, ListT list){

...

}

public T T testGenericMethodDefine4(ListT list1, ListT list2){

...

}

Number n = null;

Integer i = null;

Object o = null;

testGenericMethodDefine(n, i);//此时T为Number, S为Integer

testGenericMethodDefine(o, i);//T为Object, S为Integer

ListNumber list1 = null;

testGenericMethodDefine3(i, list1)//此时T为Number

ListInteger list2 = null;

testGenericMethodDefine4(list1, list2)//编译报错

3.3 通配符

在上面两小节中，对是类型参数赋予具体的值，除此，还可以对类型参数赋予不确定值。例如

List? unknownList;

List? extends Number unknownNumberList;

List? super Integer unknownBaseLineIntgerList;

注意：在Java集合框架中，对于参数值是未知类型的容器类，只能读取其中元素，不能像其中添加元素，因为，其类型是未知，所以编译器无法识别添加元素的类型和容器的类型是否兼容，唯一的例外是NULL

ListString listString;

List? unknownList2 = listString;

unknownList = unknownList2;

listString = unknownList;//编译错误

4. 数组范型

可以使用带范型参数值的类声明数组，却不可有创建数组

ListInteger[] iListArray;

new ArrayListInteger[10];//编译时错误

5. 实现原理

5.1. Java范型时编译时技术，在运行时不包含范型信息，仅仅Class的实例中包含了类型参数的定义信息。

泛型是通过java编译器的称为擦除(erasure)的前端处理来实现的。你可以（基本上就是）把它认为是一个从源码到源码的转换，它把泛型版本转换成非泛型版本。

基本上，擦除去掉了所有的泛型类型信息。所有在尖括号之间的类型信息都被扔掉了，因此，比如说一个ListString类型被转换为List。所有对类型变量的引用被替换成类型变量的上限(通常是Object)。而且，无论何时结果代码类型不正确，会插入一个到合适类型的转换。

T T badCast(T t, Object o) {

return (T) o; // unchecked warning

}

类型参数在运行时并不存在。这意味着它们不会添加任何的时间或者空间上的负担，这很好。不幸的是，这也意味着你不能依靠他们进行类型转换。

5.2.一个泛型类被其所有调用共享

下面的代码打印的结果是什么？

ListString l1 = new ArrayListString();

ListInteger l2 = new ArrayListInteger();

System.out.println(l1.getClass() == l2.getClass());

或许你会说false，但是你想错了。它打印出true。因为一个泛型类的所有实例在运行时具有相同的运行时类(class)，

而不管他们的实际类型参数。

事实上，泛型之所以叫泛型，就是因为它对所有其可能的类型参数，有同样的行为；同样的类可以被当作许多不同的类型。作为一个结果，类的静态变量和方法也在所有的实例间共享。这就是为什么在静态方法或静态初始化代码中或者在静态变量的声明和初始化时使用类型参数（类型参数是属于具体实例的）是不合法的原因。

5.3. 转型和instanceof

泛型类被所有其实例(instances)共享的另一个暗示是检查一个实例是不是一个特定类型的泛型类是没有意义的。

Collection cs = new ArrayListString();

if (cs instanceof CollectionString) { ...} // 非法

类似的，如下的类型转换

CollectionString cstr = (CollectionString) cs;

得到一个unchecked warning，因为运行时环境不会为你作这样的检查。

6. Class的范型处理

Java 5之后，Class变成范型化了。

JDK1.5中一个变化是类 java.lang.Class是泛型化的。这是把泛型扩展到容器类之外的一个很有意思的例子。

现在，Class有一个类型参数T, 你很可能会问，T 代表什么？它代表Class对象代表的类型。比如说，

String.class类型代表 ClassString，Serializable.class代表 ClassSerializable。

这可以被用来提高你的反射代码的类型安全。

特别的，因为 Class的 newInstance() 方法现在返回一个T, 你可以在使用反射创建对象时得到更精确的类型。

比如说，假定你要写一个工具方法来进行一个数据库查询，给定一个SQL语句，并返回一个数据库中符合查询条件

的对象集合(collection)。

一个方法是显式的传递一个工厂对象，像下面的代码：

interface FactoryT {

public T[] make();

}

public T CollectionT select(FactoryT factory, String statement) {

CollectionT result = new ArrayListT();

/* run sql query using jdbc */

for ( int i=0; i10; i++ ) { /* iterate over jdbc results */

T item = factory.make();

/* use reflection and set all of item’s fields from sql results */

result.add( item );

}

return result;

}

你可以这样调用：

select(new FactoryEmpInfo(){

public EmpInfo make() {

return new EmpInfo();

}

} , ”selection string”);

也可以声明一个类 EmpInfoFactory 来支持接口 Factory：

class EmpInfoFactory implements FactoryEmpInfo { ...

public EmpInfo make() { return new EmpInfo();}

}

然后调用：

select(getMyEmpInfoFactory(), "selection string");

这个解决方案的缺点是它需要下面的二者之一：

调用处那冗长的匿名工厂类，或为每个要使用的类型声明一个工厂类并传递其对象给调用的地方，这很不自然。

使用class类型参数值是非常自然的，它可以被反射使用。没有泛型的代码可能是：

Collection emps = sqlUtility.select(EmpInfo.class, ”select * from emps”); ...

public static Collection select(Class c, String sqlStatement) {

Collection result = new ArrayList();

/* run sql query using jdbc */

for ( /* iterate over jdbc results */ ) {

Object item = c.newInstance();

/* use reflection and set all of item’s fields from sql results */

result.add(item);

}

return result;

}

但是这不能给我们返回一个我们要的精确类型的集合。现在Class是泛型的，我们可以写：

CollectionEmpInfo emps=sqlUtility.select(EmpInfo.class, ”select * from emps”); ...

public static T CollectionT select(ClassTc, String sqlStatement) {

CollectionT result = new ArrayListT();

/* run sql query using jdbc */

for ( /* iterate over jdbc results */ ) {

T item = c.newInstance();

/* use reflection and set all of item’s fields from sql results */

result.add(item);

}

return result;

}

来通过一种类型安全的方式得到我们要的集合。

这项技术是一个非常有用的技巧，它已成为一个在处理注释(annotations)的新API中被广泛使用的习惯用法。

7. 新老代码兼容

7.1. 为了保证代码的兼容性，下面的代码编译器（javac）允许，类型安全有你自己保证

List l = new ArrayListString();

ListString l = new ArrayList();

7.2. 在将你的类库升级为范型版本时，慎用协变式返回值。

例如，将代码

public class Foo {

public Foo create(){

return new Foo();

}

public class Bar extends Foo {

public Foo create(){

return new Bar();

}

采用协变式返回值风格，将Bar修改为

public class Bar extends Foo {

public Bar create(){

return new Bar();

}

要小心你类库的客户端。

java7，8的几个特性（自己的理解，大神们多指

JDK 1.7部分新特性

1）switch支持String类型本质上是对int类型的匹配，

实现原理为：通过case后面的str对象调用hashcode()方法，得到一个int类型的hash值，然后用这个hash值来唯一标识这个case.当匹配时，首先调用这个字符串的hashcode（）方法，获得一个hash值，用这个hash值与case匹配，若没有则不存在，若有则接着调用equals（）方法进行匹配。String变量不能为null ,case后的字符串也不能为null ,否则会出现NullPointerException.

2)可以在catch中捕获多个异常

3）对数值字面量进行了改进

增加了二进制字面量的表示 0B001 0b001

在数字中可以添加分隔符 123_456 下划线只能用在数字中间编译时被去掉

4）使用泛型的时候增加了类型推断机制

java7之前

MapString,String map = new HashMapString,String()；

java7引进类型推断后

MapString,String map = new HashMap();

5)增加了 try-with-resources语句（声明一个或多个资源的try语句）

资源指在使用完成后，必须关闭释放的对象，try-with-resources语句确保在该语句执行之后关闭每个资源

try(InputStream fis = new FileInputStrean("input.txt");){ while(fis.read()！=1){

System.out.println(fis.read());

}

}catch(Exception e){

e.printStackTrace();

}

DK 1.8 部分新特性

1）增加了 Lambda表达式的支持 Lambda表达式是一个匿名函数允许把函数作为一个方法的参数

示例

Arrays.AsList(2,8,1).forEach(i-System.out.println(i)); //1

Arrays.AsList(2,8,1).forEach((Integer i)-System.out.println(i)); // 2

在java8以前对于列表的排序如果有自定义的类则需要制定自定义的排序方法

Person []people = {new Person("Iack",22),new Person("Tony",35)};

Arrays.sort(people,new ComparatorPerson(){//自定义排序方法 new 一个Conparator 重写compare方法

@Override public int compare(Person a,Person b){ return a.getAge()-b.getAge();

}

});for(Person p:people){

System.out.println(p);

}

Lambda表达式

Arrays.sort(people,(Person a,Person b)-a.getAge()-b.getAge());

Arrays.sort(people,(a,b)-a.getAge()-b.getAge());

Lambda表达式是通过函数式接口实现的（只有一个方法的普通接口）。函数式接口可以隐式的转换为Lambda表达式，为了与普通的接口区分开，增加了注解@FunctionalInterface

@FunctionalInterfaceinterface

fun{

void f();

}

2)接口增加了方法的默认实现和静态方法 JDK1.8通过使用关键字 default可以给接口中的方法添加默认实现，此外，接口中还可以定义静态方法。

interface In8{

void f();

default void g(){

System.out.println("default");

}

static void h(){

System.out.println("static");

}

引入接口默认方法实现是为了实现接口升级在原有的设计中，如果想要升级接口，例如给接口中添加一个新的方法，会导致所有实现这个接口的类都需要被修改。

3）方法引用方法引用指的是可以直接使用java类或对象的方法

Arrays.sort(people,Comparator.comparing(Person::getAge));

方法引用共有下面四种方式

引用构造方法 ClassName::new

引用类静态方法 ClassName::methodName

引用特定类的任意对象方法 ClassName::methodName

引用某个对象的方法 instanceName::methodName

4)注解

JDK 1.5中引入了注解机制但有限制相同注解在同一位置只能声明一次 JDK 1.8中引入了重复注解机制后，相同的注解在同一个地方可以声明多次

扩展注解使用范围可以给局部变量泛型和方法异常等提供注解

5）加强了类型推测机制

6）参数名字在编译时增加 -parameters选项以及增加反射API 与 Parameter.getName()方法实现了获取方法参数名的功能

7）新增optional类处理空指针

8）新增Stream类和函数式编程统一

9）日期新特性

10）增加了调用javaScript的引擎

11）Base64 字符编码格式用来作为电子邮件或webService附件的传输编码

12)并行数组

更多的特性，请J对比JAVA下7以及8的JDK 的相关内容

上课要求jdk版本1.8.0而我的版本是jdk11，有什么区别

jdk版本迭代都是根据上一代进行增添新功能。djk11在1.8版本上只是添加了少许新内容以适应现在互联网du技术节奏，除了新添加的内容，两者没有什么影响。也就是，如果不用到新添加的内容，运行不受影响。但是需要知道，有哪些内容是新的。

JDK1.8的新特性：

一、接口的默认方法Java 8允许我们给接口添加一个非抽象的方法实现，只需要使用 default关键字即可，这个特征又叫做扩展方法。

二、Lambda 表达式在Java 8 中你就没必要使用这种传统的匿名对象的方式了，Java 8提供了更简洁的语法，lambda表达式：

Collections.sort(names, (String a, String b) - {return b.compareTo(a);});

三、函数式接口Lambda表达式是如何在java的类型系统中表示的，每一个lambda表达式都对应一个类型，通常是接口类型。

而“函数式接口”是指仅仅只包含一个抽象方法的接口，每一个该类型的lambda表达式都会被匹配到这个抽象方法。因为默认方法不算抽象方法，所以也可以函数式接口添加默认方法。

四、方法与构造函数引用Java 8 允许你使用 :: 关键字来传递方法或者构造函数引用，上面的代码展示了如何引用一个静态方法，我们也可以引用一个对象的方法：

converter = something::startsWith;

String converted = converter.convert("Java");

System.out.println(converted);

五、Lambda 作用域在lambda表达式中访问外层作用域和老版本的匿名对象中的方式很相似。你可以直接访问标记了final的外层局部变量，或者实例的字段以及静态变量。

六、访问局部变量可以直接在lambda表达式中访问外层的局部变量：

七、访问对象字段与静态变量和本地变量不同的是，lambda内部对于实例的字段以及静态变量是即可读又可写。该行为和匿名对象是一致的：

八、访问接口的默认方法JDK 1.8 API包含了很多内建的函数式接口，在老Java中常用到的比如Comparator或者Runnable接口，这些接口都增加了@FunctionalInterface注解以便能用在lambda上。

Java 8 API同样还提供了很多全新的函数式接口来让工作更加方便，有一些接口是来自Google Guava库里的，即便你对这些很熟悉了，还是有必要看看这些是如何扩展到lambda上使用的。

扩展资料：

jdk11新特性：

1、字符串加强

// 判断字符串是否为空白" ".isBlank(); // true// 去除首尾空格" Javastack ".strip(); // "Javastack"// 去除尾部空格 " Javastack ".stripTrailing()。

// 去除首部空格 " Javastack ".stripLeading(); // "Javastack "// 复制字符串"Java".repeat(3); // "JavaJavaJava"// 行数统计"A\nB\nC".lines().count(); // 3

2、HttClient Api

这是 Java 9 开始引入的一个处理 HTTP 请求的的孵化 HTTP Client API，该 API 支持同步和异步，而在 Java 11 中已经为正式可用状态，你可以在java.net包中找到这个 Api

3、用于 Lambda 参数的局部变量语法

用于 Lambda 参数的局部变量语法简单来说就是支持类型推导：

var x = new A();for (var x : xs) { ... }try (var x = ...) { ... } catch ...

4、ZGC

从JDK 9开始，JDK使用G1作为默认的垃圾回收器。G1可以说是GC的一个里程碑，G1之前的GC回收，还是基于固定的内存区域，而G1采用了一种“细粒度”的内存管理策略，不在固定的区分内存区域属于surviors、eden、old。

而我们不需要再去对于年轻代使用一种回收策略，老年代使用一种回收策略，取而代之的是一种整体的内存回收策略。

这种回收策略在我们当下cpu、内存、服务规模都越来越大的情况下提供了更好的表现，而这一代ZGC更是有了突破性的进步。

从原理上来理解，ZGC可以看做是G1之上更细粒度的内存管理策略。由于内存的不断分配回收会产生大量的内存碎片空间，因此需要整理策略防止内存空间碎片化。

在整理期间需要将对于内存引用的线程逻辑暂停，这个过程被称为"Stop the world"。只有当整理完成后，线程逻辑才可以继续运行。

什么叫泛型?有什么作用?

泛型。即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型类和泛型方法同时具备可重用性、类型安全和效率，这是非泛型类和非泛型方法无法具备的。泛型通常用与集合以及作用于集合的方法一起使用。

泛型是c#2.0的一个新增加的特性，它为使用c#语言编写面向对象程序增加了极大的效力和灵活性。不会强行对值类型进行装箱和拆箱，或对引用类型进行向下强制类型转换，所以性能得到提高。

Java 的泛型

Java 泛型的参数只可以代表类，不能代表个别对象。由于Java泛型的类型参数之实际类型在编译时会被消除，所以无法在运行时得知其类型参数的类型，而且无法直接使用基本值类型作为泛型类型参数。Java编译程序在编译泛型时会自动加入类型转换的编码，故运行速度不会因为使用泛型而加快。

由于运行时会消除泛型的对象实例类型信息等缺陷经常被人诟病，Java及JVM的开发方面也尝试解决这个问题，例如Java通过在生成字节码时添加类型推导辅助信息，从而可以通过反射接口获得部分泛型信息。通过改进泛型在JVM的实现，使其支持基本值类型泛型和直接获得泛型信息等。

为什么Java没有类似C#里var或者C++

你说的是自动类型推导吧，C# 里的 var ，和 C++11 里的 auto 这些关键字。

首先这些关键字是我们所说的“语法糖”，能够简化编程，提高效率，再者就是实现泛型编程。而 Java 标准的制定者可能是考虑到类型推倒的效率等因素，目前没有向 Java 中增加这个特性。但不一定未来不增加，原来 Java 也是没有泛型容器的，现在不是也有了吗。

关于java类型推导和java的类方法和实例方法的介绍到此就结束了，不知道你从中找到你需要的信息了吗？如果你还想了解更多这方面的信息，记得收藏关注本站。

标签：java类型推导