为何IntelliJ无法识别多对多双向关系中带final的反向属性？

问题背景 #

在Spring Boot 2.7.2项目中，我们定义了双向多对多关系的Student和Subject JPA实体，为避免集合字段被持久化上下文意外重新初始化，将集合字段设为final且不提供Setter方法。测试代码可正常运行，但IntelliJ 2022.2却提示无法找到Student类中存在的反向属性subjects；移除final关键字后红线消失，IntelliJ又会建议加回final。

实体与测试代码示例 #

Student实体 #

@Getter
@Entity
public class Student {
    @Id
    @GeneratedValue(strategy = GenerationType.IDENTITY)
    private Long id;

    @Setter
    private String name;

    @JoinTable(
            name = "student_subject",
            joinColumns = @JoinColumn(name = "student_id"),
            inverseJoinColumns = @JoinColumn(name = "subject_id")
    )
    @ManyToMany(cascade = CascadeType.ALL)
    private final Set<Subject> subjects = new LinkedHashSet<>();

    // 构造方法等其他代码
}

Subject实体 #

@Getter
@Entity
public class Subject {
    @Id
    @GeneratedValue(strategy = GenerationType.IDENTITY)
    private Long id;

    @Setter
    private String name;

    @ManyToMany(mappedBy = "subjects")
    private final Set<Student> students = new LinkedHashSet<>();

    // 构造方法等其他代码
}

测试代码 #

public interface StudentRepository extends JpaRepository<Student, Long> {}

@Test
void studentMattStudiesMathAndHistory() {
    Student student = new Student("Matt");
    student.getSubjects().add(new Subject("Math"));
    student.getSubjects().add(new Subject("History"));
    studentRepository.saveAndFlush(student);
}

问题分析与结论 #

这是IntelliJ的静态代码分析Bug，而非代码本身存在问题：

• 从JPA规范和实际运行逻辑来看，final修饰集合字段的写法完全合规：JPA实现（如Hibernate）只会操作集合的内容（添加/删除元素），不会重新赋值集合对象，所以final修饰符不会影响持久化逻辑，测试代码正常运行也验证了这一点。
• IntelliJ的JPA实体关系校验模块在处理final修饰的集合字段时，出现了识别错误，无法正确关联双向关系中的mappedBy属性，导致误报；移除final后校验逻辑恢复正常，但此时IntelliJ的代码规范检查又会根据"不可变集合字段应设为final"的规则建议加回final，形成矛盾。

临时解决方案 #

• 可以在Subject类的students字段上添加// noinspection JpaAttributeTypeInspection注解，忽略该误报并保留final修饰符
• 升级IntelliJ到2022.3及更高版本，该Bug在后续版本中已被官方修复

内容的提问来源于stack exchange，提问作者DJuno