TypeScript函数参数类型声明机制及map回调返回类型疑问

你混淆了TypeScript箭头函数中参数类型标注和返回值类型标注的语法位置，这是问题的核心：

语法规则澄清 #

在箭头函数中：

• 参数的类型标注写在参数名后面，格式为 (参数名: 类型)
• 返回值的类型标注写在参数列表括号之后、箭头之前，格式为 (参数名): 返回值类型 => ...

所以你代码里的 (name): Person => ({ name })，这里的Person是箭头函数的返回值类型，不是参数name的类型。参数name的类型依然是原数组元素的string（TypeScript会自动从string[]数组中推断出来）。

为什么这个写法合法？ #

这个箭头函数的逻辑是：接收一个string类型的name参数，返回一个符合Person接口的对象。因为{ name }正好包含Person接口要求的name: string属性，完全符合类型要求，所以TypeScript不会报错。

而你测试的let p: Person = "Alice"报错，是因为字符串本身不是Person类型的对象，和箭头函数的返回值标注逻辑完全无关——后者是告诉TS“我这个函数返回的是Person类型的对象”，而不是把参数转换成Person类型。

对比三种写法的差异 #

1. 无返回值标注的写法：

const people = ['alice', 'bob', 'jan'].map(name => ({name}))   
// 类型为 { name: string; }[]

TS只能推断出返回的是普通对象数组，不知道你要映射成Person类型。

2. 显式声明变量的写法：

const people = ['alice', 'bob', 'jan'].map(name => {
   const person: Person = {name};
   return person
});   
// 类型为 Person[]

通过中间变量显式指定类型，虽然能达到目的，但多了冗余代码。

3. 返回值标注的简写：

const people = ['alice', 'bob', 'jan'].map(
   (name): Person => ({ name })
); 
// 类型为 Person[]

直接给箭头函数指定返回值类型，既简洁又明确告诉TS函数的返回类型，是最优雅的写法。

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