接上一篇密封类，这篇聊聊instanceof增强

• 对instanceof增强，首先在JDK 14中以预览版的形式发布。在JDK 15中，改进后再次以预览版的形式发布。最后，版本在JDK 16正式发布。

instanceof增强了什么呢？

我们来看个例子，增强前：

public interface Shape {
    public static double getPerimeter(Shape shape) throws IllegalArgumentException {
        if (shape instanceof Rectangle) {
            //需要手动转换
            Rectangle r = (Rectangle) shape;
            return 2 * r.length() + 2 * r.width();
        } else if (shape instanceof Circle) {
            Circle c = (Circle) shape;
            return 2 * c.radius() * Math.PI;
        } else {
            throw new IllegalArgumentException("Unrecognized shape");
        }
    }
}
public class Rectangle implements Shape {
    final double length;
    final double width;    
    public Rectangle(double length, double width) {
        this.length = length;
        this.width = width;
    }    
    double length() { return length; }
    double width() { return width; }
}
public class Circle implements Shape {
    final double radius;
    public Circle(double radius) {this.radius = radius;}  
    double radius() { return radius; }
}

增强后：

public static double getPerimeter(Shape shape) throws IllegalArgumentException {
    //自动转换并赋值变量r
    if (shape instanceof Rectangle r) {
        return 2 * r.length() + 2 * r.width();
    } else if (shape instanceof Circle c) {
        return 2 * c.radius() * Math.PI;
    } else {
         throw new IllegalArgumentException("Unrecognized shape");
    }
}

注意点??

这里需要注意的是转换赋值局部变量的生效范围，看如下几个例子：

public static double getPerimeter(Shape shape) throws IllegalArgumentException {
    if (shape instanceof Rectangle s) {
        //变量s作为Rectangle生效
    } else if (shape instanceof Circle s) {
        //变量s作为Circle生效
    } else {
        //变量s不生效
    }
}

public static boolean bigEnoughRect(Shape s) {
    if (!(s instanceof Rectangle r)) { 
        //变量s生效
        return false;
    } 
    //变量s生效
    return r.length() > 5; 
}

这里就可以看到局部变量在判断为true的分支生效。

还有一个比较特殊的情况：

if (shape instanceof Rectangle r && r.length() > 5) {//可以
     // ...
}
if (shape instanceof Rectangle r || r.length() > 5) {//错误
     // ...
}

不知道大家对这个增强怎么看，欢迎留言讨论。

下一篇：java新特性（六）switch优化