سؤالات مصاحبه تایپ‌اسکریپت سطح سینیور (50 سؤال)

Question 1

شکل کلی conditional type کدام است؟

Accepted Answer

`T extends U ? X : Y`

Answer

`T && U || Y`

Answer

`if T then U`

Answer

`T ?? U`

Question 2

`satisfies` چه کمکی می‌کند؟

Accepted Answer

اعتبارسنجی سازگاری بدون widen کردن literalها

Answer

اجرای کد در runtime

Answer

حذف کامل type check

Answer

فقط برای enum

Question 3

فایل `.d.ts` برای چیست؟

Accepted Answer

اعلام تایپ برای JS/API بدون پیاده‌سازی

Answer

استایل CSS

Answer

تست e2e

Answer

bundle نهایی مرورگر

Question 4

`{ [K in keyof T]?: T[K] }` معادل کدام utility است؟

Accepted Answer

`Partial<T>`

Answer

`Required<T>`

Answer

`Readonly<T>`

Answer

`Pick<T, K>`

Question 5

``type E = `on${Capitalize<"click">}` `` چیست؟

Accepted Answer

`"onClick"`

Answer

`"onclick"`

Answer

`string`

Answer

خطای compile

Question 6

Branded type مثل `string & { __brand: "UserId" }` چه فایده‌ای دارد؟

Accepted Answer

جلوگیری از جابه‌جا شدن idهای هم‌شکل مثل UserId و OrderId

Answer

رمزنگاری رشته

Answer

اعتبارسنجی runtime خودکار

Answer

کاهش حجم bundle

Question 7

در `default` یک switch روی union، `const x: never = value` چه کاری می‌کند؟

Accepted Answer

اگر حالتی پوشش داده نشده باشد خطای compile می‌دهد

Answer

در runtime خطا می‌دهد

Answer

switch را سریع‌تر می‌کند

Answer

هیچ اثری ندارد

Question 8

`T extends (...a: any[]) => infer R ? R : never` چه چیزی را استخراج می‌کند؟

Accepted Answer

تایپ خروجی تابع (مثل `ReturnType`)

Answer

تایپ پارامترها

Answer

نام تابع

Answer

تعداد آرگومان‌ها

Question 9

`function f<T extends { id: string }>(x: T)` چه تضمینی می‌دهد؟

Accepted Answer

هر T باید حداقل property `id: string` داشته باشد و بقیه تایپ حفظ می‌شود

Answer

T فقط می‌تواند دقیقاً `{ id: string }` باشد

Answer

T حتماً یک class است

Answer

هیچ محدودیتی ندارد

Question 10

annotation‌های `in` و `out` در `interface Producer<out T>` چه کاری انجام می‌دهند؟

Accepted Answer

variance مورد انتظار type parameter را صریح می‌کنند و compiler آن را چک می‌کند

Answer

مشخص می‌کنند `T` فقط در runtime ورودی یا خروجی است

Answer

`T` را readonly یا writeonly می‌کنند

Answer

فقط کامنت هستند و هیچ اثری ندارند

Question 11

حتی با `strictFunctionTypes`، پارامترهای کدام شکل به‌صورت bivariant چک می‌شوند؟

Accepted Answer

متدهایی که با method shorthand نوشته شده‌اند: `{ handle(x: T): void }`

Answer

property‌های تابعی: `{ handle: (x: T) => void }`

Answer

type alias تابع: `type H = (x: T) => void`

Answer

هیچ‌کدام؛ همه contravariant هستند

Question 12

با `strictFunctionTypes`، تخصیص `(x: string) => void` به `let f: (x: string | number) => void` چه می‌شود؟

Accepted Answer

خطا؛ پارامترها contravariant هستند و تابع ممکن است number دریافت کند

Answer

مجاز است چون `string` زیرمجموعه‌ی union است

Answer

مجاز است ولی پارامتر به `any` تبدیل می‌شود

Answer

فقط در صورتی خطاست که return type متفاوت باشد

Question 13

چرا در `type IsStr<T> = [T] extends [string] ? true : false` تایپ را داخل tuple قرار می‌دهند؟

Accepted Answer

تا از distributive شدن روی اعضای union جلوگیری شود

Answer

تا `T` به آرایه تبدیل شود

Answer

چون conditional type بدون tuple کار نمی‌کند

Answer

برای بهبود سرعت compile و نه دلیل دیگر

Question 14

با `type IsStr = T extends string ? true : false`، `IsStr` چیست؟

Accepted Answer

`never`

Answer

`true`

Answer

`false`

Answer

`boolean`

Question 15

چرا `type IsAny<T> = 0 extends 1 & T ? true : false` برای تشخیص `any` کار می‌کند؟

Accepted Answer

`1 & any` برابر `any` است و `0` به آن قابل تخصیص است؛ برای بقیه‌ی تایپ‌ها نه

Answer

چون `any` همیشه برابر `0` است

Answer

چون intersection با `any` همیشه `never` می‌دهد

Answer

این روش کار نمی‌کند و همیشه `false` برمی‌گرداند

Question 16

چرا برای `Equals` از `(() => G extends A ? 1 : 2) extends (() => G extends B ? 1 : 2)` استفاده می‌شود به‌جای چک دوطرفه‌ی `extends`؟

Accepted Answer

چک دوطرفه `any` را با هر تایپی برابر می‌داند ولی این روش هویت دقیق را مقایسه می‌کند

Answer

چون `extends` در conditional type فقط یک‌طرفه مجاز است

Answer

فقط برای سرعت بیشتر است

Answer

چون generic‌های بدون پارامتر هیچ‌وقت resolve نمی‌شوند

Question 17

چرا `(U extends any ? (x: U) => void : never) extends (x: infer I) => void ? I : never` یک union را به intersection تبدیل می‌کند؟

Accepted Answer

`infer` در جایگاه contravariant (پارامتر) چند کاندید را با intersection ترکیب می‌کند

Answer

چون `extends any` همیشه intersection تولید می‌کند

Answer

چون `void` اعضای union را ادغام می‌کند

Answer

این تایپ در واقع union را بدون تغییر برمی‌گرداند

Question 18

در `T extends [infer H extends string, ...unknown[]] ? H : never` بخش `extends string` بعد از `infer H` چه نقشی دارد؟

Accepted Answer

روی متغیر استنتاج‌شده constraint می‌گذارد؛ اگر برقرار نباشد شاخه‌ی false انتخاب می‌شود

Answer

`H` را به‌زور به string تبدیل می‌کند

Answer

یک conditional type تو در تو با شاخه‌ی جدا می‌سازد

Answer

خطای syntax است

Question 19

برای جلوگیری از خطای «Type instantiation is excessively deep» در یک conditional type بازگشتی، کدام تکنیک مؤثر است؟

Accepted Answer

بازنویسی به شکل tail-recursive با یک accumulator

Answer

افزودن `// @ts-ignore` بالای تعریف

Answer

تبدیل type alias به interface

Answer

افزایش `maxDepth` در tsconfig

Question 20

``"a.b.c" extends `${infer H}.${infer R}` ? [H, R] : never`` چه نتیجه‌ای دارد؟

Accepted Answer

`["a", "b.c"]`

Answer

`["a.b", "c"]`

Answer

`["a", "b"]`

Answer

`never`

Question 21

در `function pick(opts: T[], initial: NoInfer)`، نقش `NoInfer` چیست؟

Accepted Answer

`initial` در استنتاج `T` شرکت نمی‌کند؛ پس مقدار خارج از `opts` خطا می‌دهد

Answer

`T` را به `unknown` تبدیل می‌کند

Answer

`initial` را اختیاری می‌کند

Answer

استنتاج را برای کل تابع غیرفعال می‌کند

Question 22

با `exactOptionalPropertyTypes`، تخصیص `{ theme: undefined }` به `{ theme?: "dark" | "light" }` چه می‌شود؟

Accepted Answer

خطا؛ اختیاری یعنی «وجود نداشتن»، نه مقدار `undefined`

Answer

مجاز است چون `?` همیشه `undefined` را اضافه می‌کند

Answer

property به‌طور خودکار حذف می‌شود

Answer

فقط برای class‌ها اعمال می‌شود

Question 23

`Partial<[string, number]>` چه تایپی است؟

Accepted Answer

`[string?, number?]`

Answer

`{ 0?: string; 1?: number; length?: 2 }`

Answer

`(string | number)[]`

Answer

`[string, number] | undefined`

Question 24

``{ [K in keyof T as T[K] extends Function ? never : K]: T[K] }`` چه می‌کند؟

Accepted Answer

همه‌ی property‌هایی که تابع هستند را حذف می‌کند

Answer

فقط متدها را نگه می‌دارد

Answer

تایپ همه‌ی property‌ها را `never` می‌کند

Answer

کلیدها را به نام تابع تغییر می‌دهد

Question 25

تایپ `unique symbol` کجا قابل استفاده است؟

Accepted Answer

فقط روی تعریف‌های `const` یا property‌های `static readonly`

Answer

روی هر متغیر `let`

Answer

فقط به‌عنوان type parameter

Answer

فقط داخل فایل‌های `.d.ts`

Question 26

چرا یک mixin با پارامتر `Base: new (...args: any[]) => object` کلاس abstract را نمی‌پذیرد و راه‌حل چیست؟

Accepted Answer

abstract class به construct signature معمولی قابل تخصیص نیست؛ باید `abstract new (...args: any[]) => object` نوشت

Answer

mixin‌ها فقط با interface کار می‌کنند

Answer

باید `Base` را `any` تعریف کرد؛ راه دیگری نیست

Answer

abstract class‌ها در runtime وجود ندارند

Question 27

چرا `declare module "express" { interface Request { user?: User } }` در یک فایل بدون هیچ import/export ممکن است تایپ‌های express را خراب کند؟

Accepted Answer

در فایل script یک ambient module جدید تعریف می‌شود که جایگزین تایپ‌ها می‌شود، نه augmentation

Answer

چون `declare module` فقط برای فایل‌های CSS است

Answer

چون interface‌ها قابل merge نیستند

Answer

چون باید از `namespace` استفاده کرد

Question 28

با `isolatedModules`، چرا `export { User } from "./types"` (که `User` فقط یک تایپ است) خطا می‌دهد؟

Accepted Answer

transpiler تک‌فایلی نمی‌داند `User` تایپ است و نمی‌تواند آن را حذف کند؛ باید `export type` نوشت

Answer

re-export در ESM مجاز نیست

Answer

چون تایپ‌ها نمی‌توانند export شوند

Answer

چون `./types` باید پسوند `.d.ts` داشته باشد

Question 29

با `moduleResolution: "nodenext"` در یک فایل ESM، import نسبی `./utils.ts` چگونه نوشته می‌شود؟

Accepted Answer

`import { x } from "./utils.js"`

Answer

`import { x } from "./utils"`

Answer

`import { x } from "utils"`

Answer

`import { x } from "./utils.d.ts"`

Question 30

در فیلد `exports` در package.json یک کتابخانه، شرط `"types"` کجا باید قرار گیرد؟

Accepted Answer

اول، قبل از `"import"`/`"require"`/`"default"`

Answer

آخر، بعد از همه‌ی شرط‌ها

Answer

ترتیب اهمیتی ندارد

Answer

خارج از `exports` در یک فیلد جدا به نام `typesExports`

Question 31

در project references، گزینه‌ی `composite: true` و دستور `tsc -b` چه نقشی دارند؟

Accepted Answer

پروژه‌ها را به ترتیب وابستگی و به‌صورت incremental build می‌کنند و از `.d.ts` خروجی هم استفاده می‌شود

Answer

همه‌ی پروژه‌ها را در یک فایل JS ادغام می‌کنند

Answer

type checking را برای پروژه‌های وابسته خاموش می‌کنند

Answer

فقط در monorepo‌های Yarn کار می‌کنند

Question 32

`skipLibCheck: true` دقیقاً چه چیزی را رد می‌کند؟

Accepted Answer

type checking همه‌ی فایل‌های declaration (`*.d.ts`)

Answer

type checking پوشه‌ی `node_modules` شامل فایل‌های `.ts`

Answer

بارگذاری گزینه‌ی `lib`

Answer

چک کد خود پروژه

Question 33

گزینه‌ی `declarationMap` چه فایده‌ای دارد؟

Accepted Answer

«Go to Definition» در ادیتور به فایل `.ts` اصلی می‌رود نه به `.d.ts`

Answer

فایل‌های `.d.ts` را minify می‌کند

Answer

source map برای اجرای JS در مرورگر می‌سازد

Answer

تایپ‌ها را از فایل‌های JS استخراج می‌کند

Question 34

`using conn = openConnection()` (از TS 5.2) چه رفتاری دارد؟

Accepted Answer

در پایان scope متد `[Symbol.dispose]()` روی `conn` خودکار صدا زده می‌شود

Answer

`conn` را readonly و lazy می‌کند

Answer

یک alias برای `const` است بدون تفاوت

Answer

connection را بین ماژول‌ها به اشتراک می‌گذارد

Question 35

decorator‌های استاندارد (TS 5.0 بدون `experimentalDecorators`) چه محدودیتی نسبت به نسخه‌ی قدیمی دارند؟

Accepted Answer

از parameter decorator و `emitDecoratorMetadata` پشتیبانی نمی‌کنند

Answer

روی متدها قابل استفاده نیستند

Answer

فقط در فایل‌های `.d.ts` کار می‌کنند

Answer

خروجی runtime ندارند

Question 36

TS هنگام فراخوانی تابع overload شده، کدام overload را انتخاب می‌کند؟

Accepted Answer

اولین overload از بالا که با آرگومان‌ها سازگار باشد

Answer

خاص‌ترین overload، صرف‌نظر از ترتیب

Answer

آخرین overload تعریف‌شده

Answer

union همه‌ی overload‌های سازگار

Question 37

با overload‌های `f(x: string): string` و `f(x: number): number`، فراخوانی `f(v)` با `v: string | number` چه می‌شود؟

Accepted Answer

خطا؛ هیچ overloadی به‌تنهایی union را نمی‌پذیرد

Answer

نتیجه `string | number` است

Answer

overload اول انتخاب و نتیجه `string` است

Answer

TS به‌طور خودکار هر دو را امتحان و union نتایج را برمی‌گرداند

Question 38

چرا در builder، متدها return type برابر `this` دارند (مثل `setName(n: string): this`)؟

Accepted Answer

تا زنجیره‌ی متدها در subclass هم تایپ subclass را حفظ کند

Answer

تا متد به‌طور خودکار bind شود

Answer

چون return type `Builder` در TS مجاز نیست

Answer

تا متد static شود

Question 39

از TS 5.4، narrowing یک متغیر `let` داخل closure در چه شرایطی حفظ می‌شود؟

Accepted Answer

وقتی بعد از ساخته شدن closure هیچ تخصیص دیگری به متغیر وجود نداشته باشد

Answer

همیشه، بدون هیچ شرطی

Answer

فقط وقتی closure یک arrow function باشد

Answer

هرگز؛ فقط `const` narrowing را حفظ می‌کند

Question 40

بعد از `if (obj.val !== undefined)`، اگر تابعی صدا زده شود که ممکن است `obj.val` را تغییر دهد، TS چه می‌کند؟

Accepted Answer

narrowing را حفظ می‌کند؛ یک trade-off آگاهانه‌ی unsound برای کاربردپذیری

Answer

narrowing را لغو و دوباره `undefined` را اضافه می‌کند

Answer

خطای compile می‌دهد

Answer

تحلیل می‌کند که تابع واقعاً `obj` را تغییر می‌دهد یا نه

Question 41

چرا `const animals: Animal[] = dogs; animals.push(cat);` (با `dogs: Dog[]`) بدون خطا compile می‌شود؟

Accepted Answer

آرایه‌های mutable در TS covariant هستند که unsound است

Answer

چون `push` در TS تایپ ندارد

Answer

چون `Cat` و `Dog` structural یکسان‌اند

Answer

compile نمی‌شود و خطا می‌دهد

Question 42

چرا `const o = { x: 1, y: 2 }; const p: { x: number } = o;` خطای excess property نمی‌دهد؟

Accepted Answer

excess property check فقط روی object literal‌های «تازه» (fresh) انجام می‌شود

Answer

چون `const` excess check را غیرفعال می‌کند

Answer

چون `y` تایپ number دارد

Answer

خطا می‌دهد

Question 43

با `type Opts = { color?: string; size?: number }`، چرا `const o = { colour: "red" }; const x: Opts = o;` خطا می‌دهد؟

Accepted Answer

weak type detection: تایپی با همه‌ی property‌های اختیاری باید حداقل یک property مشترک داشته باشد

Answer

excess property check روی متغیر

Answer

چون `colour` غلط املایی است و TS آن را تشخیص می‌دهد

Answer

چون تایپ‌های optional قابل تخصیص نیستند

Question 44

برای `function f(b: B): [A, B]`، اگر بنویسیم `f(42)` چه می‌شود؟

Accepted Answer

خطا؛ TS استنتاج جزئی type argument را پشتیبانی نمی‌کند

Answer

`A` برابر `string` و `B` از آرگومان `number` استنتاج می‌شود

Answer

`B` برابر `unknown` می‌شود

Answer

`string` به `B` نسبت داده می‌شود

Question 45

`{ kind: "a"; x: number } & { kind: "b" }` به چه تایپی ساده می‌شود؟

Accepted Answer

`never`

Answer

`{ kind: never; x: number }`

Answer

`{ kind: "a" | "b"; x: number }`

Answer

`{ kind: "b"; x: number }`

Question 46

تایپ `((x: string) => string) & ((x: number) => number)` چگونه رفتار می‌کند؟

Accepted Answer

مثل یک تابع overload شده با ترتیب همان intersection

Answer

مثل تابعی که پارامترش `string & number` یعنی `never` است

Answer

مثل تابعی با پارامتر `string | number` و خروجی union

Answer

فوراً به `never` تبدیل می‌شود

Question 47

برای `A = { a: 1; c: 1 }` و `B = { b: 1; c: 1 }`، `keyof (A | B)` چیست؟

Accepted Answer

`"c"`

Answer

`"a" | "b" | "c"`

Answer

`never`

Answer

`"a" | "b"`

Question 48

طبق راهنمای performance تیم TS، چرا `interface C extends A, B {}` معمولاً از `type C = A & B` بهتر است؟

Accepted Answer

رابطه‌ی interface‌ها cache می‌شود و تعارض property‌ها زود گزارش می‌شود

Answer

intersection‌ها در runtime کد اضافه تولید می‌کنند

Answer

interface‌ها از generic پشتیبانی نمی‌کنند و ساده‌ترند

Answer

intersection‌ها در TS 5 deprecated شده‌اند

Question 49

تنظیم `"types": ["node"]` در tsconfig چه اثری دارد؟

Accepted Answer

فقط `@types/node` به‌صورت global خودکار شامل می‌شود و بقیه‌ی پکیج‌های `@types` نه

Answer

import کردن هر پکیج دیگری را ممنوع می‌کند

Answer

`lib` را به `node` تغییر می‌دهد

Answer

تایپ‌های DOM را حذف می‌کند

Question 50

چرا `const assertOk = (v: unknown): asserts v => { ... }` و سپس فراخوانی `assertOk(x)` ممکن است خطای «Assertions require every name in the call target to be declared with an explicit type annotation» بدهد؟

Accepted Answer

تایپ `assertOk` استنتاجی است؛ متغیر باید annotation صریح داشته باشد یا از function declaration استفاده شود

Answer

arrow function‌ها نمی‌توانند `asserts` داشته باشند

Answer

چون `v` باید `any` باشد

Answer

چون assertion function باید async باشد

تایپ‌اسکریپت · سینیور · 50

شکل کلی conditional type کدام است؟