Loại bản ghi trong bản thảo là gì?

Điều gì có Record<K, T>nghĩa trong bản đánh máy?

Bản đánh máy 2.1 đã giới thiệu Recordloại, mô tả nó trong một ví dụ:

// For every properties K of type T, transform it to U
function mapObject<K extends string, T, U>(obj: Record<K, T>, f: (x: T) => U): Record<K, U>

xem bản đánh máy 2.1

Và các loại chi tiết trang đề cập đến Recorddưới loại ánh xạ hướng bên cạnh Readonly, Partialvà Pick, trong những gì dường như là định nghĩa của nó:

type Record<K extends string, T> = {
    [P in K]: T;
}

Chỉ đọc, một phần và Pick là đồng hình trong khi Record thì không. Một manh mối cho thấy Bản ghi không đồng hình là nó không lấy loại đầu vào để sao chép các thuộc tính từ:

type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

Và đó là nó. Ngoài các trích dẫn ở trên, không có đề cập nào khác Recordvề typecriptang.org .

Câu hỏi

1. Ai đó có thể đưa ra một định nghĩa đơn giản về những gì Recordlà?

2. Có phải Record<K,T>chỉ là một cách để nói "tất cả các thuộc tính trên đối tượng này sẽ có loại T"? Có lẽ không phải tất cả tài sản, vì Kcó một số mục đích ...

3. Có Kchung chung cấm các khóa bổ sung trên đối tượng không K, hoặc nó cho phép chúng và chỉ cho biết rằng các thuộc tính của chúng không được chuyển đổi thànhT ?

4. Với ví dụ đã cho:

    type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

Có chính xác như thế này không?:

    type ThreeStringProps = {prop1: string, prop2: string, prop3: string}

1. Ai đó có thể đưa ra một định nghĩa đơn giản về những gì Recordlà?

A Record<K, T>là một loại đối tượng có khóa thuộc tính Kvà có giá trị thuộc tính T. Đó là, keyof Record<K, T>tương đương với K, và Record<K, T>[K](về cơ bản) tương đương với T.

2. Có phải Record<K,T>chỉ là một cách để nói "tất cả các thuộc tính trên đối tượng này sẽ có loại T"? Có lẽ không phải tất cả các đối tượng, vì Kcó một số mục đích ...

Như bạn lưu ý, Kcó một mục đích ... để giới hạn các khóa thuộc tính ở các giá trị cụ thể. Nếu bạn muốn chấp nhận tất cả các khóa có giá trị chuỗi có thể, bạn có thể làm một cái gì đó giống như Record<string, T>, nhưng cách làm thành ngữ đó là sử dụng chữ ký chỉ mục như thế nào { [k: string]: T }.

3. Có phải Kchung chung cấm các khóa bổ sung trên đối tượng không K, hoặc nó cho phép chúng và chỉ cho biết rằng các thuộc tính của chúng không được chuyển đổi thànhT ?

Nó không chính xác "cấm" các khóa bổ sung: xét cho cùng, một giá trị thường được cho phép có các thuộc tính không được đề cập rõ ràng trong loại của nó ... nhưng nó sẽ không nhận ra rằng các thuộc tính đó tồn tại:

declare const x: Record<"a", string>;
x.b; // error, Property 'b' does not exist on type 'Record<"a", string>'

và nó sẽ coi chúng là những đặc tính dư thừa đôi khi bị từ chối:

declare function acceptR(x: Record<"a", string>): void;
acceptR({a: "hey", b: "you"}); // error, Object literal may only specify known properties

và đôi khi được chấp nhận:

const y = {a: "hey", b: "you"};
acceptR(y); // okay

4. Với ví dụ đã cho:

   type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

   Có chính xác như thế này không?:

   type ThreeStringProps = {prop1: string, prop2: string, prop3: string}

Đúng!

Mong rằng sẽ giúp. Chúc may mắn!

Bản ghi cho phép bạn tạo một loại mới từ Liên minh. Các giá trị trong Liên minh được sử dụng làm thuộc tính của loại mới.

Ví dụ: giả sử tôi có một Liên minh như thế này:

type CatNames = "miffy" | "boris" | "mordred";

Bây giờ tôi muốn tạo một đối tượng chứa thông tin về tất cả các con mèo, tôi có thể tạo một loại mới bằng cách sử dụng các giá trị trong Liên minh CatName làm khóa.

type CatList = Record<CatNames, {age: number}>

Nếu tôi muốn thỏa mãn CatList này, tôi phải tạo một đối tượng như thế này:

const cats:CatList = {
  miffy: { age:99 },
  boris: { age:16 },
  mordred: { age:600 }
}

Bạn nhận được loại an toàn rất mạnh:

• Nếu tôi quên một con mèo, tôi nhận được một lỗi.
• Nếu tôi thêm một con mèo không được phép, tôi sẽ gặp lỗi.
• Nếu sau này tôi thay đổi CatNames, tôi sẽ gặp lỗi. Điều này đặc biệt hữu ích vì CatNames có thể được nhập từ một tệp khác và có thể được sử dụng ở nhiều nơi.

Ví dụ React trong thế giới thực.

Tôi đã sử dụng điều này gần đây để tạo ra một thành phần Status. Thành phần này sẽ nhận được một trạng thái chống đỡ, và sau đó kết xuất một biểu tượng. Tôi đã đơn giản hóa mã khá nhiều ở đây cho mục đích minh họa

Tôi đã có một liên minh như thế này:

type Statuses = "failed" | "complete";

Tôi đã sử dụng điều này để tạo ra một đối tượng như thế này:

const icons: Record<
  Statuses,
  { iconType: IconTypes; iconColor: IconColors }
> = {
  failed: {
    iconType: "warning",
    iconColor: "red"
  },
  complete: {
    iconType: "check",
    iconColor: "green"
  };

Sau đó tôi có thể kết xuất bằng cách hủy một phần tử từ đối tượng thành các đạo cụ, như vậy:

const Status = ({status}) => <Icon {...icons[status]} />

Nếu liên kết Trạng thái sau đó được mở rộng hoặc thay đổi, tôi biết thành phần Trạng thái của tôi sẽ không biên dịch được và tôi sẽ gặp lỗi mà tôi có thể khắc phục ngay lập tức. Điều này cho phép tôi thêm các trạng thái lỗi bổ sung vào ứng dụng.

Lưu ý rằng ứng dụng thực tế có hàng tá trạng thái lỗi được tham chiếu ở nhiều nơi, vì vậy loại an toàn này cực kỳ hữu ích.