为何无待重写方法却可添加@Override注解且无语法错误？

你这段代码里的@Override能正常使用且不报错，核心原因和Java Record的隐式方法生成规则有关：

• 当你定义BeardedDragon(boolean fun)这个Record类时，编译器会自动为每个组件生成一个隐式的公共访问器方法，这里对应就是public boolean fun()——这个方法你没手动写，但在编译层面是Record类的隐式成员。
• 当你手动实现fun()方法并加上@Override时，编译器会认定你是在重写这个自动生成的隐式访问器方法，所以不会触发语法错误。

简单来说，这个@Override不是重写父类（比如java.lang.Record）的方法，而是重写编译器替Record自动生成的默认访问器，Java编译器允许对这种隐式存在的Record访问器方法使用@Override注解。

你的代码示例：

package ocp17.ch07;

public record BeardedDragon(boolean fun) {
    
    @Override
    public boolean fun() {
        return false;
    }
    
}

内容的提问来源于stack exchange，提问作者Đỗ Như Vỹ