Java 17新特性

1. 字符串格式

• 三引号支持格式化的字符串，类似ts中的 斜引号

    public static void main(String[] args) {
        String str = """
            {
               "name":"erick",
               "age":"12"
            }
            """;
        System.out.println(str);
    }

2. 类型格式转换

package com.erick;

import java.util.ArrayList;

public class Demo01 {
    public static void main(String[] args) {
        ArrayList<String> names = new ArrayList<>();
        names.add("erick");
        names.add("tom");
        typeChange(names);
    }

    /*类型转换，直接使用转换后的变量*/

    private static void typeChange(Object obj) {
        if (obj instanceof ArrayList list) {
            System.out.println(list.size());
        }
    }
}

3. sealed属性

• 提供了更具体的，关于修饰符的语法

package com.erick;

public class Demo02 {
}


final class LihuaCat extends Cat{

}

sealed class Cat implements Animal {

    @Override
    public void eat() {
        System.out.println("猫吃鱼");
    }
}

final class Dog implements Animal {

    @Override
    public void eat() {
        System.out.println("狗吃肉");
    }
}

/*1. sealed: 可以修饰接口或者类，表示是一个密封的对象
* 2. permits: 允许那些类来继承或者实现
* 3. 具体继承或者实现的类： 要么是final修饰，从而保证不会被其他类继承
*                       要么也是seald修饰
*
* 4. sealed修饰类：必须有一个子类*/
sealed interface Animal permits Dog, Cat {
    void eat();
}