java - Java中的常量返回值

Question

我来自 C++ 背景，想知道 Java 的不可变特性。函数的返回值可以指定为 const 吗？（表示返回值不能修改）

同样对于奖励积分，在 c++ 中，函数定义可以后缀为 const 以声明该函数不会修改任何类级别的值。这在Java中也可以吗？（这意味着根据定义，函数将无法在内部更改其类状态）

非常感谢！

Answer 1

不，Javafinal与 C++ 的const. 你不能做任何你要求的事情。

要使对象不可变，或多或少取决于您来强制执行它（而不是像在 C++ 中那样获得编译器的帮助）。来自http://docs.oracle.com/javase/tutorial/essential/concurrency/imstrat.html：

以下规则定义了创建不可变对象的简单策略。...

1. 不要提供“setter”方法——修改字段或字段引用的对象的方法。
2. 使所有字段final和private.
3. 不允许子类覆盖方法。最简单的方法是将类声明为final. 更复杂的方法是private在工厂方法中制作构造函数和构造实例。
4. 如果实例字段包含对可变对象的引用，则不允许更改这些对象：
   • 不要提供修改可变对象的方法。
   • 不要共享对可变对象的引用。永远不要存储对传递给构造函数的外部可变对象的引用；如有必要，创建副本并存储对副本的引用。同样，在必要时创建内部可变对象的副本以避免在方法中返回原始对象。

Answer 2

不，实际上没有办法在任何地方创建不可变对象。如果你想要一些不可变的东西，它必须在整个树上都是不可变的（最终的）。

例如，以下示例在每个地方（根目录除外）都使用了 final 但仍然无法阻止任何更改：

public class justAnInt {
    public int a = 0;
    public int b = 0;
}

// -----------------------------------

public class AliasProblem{
    private final justAnInt var = new justAnInt();
    final justAnInt getVar()
    {
        return var;
    }

    public static void main(String argv[])
    {
        final AliasProblemObject = new AliasProblem();
        final justAnInt localVar = AliasProblemObject.getVar();
        localVar.a = 19;
        System.out.println("object: " + object.getVar().a);
        System.out.println("local: " + localVar.a);
    }

}

Answer 3

我认为您可以返回对象数据的副本以供阅读，从而保护它们不被修改。但是额外的副本似乎是不可变的一个很好的代价。