泛型类型是类型脚本

Question

function identity<String>(arg: String): String {
  return arg;
}
 
let myIdentity = identity([2]);
console.log()

嗨，有人能帮我理解为什么即使我传递一个数字数组也不会引发任何类型错误吗？

1. 是不是因为类型是 "String" 而不是 "string" ，它查找对象而不是原始对象？
2. 如果答案是“是”，如果我将所有内容都更改为字符串，我会收到错误消息说从未使用过字符串

function identity<string>(arg: string): string {
  return arg;
}
 
let myIdentity = identity([2]);
console.log(myIdentity )

'string' is declared but its value is never read.

Answer 1

您是shadowing 内置类型String 和string，使用它们的名称作为您的通用参数。就用一个非内置的参数名来解决吧：

TS Playground link

function identity<T extends string>(value: T): T {
  return value;
}
 
identity([2]); // error [2] doesn't extend string
identity('2'); // ok

如果你想要一个没有任何约束的泛型恒等函数，你可以使用不受约束的类型参数：

TS Playground link

function identity<T>(value: T): T {
  return value;
}
 
const numberArrayValue = identity([2]); // number[]
const objectValue = identity({b: 2}); // { b: number; }
const stringLiteralValue = identity('2'); // "2"
const numberLiteralValue = identity(2); // 2