TypeScript Strict Mode: strict: true Neleri Açar

Strict mode, tsconfig.json içindeki "strict": true seçeneğidir. Örtük any'yi, kontrol edilmemiş null ve undefined'ı, güvensiz fonksiyon atamalarını ve başlatılmamış class alanlarını yakalayan sekiz tip kontrol bayrağı için tek bir anahtardır. TypeScript 7'de strict varsayılan olarak açıktır. Bu kontrollerden geçen kod şöyle görünür:

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));

Çıktı no user, SyntaxError ve 42 olur. : number, ?. ya da instanceof kontrolünü kaldırın, dosya artık derlenmez.

Açmak

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

Tek tek bayraklar her iki yönde de strict'e üstün gelir. "strict": true, "strictNullChecks": false null kontrolü dışındaki her şeyi korur; "strict": false, "noImplicitAny": true yalnızca o bayrağı açar. strict sizi gelecek sürümlerde eklenen kontrollere de dahil eder, çünkü strict ailesine yeni bayraklar gruba katılır.

TypeScript'in strict seçeneğinin, bir çalışma zamanı modu olan JavaScript'in "use strict" yönergesiyle hiçbir ilgisi yoktur. TypeScript 7 gereken yerde her zaman "use strict" üretir ve alwaysStrict: false ayarı TS5108 hatasıdır (seçenek kaldırıldı).

Her Bayrak Neyi Yakalar

En çok kodu değiştiren ikisi noImplicitAny ve strictNullChecks'tir. Bu blok ikisini de bilerek bozar:

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

Şunları yazdırır: index.ts(2,17): error TS7006: Parameter 'x' implicitly has an 'any' type. ve index.ts(11,13): error TS18048: 'user' is possibly 'undefined'. Strict olmadan bu kod derlenir ve sonra çalışma zamanında TypeError: Cannot read properties of undefined (reading 'name') ile çöker. Strict ile çökme bir derleme hatasına dönüşür. Düzeltmeler bu sayfadaki ilk bloktadır.

strictFunctionTypes: Neden Var

Yalnızca string'leri işleyen bir fonksiyon, number gelebilecek bir yerde kullanılmamalıdır. Aşağıdaki kontrol @ts-expect-error ile susturuldu, böylece çalıştırıp hatanın neyi önlediğini görebilirsiniz:

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
}

Yorum olmadan atama TS2322 hatasıdır: Type '(s: string) => void' is not assignable to type 'Handler'. ve ardından Types of parameters 's' and 'value' are incompatible. Tasarım gereği bir istisna kalır: metot söz dizimiyle tanımlanan metotların parametreleri (bir interface içindeki handle(value: string | number): void) hâlâ daha gevşek şekilde kontrol edilir, bu yüzden shout böyle bir metoda hatasız atanabilirdi.

strictPropertyInitialization

Her class alanı, tanımında ya da constructor içinde bir değer almalıdır. Bunu karşılamanın üç yolu:

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);

Çıktı:

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

lastLogin ve sessionId özellikleri undefined değeriyle vardır, çünkü ES2022 hedefinde class alanları gerçek JavaScript alanlarıdır. ! herhangi bir çalışma zamanı koruması eklemeden kontrolü kaldırır, bu yüzden diğer biçimleri tercih edin. Bu bayrak strictNullChecks gerektirir; onu kapatmak bunu da devre dışı bırakır.

Var Olan Bir Projede Strict'i Açmak

Büyük bir kod tabanını bir anda strict'e geçirmek yüzlerce hata üretebilir. strict TypeScript 7'nin varsayılanı olduğu için, tsconfig.json dosyası strict'ten hiç söz etmeyen bir projeyi yükseltmek onu kendiliğinden açar; taşıma sürerken eski davranışa ihtiyacınız varsa "strict": false yazın. Build'i yeşil tutan bir yol:

1. "strict": true ekleyin ve en çok hata veren bayrakları kapatın, genellikle "strictNullChecks": false ve "noImplicitAny": false.
2. Kalan hataları düzeltin, sonra bir bayrak daha açın ve tekrarlayın.
3. noImplicitAny için düzeltmelerin çoğu parametre işaretlemeleridir. strictNullChecks için değerlerin eksik olabileceği yerlere | undefined ekleyin, sonra bunu ?., ?? ya da bir if kontrolüyle ele alın.
4. Bir düzeltmenin beklemesi gerekiyorsa satıra gerekçesiyle birlikte // @ts-expect-error koyun. @ts-ignore'dan farklı olarak sorun ortadan kalktığında bir hata bildirir, böylece liste kendiliğinden küçülür.

Hataları toplu halde susturmak için as any ya da ! kullanmayın: her biri, bayrağın bulmak için eklendiği hatayı tam olarak gizler.

Strict'in İçermediği Faydalı Bayraklar

Bunlar ayrıdır, çünkü çoğu zaman doğru olan kodu reddederler. Yine de birçok proje onları açar.

En çok gerçek hatayı noUncheckedIndexedAccess yakalar. Açıkken:

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);
}

TypeScript 7'deki tsc --init, ürettiği config'te strict'in yanında noUncheckedIndexedAccess ve exactOptionalPropertyTypes bayraklarını da açar.