非强类型语言中如何实现鸭子类型？兼谈JavaScript相关疑问

嘿，这个问题问到点子上了——很多人刚接触鸭子类型时，都会把它和JavaScript的弱类型特性混为一谈，咱们一步步把这个事儿掰扯清楚。

首先得明确两个容易混淆的概念：

• 弱类型：是JavaScript语言本身的类型系统特性，指的是语言允许变量的类型隐式转换，不需要显式声明类型。
• 鸭子类型：是一种编程范式，核心逻辑是「如果一个对象走起来像鸭子、叫起来像鸭子，那我们就可以把它当作鸭子对待」——它关注的是对象的行为（方法/属性），而不是对象的类型本身。

JavaScript确实天生就支持鸭子类型，但这里说的「实现」，其实是指我们如何主动、稳妥地应用鸭子类型范式，而不是依赖语言默认的弱类型容错。下面是几种常见的实现方式：

1. 隐式应用：直接调用目标行为 #

这是JavaScript最原生的鸭子类型用法——不需要任何额外检查，直接调用你期望的方法/属性，只要对象具备这个行为，代码就能正常运行。比如：

function makeItQuack(duckLike) {
  duckLike.quack(); // 不管它是Duck类实例，还是随便一个带quack方法的对象
}

// 不是鸭子，但有quack方法的对象
const myPetDog = {
  quack: () => console.log('汪...不对，是嘎嘎！')
};

makeItQuack(myPetDog); // 完美执行，输出"汪...不对，是嘎嘎！"

这种方式完全依赖JS的弱类型特性，但缺点是如果传入的对象没有对应的行为，会直接抛出运行时错误。

2. 显式检查：提前验证行为存在性 #

为了避免运行时崩溃，我们可以主动检查对象是否具备所需的行为，这是更稳妥的「实现」鸭子类型的方式：

function makeItQuackSafely(duckLike) {
  // 检查quack是否是一个函数，可选链避免null/undefined报错
  if (typeof duckLike?.quack === 'function') {
    duckLike.quack();
  } else {
    console.error('这个玩意儿不会嘎嘎叫啊！');
  }
}

const rock = {}; // 完全没有quack方法的对象
makeItQuackSafely(rock); // 不会报错，只会输出错误提示

这里我们没有检查对象的类型（比如是不是Duck类的实例），只检查它有没有我们需要的quack方法——这就是鸭子类型的核心：只看行为，不看身份。

3. 自定义类型守卫：明确行为标准 #

如果你需要多次判断同一类鸭子类型对象，可以封装一个类型守卫函数，让代码更清晰、可复用：

// 定义"鸭子样"的标准：有quack和waddle方法
function isDuckLike(obj) {
  return (
    typeof obj === 'object' && obj !== null &&
    typeof obj.quack === 'function' &&
    typeof obj.waddle === 'function'
  );
}

function playWithDuck(duckLike) {
  if (isDuckLike(duckLike)) {
    duckLike.quack();
    duckLike.waddle();
  } else {
    throw new Error('这不是一只合格的"鸭子"！');
  }
}

这个守卫函数明确了我们对「鸭子」的行为要求，每次使用时只要调用它，就能确保传入的对象符合鸭子类型的预期。

最后回答你的疑问： #

鸭子类型本身并不是「不强制强类型」，它是一种独立于类型系统的编程思路。JavaScript的弱类型特性让鸭子类型的实现变得非常自然，但即使是强类型语言（比如Python，它是强类型动态语言）也同样支持鸭子类型——核心都是关注对象能做什么，而不是它是什么类型。

内容的提问来源于stack exchange，提问作者bsky