首先，在你的代码中初始化(即第一次赋值)foo的地方在这里:

foo = new ArrayList();

foo是一个对象(类型为List)，因此它是一个引用类型，而不是一个值类型(如int)。因此，它持有对存储List元素的内存位置(例如0xA7D2A834)的引用。像这样的线

foo.add("foo"); // Modification-1

不要更改foo的值(同样，它只是一个对内存位置的引用)。相反，它们只是在引用的内存位置中添加元素。要违反final关键字，你必须尝试重新分配foo，如下所示:

foo = new ArrayList();

这将导致编译错误。

现在，考虑一下当您添加static关键字时会发生什么。

当你没有static关键字时，实例化类的每个对象都有自己的foo副本。因此，构造函数将一个值赋给foo变量的一个空白的新副本，这是完全没问题的。

然而，当你有static关键字时，内存中只有一个foo与类相关联。如果要创建两个或多个对象，构造函数每次都会尝试重新分配那个foo，这违反了final关键字。

假设你有两个储蓄罐，红的和白的。你把这些钱箱只分配给两个孩子，他们不允许交换他们的钱箱。所以你有红色或白色的钱箱(最终)，你不能修改盒子，但你可以把钱放在你的盒子上。没人在乎(修改-2)。

由于final变量是非静态的，所以可以在构造函数中初始化它。但是如果你让它是静态的，它就不能被构造函数初始化(因为构造函数不是静态的)。 对列表的添加不期望通过使列表最终停止。Final只是将引用绑定到特定对象。你可以自由地改变对象的“状态”，但不能改变对象本身。

以上都是正确的。此外，如果您不希望其他人从您的类中创建子类，则将您的类声明为final。然后它就变成了类树层次结构的叶级，没有人可以进一步扩展它。避免庞大的类层次结构是一个很好的实践。

当你让它成为静态final时，它应该在静态初始化块中初始化

    private static final List foo;

    static {
        foo = new ArrayList();
    }

    public Test()
    {
//      foo = new ArrayList();
        foo.add("foo"); // Modification-1
    }

值得一提的是一些简单的定义:

类/方法

您可以将类的部分或全部方法声明为final，以指示该方法不能被子类覆盖。

变量

一旦final变量初始化，它总是包含相同的值。

Final基本上避免被任何东西(子类，变量“重赋”)覆盖/上写，这取决于情况。