Java 20 的新特性涉及到了许多领域，包括模式匹配、协变返回类型、记录类型等。

模式匹配：

模式匹配是一种用于测试数据是否匹配某种模式的方式，并且可以将匹配的数据提取出来。在 Java 20 中，模式匹配主要用于 instanceof 操作符的模式匹配改进以及 switch 语句的模式匹配。

示例代码：

// instanceof 的模式匹配
if (obj instanceof String s) {
    System.out.println("obj 是一个字符串：" + s);
}

// switch 语句的模式匹配
switch (obj) {
    case Integer i -> System.out.println("obj 是一个整数：" + i);
    case String s -> System.out.println("obj 是一个字符串：" + s);
}

协变返回类型：

Java 20 允许子类的重写方法返回更具体的类型。这样可以提高代码的灵活性和可读性。

示例代码：

class Parent {
    Parent getInstance() {
        return new Parent();
    }
}

class Child extends Parent {
    @Override
    Child getInstance() {
        return new Child();
    }
}

记录类型：

记录类型是一种新的数据类型，用于表示不可变的数据。它是一种类似于传统 Java 类的结构，但更简洁和易于使用。

示例代码：

record Person(String name, int age) {}

// 创建记录对象
Person person = new Person("Alice", 30);

// 访问记录对象的属性
System.out.println(person.name()); // 输出：Alice
System.out.println(person.age());  // 输出：30

以上是 Java 20 中一些主要新特性的简要介绍和示例代码。这些新特性的引入使得 Java 编程更加简洁、灵活和易于使用，有助于提高开发效率和代码质量。