Java 8改进的类型推断

喜欢ヅ旅行 2021-09-29 06:54 419阅读 0赞

**一 点睛**

Java8改进了泛型方法的类型推断能力，类型推断主要有如下两个方面。

可通过调用方法的上下文来推断类型参数的目标类型。

可在方法调用链中，将推断得到的类型参数传递到最后一个方法。

**二 代码**

class MyUtil<E>
    {
       public static <Z> MyUtil<Z> nil()
       {
          return null;
       }
       public static <Z> MyUtil<Z> cons(Z head, MyUtil<Z> tail)
       {
          return null;
       }
       E head()
       {
          return null;
       }
    }
    public class InferenceTest
    {
       public static void main(String[] args)
       {
          // 可以通过方法赋值的目标参数来推断类型参数为String
          MyUtil<String> ls = MyUtil.nil();
          // 无需使用下面语句在调用nil()方法时指定类型参数的类型
          MyUtil<String> mu = MyUtil.<String>nil();
          // 可调用cons方法所需的参数类型来推断类型参数为Integer
          MyUtil.cons(42, MyUtil.nil());
          // 无需使用下面语句在调用nil()方法时指定类型参数的类型
          MyUtil.cons(42, MyUtil.<Integer>nil());
    
          // 希望系统能推断出调用nil()方法类型参数为String类型，
          // 但实际上Java 8依然推断不出来，所以下面代码报错
    //    String s = MyUtil.nil().head();
          //String s = MyUtil.<String>nil().head();
       }
    }

发表评论取消回复

表情：

评论列表（有 0 条评论，419人围观）

还没有评论，来说两句吧...

相关阅读

相关 TypeScript的类型注解和类型推断

TypeScript希望开发者写出的代码中每个变量的类型都是确定的，而想要做到这一点就需要类型注解和类型推断。类型注解（Type annotation）所谓类型注解

梦里梦外;/ 2023年07月20日 12:19/ 0 赞/ 53 阅读

相关 C++之类型推断

文章目录 1. auto 关键字 1. auto 2. auto 的使用限制 3. auto

今天药忘吃喽~/ 2023年07月15日 09:08/ 0 赞/ 79 阅读

相关 IDEA java 不兼容的类型无法推断类型变量

突然就碰到了这个问题，看了一下是泛型的使用，于是就查了一下，大概是说： Eclipse编译代码使用的是Eclipse自带的JDT（Java Development To

墨蓝/ 2023年05月31日 06:50/ 0 赞/ 14 阅读

相关 Scala中的类型推断

Scala类型接口 (Scala Type Interface) Type interface in Scala is used to make the type dec

Love The Way You Lie/ 2023年03月05日 09:38/ 0 赞/ 68 阅读

相关 IDEA 设置Kotlin 自动类型推断后的类型

开发kotlin类型大部分都是类型推断出来的，为了编码的规范，防止因为类型问题出现bug，可以设置类型推断的显示。 ![在这里插入图片描述][watermark_type_

怼烎@/ 2023年01月23日 09:58/ 0 赞/ 98 阅读

相关 mysql8锁改进_MySQL 8.0的最新改进

![6cedc206cfda72c289c1b485c09fde24.png][] 一、关于MySQL Server的改进 1.1 redo log 重构在MySQL8

深藏阁楼爱情的钟/ 2023年01月11日 13:27/ 0 赞/ 234 阅读

相关 java泛型函数类型推断_Java8中对泛型目标类型推断方法的改进

一、简单理解泛型泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。通俗点将就是“类型的变量”。这种类型变量可以用在类、

淩亂°似流年/ 2022年11月04日 00:50/ 0 赞/ 236 阅读

相关 java8新特性--类型推断的理解（泛化目标类型推断）

简单理解泛型泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。通俗点将就是“类型的变量”。这种类型变量可以用在类、

「爱情、让人受尽委屈。」/ 2022年09月22日 13:55/ 0 赞/ 312 阅读

相关 Java11新特性（四）——局部变量的类型推断

> 前言在文章的前一章节中主要对 [《 JShell使用教程&指南》][JShell_] 进行了编写，本篇的主要内容为 “ Local-Variable Syntax

一时失言乱红尘/ 2022年02月27日 06:56/ 0 赞/ 588 阅读

相关 Java 8改进的类型推断

一点睛 Java8改进了泛型方法的类型推断能力，类型推断主要有如下两个方面。可通过调用方法的上下文来推断类型参数的目标类型。可在方法调用链中，将推断得到的类型参数传

喜欢ヅ旅行/ 2021年09月29日 06:54/ 0 赞/ 420 阅读