如何从对象数组中提取特定属性的值到新数组？

大家好！我刚开始学习JavaScript，遇到了这样一个任务。我有一个对象数组，每个对象代表一个用户，包含字段 name、age 和 email。我需要得到一个数组，其中只包含每个对象中 name 属性的值。也就是说，从这样的数组：

const users = [
  { name: '安娜', age: 25, email: 'anna@example.com' },
  { name: '伊万', age: 30, email: 'ivan@example.com' },
  { name: '玛丽亚', age: 22, email: 'maria@example.com' }
];

我想得到：

['安娜', '伊万', '玛丽亚']

我尝试过用 for 循环来做，但显得很笨重。我听说在现代JavaScript中有更优雅的方法。请教一下，如何漂亮且正确地实现？最好有代码示例。提前感谢！