是否允许更改非静态类型语言中的方法签名

Question

假设性和学术性问题。

伪代码：

<pre><code>
class Book{
 read(theReader)
}

class BookWithMemory extends Book {
  read(theReader, aTimestamp = null)
}
</pre></code>

假设：

• 接口（如果支持）将禁止它

• 支持参数的默认值

注意：

• PHP 会为此触发严格的标准错误。

Answer 1

对于 PHP 严格模式抱怨这种覆盖，我并不感到惊讶。很容易无意中出现类似的情况，其中类层次结构的一部分被编辑为使用新签名，并且一个或几个类不同步。

为了避免歧义，请将新方法命名为不同的名称（对于本例，可能是 readAt？），并覆盖 read 以在新班级。这使得解释器以及阅读代码的任何人都清楚其意图。

---

这种情况下的实际行为是依赖于语言的——更具体地说，它取决于方法选择器的签名数量以及参数的传递方式。

如果名称本身就是选择器（如在 PHP 或 Perl 中），那么这取决于语言如何处理不匹配的方法参数列表。如果默认参数是在调用站点根据接收者的静态类型而不是在被调用者的入口点处理的，那么当通过基类引用调用时，您最终会得到一个未定义的参数值，而不是指定的默认值，类似于如果没有指定默认值会发生什么。

如果参数的数量（带或不带类型）是方法选择器的一部分（如在 Erlang 或 E 中），这在 JVM 或 CLR 上运行的动态语言中很常见，那么您有两种不同的方法。创建一个带有附加参数的新重载，并使用使用默认参数值调用新重载的方法重写基本方法。

Answer 2

如果我正确地阅读了这个问题，这个问题似乎非常特定于语言（因为它不适用于所有动态语言），因为我知道你可以在 ruby​​ 中做到这一点。

class Book
  def read(book)
    puts book
  end
end

class BookWithMemory < Book
  def read(book,aTimeStamp = nil)
    super book
    puts aTimeStamp
  end
end

除了 ruby​​ 之外，我不确定还有哪些动态语言。这似乎也是一个非常主观的问题，因为在这个问题的两边至少设计了两种语言（方法重载与非方法重载：ruby 与 php）。