字段注入如何破坏不可变性？Spring不可变类实现疑问

好问题！咱们先从不可变对象的核心定义说起，再拆解字段注入的问题，最后看怎么实现你要的不可变Spring组件。

首先，不可变对象的核心要求是：对象一旦被创建，它的状态就永远不能被修改。这意味着所有字段都应该是final的，而且对象在构造完成后，任何操作（包括框架的操作）都不能改变它的内部状态。

那字段注入（把@Autowired放在字段上）为啥会破坏这个规则？因为Spring的字段注入逻辑是这样的：

• 先调用类的无参构造器创建对象（此时你的person字段是null，对象处于“不完整”状态）
• 再通过反射机制给person字段赋值，修改对象的状态

这就直接违背了不可变对象“构造完成后状态固定”的要求——对象在创建之后，状态被框架修改了，从person=null变成了person=注入的实例。

再看你写的代码：

@Component
public final class SpringTest {
    @Autowired
    private Person person;
    // 无setter，仅提供带防御性拷贝的getter
}

这个类确实是final的（防止子类重写逻辑篡改状态），也没有暴露setter，但问题出在两点：

1. person字段不是final，意味着它的值可以被修改（哪怕是Spring通过反射修改）
2. Spring是在对象创建完成后才给person赋值的，导致对象状态在构造后发生了变化

所以这根本不是一个不可变对象。

那怎么实现真正不可变的Spring组件？答案是使用构造器注入，把字段设为final：

@Component
public final class SpringTest {
    private final Person person;

    // 构造器注入，Spring会自动把Person实例传入
    @Autowired // Spring 4.3+ 对于只有一个构造器的类，这个注解可以省略
    public SpringTest(Person person) {
        // 如果Person是可变类型，这里必须做防御性拷贝，避免外部修改内部状态
        this.person = new Person(person.getName(), person.getAge()); // 假设Person有拷贝构造器
    }

    // 如果返回的是可变对象，getter也要做防御性拷贝
    public Person getPerson() {
        return new Person(person.getName(), person.getAge());
    }
}

这样做的好处：

• person是final的，一旦构造完成就无法被修改
• 对象在构造的瞬间就完成了所有字段的赋值，没有后续的状态变更
• 类是final的，避免子类通过继承破坏不可变性
• 构造器和getter的防御性拷贝，能防止外部通过引用修改对象的内部状态

总结一下：字段注入的本质是“先创建空对象，再补全状态”，这天生和不可变对象“构造即完成状态初始化”的要求冲突。只有构造器注入才能保证对象在创建的瞬间就拥有完整、固定的状态，实现真正的不可变性。

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