الوضع الصارم في TypeScript: ما الذي يفعّله strict: true

الوضع الصارم هو الخيار "strict": true في tsconfig.json. إنه مفتاح واحد لثمانية خيارات لفحص الأنواع تكتشف any الضمني، وnull وundefined غير المفحوصين، وإسناد الدوال غير الآمن، وحقول الأصناف غير المهيأة. في TypeScript 7 يكون strict مفعّلًا افتراضيًا. هكذا يبدو الكود الذي يجتازه:

function double(x: number) { // noImplicitAny: x needs a type
  return x * 2;
}

function findUser(id: number): { name: string } | undefined {
  return id === 1 ? { name: "Ada" } : undefined;
}

const user = findUser(2);
console.log(user?.name ?? "no user"); // strictNullChecks: user may be undefined

try {
  JSON.parse("{");
} catch (err) { // useUnknownInCatchVariables: err is unknown
  console.log(err instanceof Error ? err.name : String(err));
}

console.log(double(21));

الناتج هو no user وSyntaxError و42. احذف : number أو ?. أو فحص instanceof ولن يُترجم الملف بعدها.

تفعيله

{
    "compilerOptions": {
        "strict": true
    }
}

الخيارات الفردية تتقدم على strict في الاتجاهين. "strict": true, "strictNullChecks": false يُبقي كل شيء عدا فحص null؛ و"strict": false, "noImplicitAny": true يفعّل ذلك الخيار وحده. ويضمّك strict أيضًا إلى الفحوص التي تُضاف في الإصدارات المقبلة، لأن خيارات عائلة strict الجديدة تنضم إلى المجموعة.

لا علاقة لـ strict في TypeScript بالتوجيه "use strict" في JavaScript، وهو وضع وقت تشغيل. يُخرج TypeScript 7 دائمًا "use strict" حيث يلزم، وضبط alwaysStrict: false هو الخطأ TS5108 (أُزيل الخيار).

ما يكتشفه كل خيار

الخياران اللذان يغيّران أكبر قدر من الكود هما noImplicitAny وstrictNullChecks. هذه الكتلة تخالف كليهما عمدًا:

// This does not compile: two strict errors.
function double(x) {
  return x * 2;
}

function findUser(id: number): { name: string } | undefined {
  return id === 1 ? { name: "Ada" } : undefined;
}

const user = findUser(2);
console.log(user.name, double(2));

تطبع index.ts(2,17): error TS7006: Parameter 'x' implicitly has an 'any' type. وindex.ts(11,13): error TS18048: 'user' is possibly 'undefined'. دون strict يُترجم هذا الكود ثم ينهار وقت التشغيل مع TypeError: Cannot read properties of undefined (reading 'name'). ومع strict يصبح الانهيار خطأ ترجمة. والإصلاحات هي الكتلة الأولى في هذه الصفحة.

strictFunctionTypes: لماذا يوجد

الدالة التي تتعامل مع النصوص فقط يجب ألا تُستخدم حيث يمكن أن تصل أرقام. الفحص في المثال التالي مُسكت بـ @ts-expect-error حتى تستطيع تشغيله ورؤية ما يمنعه الخطأ:

type Handler = (value: string | number) => void;

const shout = (s: string) => console.log(s.toUpperCase());

// @ts-expect-error strictFunctionTypes rejects this assignment
const handle: Handler = shout;

try {
  handle(42); // the type allows a number, shout cannot take one
} catch (e) {
  console.log(e instanceof Error ? e.message : e); // s.toUpperCase is not a function
}

دون التعليق يكون الإسناد الخطأ TS2322، Type '(s: string) => void' is not assignable to type 'Handler'.، يليه Types of parameters 's' and 'value' are incompatible. يبقى استثناء واحد مقصود: معاملات الدوال المعرّفة بصياغة method (handle(value: string | number): void داخل interface) ما زالت تُفحص بالطريقة الأكثر تساهلًا، لذلك يمكن إسناد shout إلى دالة كهذه دون خطأ.

strictPropertyInitialization

يجب أن يحصل كل حقل في الصنف على قيمة في تعريفه أو في المُنشئ. ثلاث طرق لتحقيق ذلك:

class Account {
  owner: string;                  // assigned in the constructor
  balance = 0;                    // initializer
  history: string[] = [];         // initializer
  lastLogin?: Date;               // optional: may stay undefined
  sessionId!: string;             // "!": assigned later, you promise

  constructor(owner: string) {
    this.owner = owner;
  }
}

const a = new Account("Ada");
a.sessionId = "s-1";
console.log(a);

الناتج:

Account {
  owner: 'Ada',
  balance: 0,
  history: [],
  lastLogin: undefined,
  sessionId: 's-1'
}

الخاصيتان lastLogin وsessionId موجودتان بالقيمة undefined لأن حقول الأصناف حقول JavaScript حقيقية عند target ES2022. تزيل علامة ! الفحص دون أن تضيف أي حماية وقت التشغيل، لذلك فضّل الأشكال الأخرى. يحتاج هذا الخيار إلى strictNullChecks؛ وإيقاف الأخير يعطّله أيضًا.

تفعيل Strict في مشروع قائم

تحويل قاعدة كود كبيرة إلى strict دفعة واحدة قد ينتج مئات الأخطاء. ولأن strict هو الإعداد الافتراضي في TypeScript 7، فترقية مشروع لم يذكر ملف tsconfig.json فيه strict أبدًا تفعّله تلقائيًا؛ اكتب "strict": false إذا احتجت إلى السلوك القديم أثناء النقل. طريق يُبقي البناء ناجحًا:

1. أضف "strict": true وأوقف الخيارات التي فيها أكثر الأخطاء، وهي عادة "strictNullChecks": false و"noImplicitAny": false.
2. أصلح الأخطاء المتبقية، ثم فعّل خيارًا آخر وكرر.
3. في noImplicitAny معظم الإصلاحات تحديد أنواع للمعاملات. وفي strictNullChecks أضف | undefined حيث يمكن أن تغيب القيم، ثم تعامل معها بـ ?. أو ?? أو فحص if.
4. حيث يجب أن ينتظر الإصلاح، ضع // @ts-expect-error مع سبب على السطر. بخلاف @ts-ignore يبلّغ عن خطأ حالما تزول المشكلة، فتتقلص القائمة من تلقاء نفسها.

لا تلجأ إلى as any أو ! لإسكات الأخطاء بالجملة: كل واحد منها يخفي بالضبط الخطأ البرمجي الذي أُضيف الخيار لاكتشافه.

خيارات مفيدة لا يتضمنها Strict

هذه الخيارات منفصلة لأنها ترفض كودًا يكون صحيحًا في أحيان كثيرة. وكثير من المشاريع تفعّلها مع ذلك.

الخيار noUncheckedIndexedAccess هو الذي يكتشف أكثر الأخطاء البرمجية الحقيقية. عند تفعيله:

const scores = [90, 85];
const d: Record<string, number> = {};

const third: number = scores[2]; // error TS2322: Type 'number | undefined' is not assignable to type 'number'.
const c: number = d["x"];        // same error

const safe = scores[2] ?? 0;     // number
for (const s of scores) {        // for...of is not affected: s is number
    console.log(s);
}

يفعّل tsc --init في TypeScript 7 الخيارين noUncheckedIndexedAccess وexactOptionalPropertyTypes في الإعداد الذي يولّده، بجانب strict.