相交类型（Intersection Types）
有时创建一个由多个类型组合的类型是有用的。例如，你可能希望编写一个接收其他对象类型组合的对象的函数。
// @flow
type A = { a: number };
type B = { b: boolean };
type C = { c: string };
function method(value: A & B & C) {
// ...
}
// $ExpectError
method({ a: 1 }); // Error!
// $ExpectError
method({ a: 1, b: true }); // Error!
method({ a: 1, b: true, c: 'three' }); // Works!
相交类型语法
相交类型是通过＆符号连接的任何数量的类型。
Type1 & Type2 & ... & TypeN
或者
type Foo =
& Type1
& Type2
& ...
& TypeN
相交类型的成员可以是任意类型，包括相交类型。
type Foo = Type1 & Type2;
type Bar = Type3 & Type4;
type Baz = Foo & Bar;
传入与处理
相交类型与联合类型相反，我们需要传入所有值，并且我们只需要处理其中一种情况。
// @flow
type A = { a: number };
type B = { b: boolean };
type C = { c: string };
function method(value: A & B & C) {
var a: A = value;
var b: B = value; // 可选
var c: C = value; // 可选
}
不可能的相交类型
使用相交类型，可以创建在运行时无法创建的类型。相交类型将允许你组合任何一组类型，即使是相互冲突的类型。
例如，你可以创建一个数字和一个字符串的相交。
// @flow
type NumberAndString = number & string;
function method(value: NumberAndString) {
// ...
}
// $ExpectError
method(3.14); // Error!
// $ExpectError
method('hi'); // Error!
但是你不可能创建一个既是数字也是字符串的值，然后你可以为它创建一个类型。创建这样的类型没有实际用处，但这是相交类型的副作用。
相交对象类型
当你创建对象类型的相交时，你将它们的所有属性合并在一起。
// @flow
type One = { foo: number };
type Two = { bar: boolean };
type Both = One & Two;
var value: Both = {
foo: 1,
bar: true
};
但是，当具有相同名称的属性重叠时，它也会创建属性类型的交集。
// @flow
type One = { prop: number };
type Two = { prop: boolean };
type Both = One & Two;
// $ExpectError
var value: Both = {
prop: 1 // Error!
};
