اختبار الأنواع وسلوك التنفيذ

export {};
function batches(count: number, width: number): number | undefined {
  if (!Number.isSafeInteger(count) || count < 0 || !Number.isSafeInteger(width) || width <= 0) { return undefined; }
  return Math.floor(count / width) + (count % width === 0 ? 0 : 1);
}
function expect(condition: boolean): void { if (!condition) { throw new Error("test failed"); } }
expect(batches(0, 4) === 0);
expect(batches(8, 4) === 2);
expect(batches(9, 4) === 3);
expect(batches(2, 0) === undefined);
console.log("4 cases passed");

4 cases passed

تغطي الفحوص الفراغ والقسمة التامة والتقريب والرفض، ويمنع فشل أي منها سطر النجاح.

export {};
function positiveInteger(value: unknown): value is number {
  return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
}
const cases: readonly (readonly [unknown, boolean])[] = [[1, true], [0, false], ["1", false]];
for (const [input, wanted] of cases) {
  if (positiveInteger(input) !== wanted) { throw new Error("guard mismatch"); }
}
console.log("3 guards passed");

3 guards passed

يُقبل العدد الصحيح الموجب فقط، ولا يفترض الاختبار صحة unknown مسبقًا.