หลีกเลี่ยงการดำเนินการกับชนิดที่มีค่าใช้จ่ายสูง

อะไรทำให้การดำเนินการกับชนิดข้อมูลมีค่าใช้จ่ายสูง

// Expensive: distributes over every member of a large union
type FilterStrings<T> = T extends string ? T : never;
type Result = FilterStrings<string | number | boolean | null | undefined | ...>;

จำกัดขนาดยูเนียนที่มากเกินไป

// Expensive
type HugeUnion = "a" | "b" | "c" | /* 200 more ... */ "z";
// Better: string with a runtime check
function isValid(s: string): s is ValidString { return VALID_SET.has(s); }

ควรใช้อินเทอร์เฟซแทนแอลเลียสชนิดข้อมูลที่ซับซ้อน

// Slow: recomputed union intersection each time
type BigObject = TypeA & TypeB & TypeC & TypeD;
// Fast: interface (cached)
interface BigObject extends TypeA, TypeB, TypeC, TypeD {}

จำกัดความลึกของการเรียกซ้ำ

type Flatten<T, Depth extends number[] = []> =
  Depth["length"] extends 10 ? T
  : T extends (infer U)[] ? Flatten<U, [...Depth, 0]>
  : T;

แคชชุดชนิดข้อมูลระหว่างกลาง

// Before: recomputed at each use
type MyResult<T> = T extends SomeComplex<infer U> ? Transform<U> : never;

// After: split into named intermediates
type ExtractU<T> = T extends SomeComplex<infer U> ? U : never;
type MyResult<T> = Transform<ExtractU<T>>;

หลีกเลี่ยงชนิดข้อมูลแบบแมปเชิงลึกกับอ็อบเจ็กต์ขนาดใหญ่

// Expensive on 50-property nested objects
type Safe = DeepReadonly<HugeConfig>;
// Better: annotate at creation time with const assertions

ใช้การประเมินค่าเจเนอริกแบบเลื่อนเวลา

// Lazy evaluation via wrapper
type Lazy<T> = () => T;
type ExpensiveLazy = Lazy<DeepReadonly<HugeConfig>>;

ควรระบุชนิดค่าที่ส่งกลับอย่างชัดเจน

// Let TypeScript infer (may be slow for complex functions)
function process(data: Input) { return transform(data); }

// Faster: explicit annotation
function process(data: Input): Output { return transform(data); }

isolatedDeclarations สำหรับการตรวจสอบแบบขนาน

// tsconfig.json
{
  "compilerOptions": {
    "isolatedDeclarations": true
  }
}

การอ้างอิงโปรเจกต์เพื่อแยกการทำงาน

# With project references:
# tsc --build only recompiles packages whose sources changed
# Unchanged packages: declaration files used directly

ทบทวน: การหลีกเลี่ยงชนิดข้อมูลที่มีค่าใช้จ่ายสูง

ตรวจสอบอย่างรวดเร็ว

สิ่งที่คุณได้เรียนรู้