Record type ใน typescript คืออะไร?

อะไรRecord<K, T>หมายถึงใน typescript?

typescript 2.1 แนะนำRecordประเภทที่อธิบายไว้ในตัวอย่าง:

// 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>

ดูtypescript 2.1

และประเภทสินค้าทุกประเภทหน้ากล่าวRecordภายใต้ประเภทแมปมุ่งหน้าไปข้างReadonly, PartialและPickในสิ่งที่ดูเหมือนจะเป็นความหมายของมัน

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

อ่านอย่างเดียวบางส่วนและเลือกเป็น homomorphic ในขณะที่บันทึกไม่ได้ เงื่อนงำหนึ่งที่ Record ไม่ใช่ homomorphic คือมันไม่ใช้ประเภทอินพุตเพื่อคัดลอกคุณสมบัติจาก:

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

และนั่นคือมัน นอกจากราคาข้างต้นแล้วไม่มีการกล่าวถึงRecordในtypescriptlang.orgอีก

คำถาม

1. ใครสามารถให้คำจำกัดความง่ายๆว่าอะไรRecordคืออะไร?

2. เป็นRecord<K,T>เพียงวิธีการพูดว่า "คุณสมบัติทั้งหมดในวัตถุนี้จะมีประเภทT"? อาจไม่ได้คุณสมบัติทั้งหมดเนื่องจากKมีวัตถุประสงค์บางอย่าง ...

3. ไม่Kคีย์เพิ่มเติมทั่วไปห้ามบนวัตถุที่ไม่ได้Kหรือไม่ได้ช่วยให้พวกเขาและเพียงแค่ระบุว่าคุณสมบัติของพวกเขาจะไม่เปลี่ยนT?

4. ด้วยตัวอย่างที่กำหนด:

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

มันเหมือนกับตรงนี้ไหม:

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

1. ใครสามารถให้คำจำกัดความง่ายๆว่าอะไรRecordคืออะไร?

Record<K, T>เป็นชนิดของวัตถุที่มีคุณสมบัติคีย์และมีทรัพย์สินมีค่าK Tนั่นคือkeyof Record<K, T>เทียบเท่ากับKและRecord<K, T>[K]เป็น (พื้น) Tเทียบเท่ากับ

2. เป็นRecord<K,T>เพียงวิธีการพูดว่า "คุณสมบัติทั้งหมดในวัตถุนี้จะมีประเภทT"? อาจไม่ใช่วัตถุทั้งหมดเนื่องจากKมีวัตถุประสงค์บางอย่าง ...

ตามที่คุณทราบKมีวัตถุประสงค์ ... เพื่อ จำกัด คีย์คุณสมบัติเป็นค่าเฉพาะ หากคุณต้องการที่จะยอมรับกุญแจสตริงมูลค่าเป็นไปได้ทั้งหมดที่คุณสามารถทำสิ่งที่ชอบRecord<string, T>แต่วิธีการทำสำนวนที่ว่าคือการใช้ลายเซ็นดัชนี{ [k: string]: T }เช่น

3. ไม่Kคีย์เพิ่มเติมทั่วไปห้ามบนวัตถุที่ไม่ได้Kหรือไม่ได้ช่วยให้พวกเขาและเพียงแค่ระบุว่าคุณสมบัติของพวกเขาจะไม่เปลี่ยนT?

มันไม่ตรงกับ "ห้าม" คีย์เพิ่มเติม: หลังจากทั้งหมดค่าทั่วไปจะได้รับอนุญาตให้มีคุณสมบัติที่ไม่ได้กล่าวถึงอย่างชัดเจนในประเภทของมัน ... แต่มันจะไม่รับรู้ว่ามีคุณสมบัติดังกล่าว:

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

และมันจะรักษาพวกเขาเป็นคุณสมบัติส่วนเกินซึ่งบางครั้งถูกปฏิเสธ:

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

และบางครั้งก็ยอมรับ:

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

4. ด้วยตัวอย่างที่กำหนด:

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

   มันเหมือนกับตรงนี้ไหม:

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

ใช่

หวังว่าจะช่วย โชคดี!

บันทึกช่วยให้คุณสร้างประเภทใหม่จากสหภาพ ค่าในสหภาพถูกใช้เป็นคุณลักษณะของชนิดใหม่

ตัวอย่างเช่นฉันมีสหภาพแบบนี้:

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

ตอนนี้ฉันต้องการสร้างวัตถุที่มีข้อมูลเกี่ยวกับแมวทั้งหมดฉันสามารถสร้างชนิดใหม่โดยใช้ค่าใน CatName Union เป็นคีย์

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

หากฉันต้องการ CatList นี้ฉันต้องสร้างวัตถุเช่นนี้

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

คุณจะได้รับความปลอดภัยประเภทที่แข็งแกร่งมาก:

• ถ้าฉันลืมแมวฉันได้รับข้อผิดพลาด
• หากฉันเพิ่มแมวที่ไม่ได้รับอนุญาตฉันได้รับข้อผิดพลาด
• หากภายหลังฉันเปลี่ยน CatNames ฉันได้รับข้อผิดพลาด สิ่งนี้มีประโยชน์อย่างยิ่งเนื่องจาก CatNames อาจนำเข้าจากไฟล์อื่นและมีแนวโน้มที่จะใช้ในหลาย ๆ ที่

ตัวอย่างการตอบโต้โลกแห่งความจริง

ฉันใช้สิ่งนี้เมื่อเร็ว ๆ นี้เพื่อสร้างองค์ประกอบสถานะ องค์ประกอบจะได้รับการแสดงสถานะจากนั้นแสดงไอคอน ฉันทำให้โค้ดค่อนข้างง่ายที่นี่เพื่อจุดประสงค์ในการอธิบาย

ฉันมีสหภาพเช่นนี้:

type Statuses = "failed" | "complete";

ฉันใช้สิ่งนี้เพื่อสร้างวัตถุเช่นนี้

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

จากนั้นฉันสามารถแสดงผลโดยการทำลายองค์ประกอบจากวัตถุไปยังอุปกรณ์ประกอบฉากเช่น:

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

หากการรวมสถานะ Statuses ถูกขยายหรือเปลี่ยนแปลงในภายหลังฉันรู้ว่าองค์ประกอบสถานะของฉันจะไม่สามารถรวบรวมและฉันจะได้รับข้อผิดพลาดที่ฉันสามารถแก้ไขได้ทันที สิ่งนี้ทำให้ฉันสามารถเพิ่มสถานะข้อผิดพลาดเพิ่มเติมให้กับแอพ

โปรดทราบว่าแอปที่เกิดขึ้นจริงมีสถานะข้อผิดพลาดหลายสิบที่อ้างอิงในหลายสถานที่ดังนั้นความปลอดภัยประเภทนี้จึงมีประโยชน์อย่างยิ่ง