为方法参数分配新值是否有问题？

Question

Eclipse 有一个选项可以在分配给方法的参数（在方法内部）时发出警告，如下所示：

public void doFoo(int a){
   if (a<0){
      a=0; // this will generate a warning
   }
   // do stuff
}

通常我会尝试激活（并注意）几乎所有可用的编译器警告，但在这种情况下我不确定是否值得。

我看到了在方法中更改参数的合法案例（例如：允许参数“未设置”（例如 null）并自动替换默认值），但很少会导致问题，除非它可能在方法中间重新分配参数会有点混乱。

您是否使用此类警告？为什么/为什么不？

注意：

避免这个警告当然等同于使方法参数final（只有这样它是一个编译器错误:-)）。所以这个问题Why should I use the keyword "final" on a method parameter in Java? 可能是相关的。

Answer 1

对我来说，只要你早点清楚，就可以了。正如您所说，将其深埋在 30 行函数中的四个条件中并不理想。

显然，在对对象引用执行此操作时，您也必须小心，因为在给定对象上调用方法可能会更改其状态并将信息传回给调用者，但当然，如果您使用自己的占位符进行替换，则不会传达该信息。

另一方面是，声明一个新变量并为其分配参数（如果参数需要默认，则为默认值）可能会更清晰，而且几乎肯定不会降低效率——任何体面的编译器（无论是主编译器）或 JIT）将在可行时对其进行优化。

Answer 2

不同的编译器警告可能适用于不同的情况。当然，有些适用于大多数或所有情况，但这似乎不是其中之一。

我认为这个特殊的警告是编译器给你的选项，让你在需要时警告方法参数被重新分配，而不是方法参数不应该被重新分配的规则。您的示例构成了一个完全有效的案例。

Answer 3

令人困惑的部分是警告的原因。如果您在方法中为参数重新分配新值（可能是有条件的），那么不清楚 a 是什么。这就是为什么保持方法参数不变被认为是好的风格。

Answer 4

分配方法参数并不是大多数人期望在大多数方法中发生的事情。由于我们阅读代码时假设参数值是固定的，因此分配通常被认为是不好的做法，如果只是按照惯例和 principle of least astonishment。

分配方法参数总是有其他选择：通常本地临时副本就可以了。但通常，如果您发现需要通过重新分配参数来控制函数的逻辑，则可以从重构为更小的方法中受益。

Answer 5

我有时会在以下情况下使用它：

void countdown(int n)
{
   for (; n > 0; n--) {
      // do something
   }
}

避免在for循环中引入变量i。通常我只在很短的函数中使用这些“技巧”。

我个人非常不喜欢以这种方式在函数内“纠正”参数。我更喜欢通过断言来捕捉这些并确保合同是正确的。

Answer 6

我通常不需要为方法参数分配新值。

至于最佳实践 - 警告也避免了面对以下代码时的混淆：

       public void foo() {
           int a = 1;
           bar(a);
           System.out.println(a);
       }

       public void bar(int a) {
           a++;
       }

Answer 7

如果参数是引用类型，重新分配给方法参数变量通常是错误的。

考虑以下代码：

MyObject myObject = new myObject();
myObject.Foo = "foo";
doFoo(myObject);

// what's the value of myObject.Foo here?

public void doFoo(MyObject myFoo){   
   myFoo = new MyObject("Bar");
}

许多人会期望在调用 doFoo 之后，myObject.Foo 将等于“Bar”。当然不会——因为Java不是通过引用传递，而是通过引用值传递——也就是说，一个拷贝的引用传递给方法。重新分配给该副本仅在本地范围内有效，而在调用点无效。这是最常被误解的概念之一。

Answer 8

你应该编写没有副作用的代码：每个方法都应该是一个不会改变的函数。否则它是一个命令，它可能很危险。

在 DDD 网站上查看 command 和 function 的定义：

功能： 一种计算并返回结果而没有可观察到的副作用的操作。

Command ：对系统产生某些改变的操作（例如 例如，设置一个变量）。一个 故意创建的操作 副作用。