为什么这个类可变？

Question

public class Test {
    private final String url;
    public Test(String url) {
        this.url = url;
    }
    public String getUrl() {
        return url;
    }
}

Test类有:

1. 只有一个私有和最终的实例变量.
2. 没有二传手.
3. 初始化实例变量的唯一方法是通过构造函数.
4. 一旦设置了URL,即使在getUrl中也不能修改它,即使该方法被Test的任何子类覆盖.

但是我正在阅读的一本书说上面的Test类是可变的,因为:

• 这两个类都不是最终的,因此它可以扩展,并且子类可以覆盖实例方法.但Test类实际上没有构造函数以外的任何实例方法.

• 构造函数也不是私有的.

你能帮我理解为什么Test类是可变的吗？

Answer 1

Test尽管是直接实例,但不保证任意实例是不可变的Test.但请考虑这个子类:

public class MutableTest extends Test {
        private int mutable;
        public MutableTest(String url) {
                super(url);
        }

        @Override
        public String getUrl() {
                return super.getUrl() + mutable++;
        }
}

然后你可以这样写:

Test instance = new MutableTest("http://example.com/");
String firstGet = instance.getUrl();
String secondGet = instance.getUrl();
assertEquals(firstGet, secondGet); // Boom!