什么是伪多态？在JavaScript当中显式伪多态和隐式伪多态指的是什么？

news2024/10/6 17:11:43

显式伪多态

显式伪多态是在编程语言中通过非严格的多态性模拟多态行为的一种技术。在这种情况下，多态行为并不是通过经典的继承或接口机制实现的，而是通过一些显式的方法来模拟类似多态的效果。

显式伪多态的核心在于程序员显式地管理类型和行为，即通过代码判断类型并执行相应的操作，而不是让语言本身通过多态性自动处理不同类型的对象。这种方法模拟了多态的效果，但并不是正统的多态实现。

示例

在 JavaScript 中，假设我们有一个函数需要对不同类型的对象做不同的处理，我们可以通过类型检查来显式模拟多态行为。

function processAnimal(animal) {
  if (animal instanceof Dog) {
    animal.bark();
  } else if (animal instanceof Cat) {
    animal.meow();
  } else {
    console.log("Unknown animal");
  }
}

class Dog {
  bark() {
    console.log("Woof!");
  }
}

class Cat {
  meow() {
    console.log("Meow!");
  }
}

const dog = new Dog();
const cat = new Cat();

processAnimal(dog); // 输出: Woof!
processAnimal(cat); // 输出: Meow!

在这个例子中，我们通过 if-else 或者 switch 语句显式地模拟多态行为，这就是显式伪多态。程序员手动判断对象类型并调用相应的方法，而不是让编译器或运行时环境自动进行。

隐式伪多态

隐式伪多态是指通过一些更加间接或隐晦的方式来模拟多态行为。与显式伪多态不同，隐式伪多态不会通过显式的类型判断（如 if 或 switch）来区分不同的类型，而是通过一些技术（如鸭子类型、动态方法绑定等）让对象能够在不严格要求类型匹配的情况下表现出多态性。

隐式伪多态其实与鸭子类型（duck typing）的概念紧密相关。在鸭子类型的语言中（如 JavaScript 和 Python），对象的行为和方法决定了它的“类型”，而不是对象本身的类层次结构。因此，当对象的接口契约满足调用的要求时，不需要做显式的类型检查或判断。

示例：鸭子类型的隐式伪多态

function processAnimal(animal) {
  if (typeof animal.sound === "function") {
    animal.sound();
  } else {
    console.log("This animal can't make a sound.");
  }
}

const dog = {
  sound() {
    console.log("Woof!");
  }
};

const cat = {
  sound() {
    console.log("Meow!");
  }
};

const fish = {
  swim() {
    console.log("Swim, swim");
  }
};

processAnimal(dog);  // 输出: Woof!
processAnimal(cat);  // 输出: Meow!
processAnimal(fish); // 输出: This animal can't make a sound.

在这个例子中，我们不关心对象的具体类型（如 Dog 或 Cat），只关心对象是否有 sound() 方法。如果有，调用它；没有，就处理异常情况。这就是鸭子类型的一种形式，也是隐式伪多态的一种表现形式。