A：final类不一定是不可变类，因为对于final类的某个成员变量，若存在对该成员变量的访问器并且该成员变量(对象)存在修改器，那么该final类就不是不可变类。
B：简单的Enum类型是线程安全的枚举类型，但是如果Enum中嵌套了非线程安全的内容时，就不是线程安全的(下次举详细的例子，最近项目中出现过这样的情况，导致并发问题)。
这种抽象联想来自“成功因素模型”。