Đáp án Quiz TypeScript — 75 câu hỏi có giải thích

Đáp án: D

interface có declaration merging và chỉ mô tả object shape; type alias linh hoạt hơn (union, intersection, tuple, primitive, conditional type) nhưng không merge. Quy tắc phổ biến: interface cho public API cần mở rộng, type cho union và các kiểu nâng cao.

Đáp án: A

any tắt hoàn toàn type checking nên mất an toàn kiểu. unknown nhận được mọi giá trị nhưng buộc phải narrow (typeof, instanceof, type guard) trước khi sử dụng — là lựa chọn an toàn thay any. never là kiểu không bao giờ có giá trị: hàm luôn throw, hoặc nhánh đã loại trừ hết trong exhaustive check.

Đáp án: D

Partial<T> tạo type mới với tất cả property của T thành optional (shallow). Tình huống điển hình: hàm update nhận Partial<User> để client chỉ gửi field thay đổi trong PATCH request. Ngược lại có Required<T> biến mọi optional thành bắt buộc.

Đáp án: C

prop?: T cho phép bỏ hẳn key khi tạo object (kiểu khi đọc là T | undefined). prop: T | undefined vẫn bắt buộc key có mặt — chỉ value được phép là undefined. Ngoài ra, readonly prop chặn gán lại sau khởi tạo, nhưng chỉ ở compile time.

Đáp án: A

TypeScript là superset của JavaScript, thêm static typing và compile sang JS. Lợi ích chính: phát hiện lỗi tại compile time thay vì runtime, IDE hỗ trợ tốt hơn (autocomplete, refactoring an toàn), code tự documentation hoá. Hữu ích nhất ở dự án lớn, làm việc theo team và codebase cần maintain lâu dài.

Đáp án: A

Lỗi compile. Type inference suy ra count: number từ giá trị khởi tạo 0 — không cần annotation. Từ đó mọi phép gán phải là number; gán "ten" báo lỗi ngay tại compile time. Nhờ inference, annotation thường chỉ cần cho function parameter, return type, và biến khai báo chưa gán giá trị.

Đáp án: D

Union string | number nghĩa là giá trị có thể là một trong hai — nên TypeScript chỉ cho gọi member tồn tại trên CẢ hai kiểu. toUpperCase chỉ có ở string nên báo lỗi. Cách sửa: narrow bằng if (typeof id === "string") — trong nhánh đó id được thu hẹp về string và gọi method an toàn.

Đáp án: A

Tuple [string, number] cố định độ dài 2 và kiểu theo từng vị trí: index 0 là string, index 1 là number — sai thứ tự hoặc thừa phần tử đều lỗi compile. Array (string | number)[] nhận độ dài bất kỳ, mỗi phần tử là một trong hai kiểu. Tuple hợp cho cặp giá trị có cấu trúc: toạ độ, cặp key-value, return của useState.

Đáp án: D

Chỉ đúng 3 giá trị 'loading', 'success', 'error' — literal type là kiểu bằng chính xác một giá trị cụ thể, union của chúng tạo tập đóng. Đây là cách tạo kiểu enum-like không tốn runtime overhead, rất phổ biến cho API state. Bẫy: let s = 'loading' suy ra string (widen), cần const hoặc as const để giữ literal.

Đáp án: A

Type assertion value as Type ghi đè kiểu compiler suy ra, chỉ tồn tại tại compile time — không kiểm tra, không chuyển đổi gì tại runtime. Dùng khi bạn biết kiểu chính xác hơn compiler (DOM query, JSON.parse). Lạm dụng sẽ mất type safety; as unknown as Type (double assertion) là dấu hiệu thiết kế kiểu có vấn đề.

Đáp án: D

Đó là non-null assertion: báo compiler giá trị đứng trước chắc chắn không phải null/undefined, gỡ chúng khỏi kiểu tại compile time. Không có kiểm tra runtime — nếu element không tồn tại, code vẫn crash. Chỉ dùng khi chắc chắn giá trị có thật; an toàn hơn là optional chaining (?.) hoặc if check tường minh.

Đáp án: B

void biểu diễn kiểu trả về của hàm không return giá trị có ý nghĩa — hàm gọi vì side effect. Trong hàm khai báo : void, return kèm giá trị là lỗi compile, nhưng return; để thoát sớm vẫn hợp lệ. Khác never: hàm void chạy xong bình thường, hàm never không bao giờ kết thúc bình thường (luôn throw).

Đáp án: B

Nó bật cùng lúc một nhóm cờ kiểm tra chặt: cấm kiểu bất kỳ ngầm định, kiểm tra null và undefined, kiểm tra khởi tạo thuộc tính của class, kiểm tra this ngầm định, và kiểm tra chặt kiểu hàm. Đây là thiết lập được khuyến nghị cho mọi dự án mới.

Đáp án: B

x có kiểu literal "hello" vì hằng không gán lại được. y được nới rộng thành string vì nó có thể nhận một chuỗi khác sau đó. Hiện tượng này gọi là literal widening và ảnh hưởng trực tiếp tới việc gán vào một union các literal.

Đáp án: D

Chỉ lúc biên dịch. Nó bị xoá cùng mọi thông tin kiểu khác, nên mã JavaScript vẫn đọc và ghi thuộc tính đó bình thường. Muốn riêng tư thật lúc chạy phải dùng trường có tiền tố thăng của JavaScript.

Đáp án: D

Khi trình biên dịch không suy ra được kiểu và buộc phải mặc định về any — điển hình là tham số hàm không có chú thích. Nó chỉ chặn kiểu bất kỳ ngầm định; viết tường minh vẫn được chấp nhận vì đó là lựa chọn có ý thức.

Đáp án: A

Vì unknown buộc phải thu hẹp kiểu trước khi làm bất cứ điều gì với giá trị, còn any tắt hoàn toàn kiểm tra và lan sang mọi biểu thức phía sau. Một khẳng định sai với any sẽ không bị chặn ở đâu cả cho tới khi lỗi xảy ra lúc chạy.

Đáp án: C

Ghi kiểu cho từng tham số và kiểu trả về sau dấu hai chấm. Kiểu trả về thường bỏ qua được vì suy ra tự động, nhưng kiểu tham số thì bắt buộc — thiếu nó sẽ bị báo lỗi khi bật chế độ nghiêm ngặt.

Đáp án: B

Hoàn toàn tương đương, chỉ khác cách viết. Chọn cách nào là quy ước của đội, thường được thống nhất bằng một quy tắc kiểm tra mã để cả dự án nhất quán.

Đáp án: D

Theo quy ước: một giá trị nghĩa là trống có chủ ý, giá trị kia nghĩa là chưa được gán. Khi bật kiểm tra giá trị rỗng, chúng là hai kiểu tách biệt nên gán nhầm sẽ bị báo lỗi.

Đáp án: D

Không có constraint, T có thể là bất kỳ kiểu nào nên compiler không cho truy cập .length. Cách sửa chuẩn là thêm constraint T extends { length: number } — mọi argument phải có length kiểu number, hàm vẫn generic và type-safe với string, array, hay object bất kỳ có length.

Đáp án: A

Kết quả là never. Intersection A & B yêu cầu giá trị thuộc cả A lẫn B; không giá trị nào vừa là string vừa là number nên tập giao rỗng. Với object thì & gộp property của cả hai — đây là cách dùng chính: type AdminUser = User & { adminRole: string }.

Đáp án: C

Kiểu là number. TypeScript dùng control flow analysis: guard typeof val === "string" loại string, guard val instanceof Date loại Date — cả hai nhánh đều return nên xuống dưới union chỉ còn number, cho phép gọi .toFixed() an toàn.

Đáp án: D

Kiểu là readonly ['left', 'right'] — tuple readonly, mỗi phần tử là literal type. Không có as const, TypeScript widen thành string[]. Const assertion giữ kiểu hẹp nhất: hữu ích để tạo hằng số strongly-typed và lấy union từ đó bằng typeof dirs[number].

Đáp án: C, D, E

Enum sinh object JavaScript thật tại runtime (numeric enum còn có reverse lookup), trong khi union of literals bị xoá hoàn toàn khi compile — nhẹ hơn nhưng không iterate được. Xu hướng hiện nay: dùng const object + as const để có cả union type lẫn giá trị runtime, tree-shaking tốt hơn enum.

Đáp án: D

K là 'host' | 'port'. typeof config (type query) lấy type của value: { host: string; port: number }; keyof áp lên type đó cho ra union literal các key. Tổ hợp keyof typeof là idiom chuẩn để derive type từ một object có sẵn.

Đáp án: C

B là { id: number; name: string }. ReturnType<typeof fetchUser> lấy kiểu trả về của hàm — với async là Promise<{...}>. Awaited<T> unwrap Promise (đệ quy với Promise lồng nhau). Combo Awaited<ReturnType<typeof fn>> là cách chuẩn lấy kiểu dữ liệu từ hàm fetch mà không khai báo trùng lặp.

Đáp án: C

Khi bật strictNullChecks, null và undefined trở thành kiểu riêng, không gán được vào kiểu khác. Muốn giá trị có thể null phải khai báo union (string | null) và narrow trước khi dùng — compiler báo lỗi ngay tại chỗ có khả năng null thay vì để lỗi "cannot read property of undefined" xảy ra ở runtime.

Đáp án: C

satisfies (TS 4.9) kiểm tra value khớp một kiểu mà không widen kiểu suy ra: palette.green vẫn là string nên gọi toUpperCase() hợp lệ. Annotation : Record<string, Color> thì ghi đè — mọi property mang kiểu union Color, phải narrow trước khi dùng method riêng. Được cả hai chiều: sai value vẫn báo lỗi, đúng value giữ kiểu hẹp nhất.

Đáp án: B

Cell là union 4 literal: 'top-x' | 'top-y' | 'bottom-x' | 'bottom-y'. Template literal type khai triển tích chéo mọi tổ hợp của các union đứng trong placeholder — 2 × 2 = 4. Đây là công cụ sinh kiểu cho CSS property, event name, route path một cách type-safe thay vì liệt kê tay.

Đáp án: C

Kết quả là { host: string; port: number }. Trong mapped type, tiền tố - gỡ modifier: -readonly cho phép gán lại, -? biến property thành bắt buộc và đồng thời loại undefined khỏi kiểu value. Đây chính là cách Required<T> hoạt động; chiều ngược lại (readonly, ? hoặc +readonly, +?) là cách Readonly<T> và Partial<T> được cài đặt.

Đáp án: C, D, E

Declaration merging: các khai báo interface (và namespace) cùng tên trong cùng scope được compiler gộp thành một. Property trùng tên phải cùng kiểu, khác kiểu là lỗi compile. type alias và class không merge — trùng tên là lỗi Duplicate identifier. Module augmentation chính là ứng dụng của merging để mở rộng type thư viện bên thứ ba.

Đáp án: C

PublicUser là { id: number; name: string }. Omit<T, K> tạo type gồm mọi property của T trừ các key trong K — ở đây bỏ passwordHash. Cặp bù trừ là Pick<T, K> giữ đúng các key liệt kê. Cả hai chỉ ở type level, không đụng dữ liệu runtime; muốn thực sự bỏ field khi trả API phải viết code destructure.

Đáp án: B

Privileged là 'admin' | 'editor'. Exclude<T, U> loại khỏi union T các thành viên gán được vào U. Cặp bù là Extract<T, U> giữ lại đúng các thành viên khớp U (ví dụ Extract<string | number, string> = string). Cả hai xây trên distributive conditional type với nhánh false trả never để lọc thành viên.

Đáp án: A, C, D

Index signature { [key: string]: T } mô tả tập key mở — mọi key string đều hợp lệ, truy cập key bất kỳ ra kiểu T. Record<K, V> với K là union literal tạo object đóng, đủ đúng các key. Khi K là string, Record<string, V> và index signature tương đương. Cả hai nhận key string/number/symbol.

Đáp án: A

Kiểu là unknown. Generic default T = unknown khiến type argument trở thành tuỳ chọn — viết ApiResponse không ngoặc nhọn thì T lấy giá trị mặc định. Default phải đứng sau các type parameter bắt buộc và phải thoả constraint nếu có (T extends X = Y). Truyền tường minh (ApiResponse<User>) sẽ ghi đè default.

Đáp án: D

target quyết định phiên bản cú pháp của mã đầu ra — biên dịch cú pháp mới xuống dạng cũ hơn. lib khai báo những API mà môi trường chạy có sẵn để trình biên dịch kiểm tra kiểu. Đặt sai lib khiến mã biên dịch được nhưng lỗi lúc chạy vì hàm không tồn tại.

Đáp án: B

Nó nói rõ với trình biên dịch rằng chỉ nhập kiểu, nên câu lệnh bị xoá hoàn toàn khỏi mã đầu ra. Nhờ vậy không kéo theo module vào gói tải về, và tránh được phụ thuộc vòng vốn chỉ tồn tại ở tầng kiểu.

Đáp án: A

Chỉ chứa khai báo kiểu — chữ ký hàm, hình dạng interface, kiểu của biến — mà không có phần hiện thực. Mục đích là mô tả hình dạng của mã JavaScript đã biên dịch, để trình biên dịch kiểm tra kiểu ở những nơi dùng tới nó.

Đáp án: D

Vì kiểm tra thuộc tính thừa là một quy tắc riêng chỉ áp dụng cho object literal được gán trực tiếp. Structural typing bình thường cho phép object có nhiều thuộc tính hơn yêu cầu, nên gán qua biến trung gian thì hợp lệ.

Đáp án: B

Nó là một type predicate: trình biên dịch tin vào khai báo và thu hẹp kiểu của đối số ở nhánh đúng. Bên trong khối if (isCat(animal)), biến được coi là kiểu hẹp hơn nên truy cập được các thuộc tính riêng của kiểu đó.

Đáp án: D

Nó giữ lại các thành viên của union có khai báo thuộc tính được kiểm tra và loại bỏ những thành viên không có. Cách này hữu ích khi các thành viên không có trường phân biệt chung nhưng khác nhau về tập thuộc tính.

Đáp án: C

Nó giới hạn tham số chỉ nhận tên thuộc tính thật sự có trong kiểu, và quan trọng hơn là cho phép suy ra kiểu trả về chính xác. Trình biên dịch biết khoá cụ thể được truyền nên trả về kiểu của đúng thuộc tính đó chứ không phải union của mọi kiểu.

Đáp án: C

Nếu dùng Box mà không nêu type argument, T mặc định là string. Cơ chế này giúp bỏ bớt type argument ở trường hợp phổ biến nhất mà vẫn cho phép chỉ định kiểu khác khi cần.

Đáp án: B

Lấy ra kiểu của giá trị mà một Promise trả về. Nó bóc lồng nhiều tầng, nên một Promise lồng trong Promise cũng cho ra kiểu cuối cùng — đúng như hành vi của từ khoá chờ trong mã thật.

Đáp án: B

Viết callback dưới dạng type predicate: arr.filter((x): x is NonNullable<typeof x> => x !== null). Chữ ký mặc định của phương thức lọc chỉ trả về giá trị luận lý nên không mang thông tin thu hẹp; predicate cho trình biên dịch biết kết quả đã loại bỏ null.

Đáp án: D

Nó trả về any, tức tắt hoàn toàn kiểm tra kiểu cho mọi thứ phía sau. Cách an toàn là gán ngay vào một biến kiểu unknown rồi xác thực hình dạng trước khi dùng — bằng type predicate tự viết hoặc bằng thư viện xác thực lúc chạy.

Đáp án: C

Chọn object khi tập khoá cố định và biết trước, và khi cần serialize sang JSON — vì cấu trúc bản đồ không serialize thẳng được. Chọn bản đồ khi khoá là động, khi thêm xoá thường xuyên, hoặc khi khoá không phải chuỗi.

Đáp án: C

Vì enum sinh ra mã JavaScript thật lúc chạy, còn union of string literals bị xoá hoàn toàn khi biên dịch. Union không thêm byte nào vào gói tải về, dùng trực tiếp giá trị chuỗi được, và không có các hành vi bất ngờ của enum dạng số.

Đáp án: D

Khi bạn có thông tin mà trình biên dịch không thể suy ra — ví dụ biết chắc một phần tử DOM tồn tại và thuộc loại nào. Nó là lời khẳng định chứ không phải phép kiểm tra, nên khẳng định sai sẽ thành lỗi lúc chạy mà không có gì cảnh báo trước.

Đáp án: D

Trình biên dịch chặn mọi thao tác sửa mảng bên trong hàm, nên chữ ký trở thành một lời hứa kiểm chứng được rằng hàm chỉ đọc. Nó cũng cho phép truyền vào mảng đã đánh dấu chỉ đọc, thứ mà tham số kiểu mảng thường từ chối.

Đáp án: B

implements chỉ khẳng định class thoả mãn một hình dạng — trình biên dịch kiểm tra rồi xoá từ khoá đi, không có mã nào được kế thừa. extends tạo quan hệ kế thừa thật lúc chạy: lớp con nhận được hiện thực của lớp cha.

Đáp án: C

Đây là parameter property: trình biên dịch tự sinh ra khai báo trường và câu lệnh gán trong hàm khởi tạo. Nó thay cho việc viết tay cả dòng khai báo lẫn dòng gán, và dùng được với mọi mức truy cập cùng từ khoá chỉ đọc.

Đáp án: D

Một hàm trả về giá trị vẫn gán được vào một kiểu khai báo trả về void — quy tắc riêng cho phép truyền hàm có giá trị vào chỗ giá trị đó bị bỏ qua. Còn kiểu undefined thì chỉ chấp nhận hàm thật sự không trả về gì.

Đáp án: D

Dạng có dấu hỏi cho phép khoá vắng mặt hoàn toàn nhưng không cho gán undefined tường minh. Dạng thứ hai bắt buộc khoá phải có mặt nhưng giá trị được phép là undefined. Nhờ vậy phân biệt được "không có" với "có nhưng rỗng".

Đáp án: B

Cho trình biên dịch biết kiểu của giá trị khi nhập một tệp không phải JavaScript. Bundler biến tệp ảnh thành một đường dẫn hay một component, nhưng trình biên dịch không biết điều đó nên báo không tìm thấy module cho tới khi có khai báo này.

Đáp án: A

Nó đưa khả năng thất bại vào chính kiểu trả về, nên trình biên dịch buộc nơi gọi kiểm tra nhánh trước khi truy cập dữ liệu. Khác với ngoại lệ, vốn không xuất hiện trong chữ ký nên người gọi không có cách nào biết hàm có thể thất bại.

Đáp án: D

Mọi thuộc tính được suy ra kiểu literal thay vì kiểu rộng, và toàn bộ object cùng các mảng lồng bên trong thành chỉ đọc ở tầng kiểu. Nhờ vậy rút được union các giá trị từ chính object thay vì phải khai báo lại kiểu ở chỗ khác.

Đáp án: B

Vì các công cụ biên dịch nhanh như esbuild và swc chỉ xoá thông tin kiểu để đạt tốc độ, chúng không kiểm tra kiểu. Nên build vẫn thành công dù mã có lỗi kiểu. Chạy trình biên dịch ở chế độ chỉ kiểm tra là bước bảo đảm duy nhất.

Đáp án: C

Hàm nhận đúng hai tham số: tham số đầu kiểu chuỗi, tham số sau kiểu số. Kiểu tuple ở vị trí rest được trải ra thành danh sách tham số, nên gọi hàm giống hệt khai báo hai tham số thông thường.

Đáp án: C

Cho phép nhập một module CommonJS bằng cú pháp import mặc định. Hai hệ module có mô hình xuất khác nhau, nên nếu không có cờ này thì phải dùng cú pháp nhập toàn bộ namespace — trông lạ và không khớp với tài liệu của phần lớn thư viện.

Đáp án: C

Đặt cạnh mã sử dụng nó, và chỉ xuất ra ngoài những kiểu thuộc API công khai của module. Gom mọi kiểu vào một tệp dùng chung khiến tệp đó phình lên, tạo phụ thuộc chéo, và làm mất thông tin về việc kiểu nào thuộc về phần nào.

Đáp án: A

Union nghĩa là giá trị thuộc một trong các kiểu, nên chỉ dùng được những gì mọi thành viên đều có. Intersection nghĩa là giá trị thoả mãn đồng thời mọi kiểu, nên với object thì nó gộp các thuộc tính lại.

Đáp án: C

Chỉ một cấp. Nó là mapped type duyệt qua các khoá ở cấp ngoài cùng và thêm dấu hỏi, không đi đệ quy vào các object lồng bên trong. Muốn tác động mọi cấp phải tự viết kiểu đệ quy.

Đáp án: A

Loại bỏ null và undefined khỏi một union, giữ nguyên các thành viên còn lại. Nó hữu ích khi biết chắc giá trị đã được kiểm tra nhưng trình biên dịch chưa thu hẹp được, và khi viết các kiểu tiện ích cần bỏ phần rỗng.

Đáp án: A

Dùng toán tử lấy kiểu rồi toán tử lấy khoá. Toán tử thứ nhất chuyển từ thế giới giá trị sang thế giới kiểu, toán tử thứ hai cho ra union các tên thuộc tính.

Đáp án: A

Một cách liệt kê các trường giữ lại, cách kia liệt kê các trường bỏ đi. Khi kiểu gốc thêm trường mới, cách thứ nhất giữ nguyên kết quả còn cách thứ hai tự động kéo trường mới vào.

Đáp án: A

Nó bỏ các thành viên khớp khỏi union và giữ phần còn lại. Công cụ ngược lại thì giữ lại các thành viên khớp. Cả hai làm việc trên thành viên của union, khác với công cụ loại bỏ thuộc tính của đối tượng.

Đáp án: A

Dùng công cụ rút kiểu trả về kết hợp toán tử lấy kiểu. Kiểu được rút thẳng từ hàm nên tự cập nhật khi hàm đổi, thay vì phải sửa hai nơi và có nguy cơ lệch nhau.

Đáp án: D

Nó ràng buộc chuỗi theo một khuôn dạng ngay lúc biên dịch. Chuỗi sai khuôn bị báo lỗi, nên các lỗi gõ nhầm đường dẫn, tên sự kiện hay khoá cấu hình được bắt sớm thay vì lộ ra lúc chạy.

Đáp án: A

Nó cho phép các tổ hợp không thể xảy ra: vừa đang tải vừa có lỗi vừa có dữ liệu. Mã phải kiểm tra phòng hờ cho các tình huống không bao giờ tồn tại, và vẫn có thể quên một nhánh thật.

Đáp án: B

Cài gói định nghĩa kiểu do cộng đồng duy trì, hoặc tự viết một tệp khai báo nếu không có. Chỉ cần khai báo các hàm thật sự dùng tới là đủ, không cần mô tả toàn bộ thư viện.

Đáp án: C

Cấu hình tương ứng ở công cụ đóng gói hoặc môi trường chạy. Trình biên dịch chỉ dùng khai báo đó để kiểm tra kiểu và không viết lại đường dẫn trong mã sinh ra, nên nơi thực thi phải tự biết cách phân giải.

Đáp án: D

Công cụ thứ nhất chỉ đánh dấu chỉ đọc ở cấp ngoài cùng; cách thứ hai khoá toàn bộ cấu trúc lồng và giữ nguyên kiểu chữ nghĩa đen. Cả hai đều là ràng buộc lúc biên dịch và không ngăn được việc sửa lúc chạy.

Đáp án: D

Bật cho phép tệp JavaScript rồi chuyển dần từng tệp. Hai loại tệp cùng tồn tại nên đội vẫn phát hành tính năng bình thường, và mức nghiêm ngặt được siết dần theo thời gian.