Array。number:class Wrap {
value: number;
constructor(v: number) {
this.value = v;
}
}
现在我可以创建一个存储数字的实例，并且可以获取该数字:
const w = new Wrap(5);
console.log(w.value);
到目前为止，一切都很好。但是等等，现在我还想包装一个字符串！如果我天真地尝试包装一个字符串，我会得到一个错误：
const w = new Wrap("foo");
const w = new Wrap("foo");
^ string. This type is incompatible with the expected param type of
constructor(v: number) {
^ number
Wrap只接受numbers。我可以将Wrap重命名为WrapNumber，然后复制它，称其为WrapString，并在内部更改number为string。但这很繁琐，现在我有两份相同的内容需要维护。如果每次想要包装新类型时都进行复制，这将很快失控。Wrap实际上并不对value进行操作。它不关心它是number还是string，或者其他什么类型。它只存在于存储和稍后返回值。这里唯一重要的不变量是您给出的值和您获取的值是相同类型。使用的具体类型无关紧要，只要这两个值具有相同的类型。class Wrap<T> {
value: T;
constructor(v: T) {
this.value = v;
}
}
T在这里只是一个占位符。它的意思是，“我不关心你在这里放什么类型，但很重要的是，在使用T的任何地方，它都是相同的类型。”如果我传递给您一个Wrap<number>，您可以访问value属性，并知道它是一个number。同样地，如果我传递给您一个Wrap<string>，您就知道该实例的value是一个string。有了这个新的Wrap定义，让我们再试着包装一个number和一个string：
function needsNumber(x: number): void {}
function needsString(x: string): void {}
const wNum = new Wrap(5);
const wStr = new Wrap("foo");
needsNumber(wNum.value);
needsString(wStr.value);
Flow可以推断出类型参数，并且能够理解这里的所有内容将在运行时工作。如果我们尝试执行以下操作，我们也会得到预期的错误：
needsString(wNum.value);
错误：
20: needsString(wNum.value);
^ number. This type is incompatible with the expected param type of
11: function needsString(x: string): void {}
^ string
(在这里查看完整示例)
Flow除了单个定义外还允许类型一致性和验证。function add<T>(v1: T, v2: T): T {
if (typeof v1 == 'string')
return `${v1} ${v2}`
else if (typeof v1 == 'object')
return { ...v1, ...v2 }
else
return v1 + v2
}
T的函数，并说明所有的参数都将是相同的类型T，而且该函数总是返回相同的类型T。在函数内部，由于我们知道参数始终为相同的类型，我们可以使用标准的JavaScript测试其中一个参数的类型，并返回我们认为该类型的“加法”结果。add(2, 3) // 5
add('two', 'three') // 'two three'
add({ two: 2 }, { three: 3 }) // { two: 2, three: 3 }
但如果我们尝试这样做，会抛出类型错误：
add(2, 'three')
add({ two: 2 }, 3)
// etc.
<T>，我们在说该函数可以（但不一定）在其参数列表、主体和返回类型中使用一个泛型类型 T。function identity<T>(value: T): T {
return value;
}
identity 中的参数 value 将具有某种类型，该类型事先不知道。无论那种类型是什么，identity 的返回值也必须匹配该类型。const x: string = identity("foo"); // x === "foo"
const y: string = identity(123); // Error
T，然后了解如何工作，然后理解该原始类型可以被任何其他类型替换。identity是一个接受T并返回T的函数，其中T是任何流类型。注意：该概念的另一个词是多态性。泛型类型与变量或函数参数非常相似，只是它们用于类型。
wNum.value = 'foo'，那么静态类型检查器不会抱怨，这让我感到非常奇怪。我的期望是，由于wNum是用数字实例化的，它应该强制执行此限制。 - user3056783string | number而不仅仅是number。如果你试图将其用作number，那么就会出现错误。如果你想要在前面指定类型，你可以像这样注释变量：const wNum: Wrap<number> = new Wrap(5);。然后Flow会在你尝试将wNum.value设置为string时立即给出错误提示。 - Nat MoteT？这只是惯用语吗？T代表什么？ - Daniel LizikT作为类型参数相当普遍。如果我要猜测，我会说它可能代表“类型”，但我不确定。 - Nat Mote