الفرق بين any و unknown في TypeScript ومتى تستخدم كلًا منهما

يقبل any وunknown كل القيم. الفرق فيما يمكنك فعله بالقيمة بعد ذلك: يسمح لك any بفعل أي شيء ولا يفحص شيئًا، بينما لا يسمح لك unknown بفعل شيء تقريبًا حتى تثبت ما هي القيمة.

let a: any = "hello";
let u: unknown = "hello";

console.log(a.toUpperCase()); // HELLO: any allows every operation

// @ts-expect-error: 'u' is of type 'unknown'.
u.toUpperCase();

if (typeof u === "string") {
  console.log(u.toUpperCase()); // HELLO: u is a string inside this block
}

دون سطر @ts-expect-error يكون u.toUpperCase() خطأ الترجمة TS18046. يضيّق فحص typeof المتغير u إلى string، وداخل تلك الكتلة تتاح كل دوال النصوص.

any مقابل unknown في لمحة

بلغة نظرية الأنواع، unknown هو النوع الأعلى (top type): كل نوع يمكن إسناده إليه، ولا يمكن إسناده إلا إلى unknown وany. أما any فمخرج طوارئ يمكن إسناده في الاتجاهين، إلى كل شيء ما عدا never.

any يوقف فحص الأنواع

القيمة التي نوعها any موثوق بها ثقة عمياء. يقبل المترجم الأخطاء الإملائية والأنواع الخاطئة والخصائص الغائبة، فتظهر الأخطاء وقت التشغيل بدلًا من ذلك.

const user: any = { name: "Ada" };

const total: number = user.name; // compiles: any is assignable to number
console.log(typeof total);       // string

const city = user.adress;        // typo, still compiles
console.log(city);               // undefined

try {
  console.log(user.address.city); // compiles, throws at runtime
} catch (e) {
  console.log((e as Error).message);
}

يُظهر الناتج المشكلة: متغير نوعه المعلن number يحمل نصًا، والسطر الأخير يرمي Cannot read properties of undefined (reading 'city'). وينتشر any أيضًا. user.name نوعه any، فكل قيمة محسوبة منه تكون any، وقيمة واحدة بلا نوع يمكن أن توقف الفحص بعيدًا عن المكان الذي دخلت منه.

unknown يجبرك على الفحص أولًا

مع unknown يرفض المترجم كل عملية حتى يضيّق الكود القيمة. يستخدم التضييق فحوص JavaScript العادية، وداخل كل فرع يكون للقيمة النوع الذي فُحص.

function describe(value: unknown): string {
  if (typeof value === "string") return `string of length ${value.length}`;
  if (typeof value === "number") return `number ${value.toFixed(2)}`;
  if (Array.isArray(value)) return `array of ${value.length}`;
  if (value instanceof Date) return `date ${value.toISOString()}`;
  if (value === null) return "null";
  if (typeof value === "object" && "id" in value) return `object with id ${String(value.id)}`;
  return typeof value;
}

console.log(describe("hi"));                               // string of length 2
console.log(describe(3.14159));                            // number 3.14
console.log(describe([1, 2, 3]));                          // array of 3
console.log(describe(new Date("2024-03-15T10:30:00Z")));   // date 2024-03-15T10:30:00.000Z
console.log(describe({ id: 7 }));                          // object with id 7
console.log(describe(undefined));                          // undefined

يجب أن يأتي فحص value === null قبل فحص الكائن لأن typeof null يساوي "object". بعد "id" in value تعرف TypeScript أن للكائن خاصية id نوعها unknown، لأن لا شيء يقول ما الذي تحمله. يحوّلها String() إلى نص صراحة؛ ولاستخدامها كرقم عليك فحصها بـ typeof أولًا.

يمكنك أيضًا تخطي الفحص بتأكيد نوع، value as string، فيقبله المترجم. هذا وعد لا يقف وراءه أي فحص وقت التشغيل، لذلك فضّل فحصًا حقيقيًا؛ انظر تأكيدات الأنواع.

التحقق من JSON باستخدام unknown

تُعرَّف JSON.parse على أنها تعيد any، فيوقف ناتجها الفحص بصمت. حدد نوع الناتج بـ unknown واكتب type guard يفحص الشكل قبل أن يثق به بقية الكود.

interface Settings {
  theme: string;
  fontSize: number;
}

function isSettings(v: unknown): v is Settings {
  return (
    typeof v === "object" && v !== null &&
    "theme" in v && typeof v.theme === "string" &&
    "fontSize" in v && typeof v.fontSize === "number"
  );
}

const inputs = ['{"theme":"dark","fontSize":14}', '{"theme":"dark"}'];

for (const text of inputs) {
  const data: unknown = JSON.parse(text);
  if (isSettings(data)) {
    console.log(`${data.theme} at ${data.fontSize}px`);
  } else {
    console.log("invalid settings:", text);
  }
}

يطبع المدخل الأول dark at 14px، ويُرفض الثاني لأن fontSize غائبة. مع any كان المدخل الثاني سيمر كـ Settings قيمة fontSize فيه undefined. ومع المخططات الكبيرة، تؤدي مكتبة تحقق المهمة نفسها وتشتق النوع لك.

noImplicitAny

لا يأتي any فقط من كتابة الناس له. المعامل الذي بلا تعليق نوع ولا سياق يُستنتج منه سيكون any أيضًا. والخيار noImplicitAny، الذي يفعّله strict، يبلّغ عن ذلك كخطأ:

// This does not compile: x has no type
function double(x) {
  return x * 2;
}

console.log(double(4));

index.ts(2,17): error TS7006: Parameter 'x' implicitly has an 'any' type.

الحل تعليق نوع، function double(x: number). وكتابة x: any صراحة تُترجم أيضًا، وهذا هو المقصود: يبقى any ظاهرًا في الكود ويمكن البحث عنه ومراجعته.

أين يتسلل any رغم ذلك

حتى تحت strict، تنتج هذه المصادر any دون أن تظهر الكلمة في كودك:

متغير catch نوعه unknown تحت strict لأن أي شيء يمكن رميه، لا كائنات Error فقط. ضيّقه بـ e instanceof Error قبل قراءة e.message.

متى يكون any مقبولًا

any ليس ممنوعًا، لكن كل استخدام له موضع لم يعد المترجم يحميه. استخدامات معقولة:

• ترحيل قاعدة كود JavaScript، حيث يعلّم any ما لم تُحدد أنواعه بعد.
• كود لا يستطيع نظام الأنواع التعبير عنه جيدًا، يُبقى صغيرًا خلف توقيع دالة له أنواع.
• كود الاختبارات الذي يمرر بيانات خاطئة عمدًا.

ولكل ما عدا ذلك، يغطي unknown حالة «لا أعرف هذا النوع» نفسها مع الإبقاء على الفحوص. وتفرض فرق كثيرة ذلك بقاعدة الفحص @typescript-eslint/no-explicit-any. والنوع القريب Record<string, unknown> هو الخيار المعتاد لـ «كائن ما بقيم غير معروفة».