Lưu lượng: Tạo một kiểu dòng chảy bằng cách mở rộng loại khác

Question

type someType = { 
    keyOne: string, 
    keyTwo: string, 
}; 

type someOtherType = { 
    keyOne: string, 
    keyTwo: string, 
    keyThree: string, 
}; 

Cả hai loại là những vật có chứa keyOne và keyTwo, sự khác biệt duy nhất là sau kéo dài cựu với một chìa khóa thêm keyThree.

Thay vì viết mã trùng lặp, bạn có thể tạo loại luồng someOtherType bằng cách mở rộng someType không? Trong tâm trí của tôi, ES6 đối tượng còn lại/lây lan đến với tâm trí, nhưng tôi không chắc chắn làm thế nào để thực hiện một cái gì đó như thế này trong Flow.

Cảm ơn!

Answer 1

Điều bạn đang tìm kiếm là intersection type. Theo tài liệu:

Loại giao lộ yêu cầu giá trị là tất cả các loại đầu vào.

Cú pháp: Intersection: < loại 1> & < loại 2> ... & < loại n>

Loại giao được thiết kế để mở rộng một loại hiện có và thêm các yêu cầu loại bổ sung cho nó.

type someType = { 
    keyOne: string, 
    keyTwo: string 
} 

type someOtherType = someType & { 
    keyThree: string 
} 

const shouldBeOk: someOtherType = { 
    keyOne: 'biz', 
    keyTwo: 'buzz', 
    keyThree: 'baz', 
} 

const shouldError: someOtherType = { 
    keyOne: 123, 
    keyTwo: 'hello', 
    keyThree: 'world', 
} 

// flow error: 
16: const shouldError: someOtherType = { 
          ^object literal. This type is incompatible with 
8: type someOtherType = someType & { 
         ^object type 

Đối diện lôgic của loại giao lộ là union type. Theo tài liệu:

Loại công đoàn yêu cầu giá trị là một trong các loại đầu vào.

Cú pháp: Union: < type 1> | < loại 2> ... | < loại n>

Ví dụ: bạn có thể sử dụng kiểu kết hợp để tạo một số đếm.

type fooBarBazType = 'foo' | 'bar' | 'baz'; 
const shouldBeOk: fooBarBazType = 'bar'; 

const shouldError: fooBarBazType = 'buzz'; 

4: const shouldError: fooBarBazType = 'buzz'; 
            ^string. This type is incompatible with 
4: const shouldError: fooBarBazType = 'buzz'; 
        ^string enum