为什么我们在 Javascript 中使用术语阴影而不是覆盖？

Question

我想我在开始之前就知道了这个问题的答案，但是在 Google 上按照这些思路进行了多次搜索之后，我找不到明确的答案。

这个问题假设我们在 Ecmascript 6 及更高版本中使用类模式。

我最初的信念是方法覆盖

在面向对象的编程中，是一种语言特性，它允许 子类或子类来提供一个特定的实现 已经由其超类或父类之一提供的方法 类。 Wikipedia

另一方面，方法阴影（不仅仅是块范围'变量阴影'-Wikipedia）似乎只在像 C# 这样的强类型语言的上下文中才有意义，它允许您设置一个 ' 的实例子类”作为“基类”类型，这意味着实例恢复为基类方法，而不是任何“阴影”方法。

public abstract class BaseClass
{
    public virtual void shadowedMethod()
    {
        Console.WriteLine("This is the BaseClass version");
    }
}
public class DerivedClass : BaseClass
{
    public new void shadowedMethod()
    {
        Console.WriteLine("This is the Derived child class");
    }
}
public class Program
{
    public static void Main()
    {
        BaseClass instance = new DerivedClass(); // Because BaseClass type is set instead of DerivedClass
        instance.shadowedMethod(); // It prints "This is the BaseClass version"
    }
}

Code adapted from this article

所以问题是：为什么大多数 JS 线程和文档ECMA Standard 交替使用覆盖和阴影（但倾向于使用阴影）？我们不应该只用一个词来停止混淆吗？在 Javascript 中，重写和隐藏方法之间实际上存在细微差别吗？

Answer 1

我很难在 Javascript 的上下文中找到明确的定义。所以这是我回答自己问题的最佳尝试。

看起来派生类（作为基类）中具有相同名称的所有方法都是“影子方法”，并且接受相同参数（因此创建相同接口）的方法子集也是“被覆盖的方法，因为“被覆盖的成员必须接受相同的数据类型和参数数量”。 (see this article)

如果派生类上的方法使用相同的签名（接受相同的参数），则它会覆盖父/基类：

class BaseClass {
  overriddenMethod(a) {
    return a;
  }
}

class DerivedClass {
  overriddenMethod(a) {
    return 2*a;
  }
}

但如果派生类方法接受不同的参数，它只是'遮蔽'：

class BaseClass {
  overriddenMethod(a) {
    return a;
  }
}

class DerivedClass {
  overriddenMethod(a, b) { // This is not overriding because it accepts different parameters.
    return a + b;
  }
}

更详细地说，它是“阴影”的，因为 Javascript 是一种原型语言，这意味着一切都是对象（甚至是类定义），因此一切最终都是对象上的变量，因此是“变量阴影”上的变量outerscope 在原型链的上游。