دالة هوية معممة
جزء من قسم مقدمة إلى Luau في رحلة Lua على Coddy — الدرس 58 من 73.
إليك دالة `identity` المنفذة بالشكل الصحيح — كـ دالة جنيسية (generic function):
local function identity<T>(value: T): T
return value
endيُعلن رمز <T> بعد اسم الدالة عن معلمة نوع (type parameter) — عنصر نائب يمثل "نوعًا ما، يتحدد عند كل استدعاء `call`". داخل التوقيع (signature)، تستهلك T تمامًا كنوع حقيقي: المعلمة هي من النوع T، والدالة تُرجع نوعًا من T.
استخدام نفس الـ T للمدخلات والمخرجات هو الحيلة بأكملها — فهو يربطهما معًا. قم بـ `call` لـ identity("hello") وسيتحدد للداعم أن T = string لهذا الـ `call`، وبالتالي تكون النتيجة string. قم بـ `call` لـ identity(42) فتصبح T = number، وتكون النتيجة number. جسم دالة واحد (One)، لكافة الأنواع (every)، دون فقدان أي شيء.
الرمز T ليس سوى اسم اصطلاحي (اختصار لـ "Type") — و <Item> أو <Value> يعملان بنفس الكفاءة. وكما هو الحال دائمًا في Luau، فإن الأقواس الزاوية موجودة فقط لفاحص الأنواع: أثناء التشغيل (runtime)، تكون هذه الدالة مجرد دالة Lua عادية function identity(value) return value end.
التحدي
سهلأنشئ دالة عامة (generic) باسم identity تقوم بما يلي:
- تعلّن عن بارامتر نوع
T - تقبل بارامتر واحد باسم
valueمن النوعT - تُرجع تلك القيمة، مع نوع إرجاع
T
ثم أنشئ هذه المتغيرات المحددة الأنواع باستخدام الدالة الخاصة بك:
luckyNumberمن النوعnumber— استدعِidentityمع القيمة7greetingمن النوعstring— استدعِidentityمع القيمة"Hello, Luau!"isReadyمن النوعboolean— استدعِidentityمع القيمةtrue
اطبع ما يلي، كل منها في سطر منفصل:
luckyNumbergreetingisReady- نتيجة استدعاء
identityمع"generics"مباشرة داخلprint - نتيجة استدعاء
identityمع99مباشرة داخلprint
جرّب بنفسك
-- اكتب الكود هنا
-- 1) عرّف identity<T>(value: T): T
-- 2) أنشئ luckyNumber و greeting و isReady باستدعاءات identity
-- 3) اطبعها، ثم اطبع identity("generics") و identity(99)
يتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس مقدمة إلى Luau
1البدء مع Luau
ما هي Luau؟لماذا نستخدم Luau؟أول كود لك بلغة Luauفحص الأنواع وأنماط الأخطاءملخص: مقدمة إلى Luau4العمل مع الدوال
تحديد أنواع المعاملات والقيم المرجعةتحديد أنواع الدوال المجهولةالدوال التي لا ترجع شيئاًالمعاملات الاختياريةالقيم الافتراضية للمعاملاتالدوال متغيرة المعاملاتتعريف أنواع الدوالملخص: الدوال محددة الأنواع7المشروع: مدير المهام مع أنواع البيانات
المشروع: هيكل المهامدالة لإضافة تفاصيل مهمة2الأنواع الأساسية
الأنواع الأساسية: num و str و boolالنوع 'any': مخرج الطوارئالنوع 'unknown'أنواع Nil والأنواع الاختياريةاستنتاج الأنواع في التطبيق العمليتوضيحات الأنواع الصريحةملخص: تدريبات على الأنواع الأساسية5الأسماء المستعارة، الأنواع المشتركة، والأنواع المتقاطعة
الأسماء المستعارة للأنواع الأوليةأنواع الاتحاد (Union Types)التعامل مع أنواع الاتحادالأنواع اللفظية (Literal Types)أنواع التقاطع (Intersection Types)دمج الأسماء المستعارة للأنواعملخص: تجميعات الأنواع المتقدمة3الجداول المحددة الأنواع: المصفوفات والخرائط
المصفوفات المحددة الأنواعإضافة العناصر وقراءتهاما هو نوع الخريطة (Map)؟التصريح عن الخرائط والوصول إليهاالتكرار على الجداولالجداول متعدده الأشكالالمصفوفات المحددة الأنواع متعددة الأبعادtable.unpack والوسائط المتغيرة (Varargs)ملخص: المصفوفات والخرائط6تحديد أشكال الجداول (Typing Table Shapes)
توضيحات أشكال الجداول المضمنةأسماء مستعارة للأنواع لأشكال الجداولالخصائص الاختياريةأشكال الجداول مقابل الجداول الحرةتوسيع أشكال الجداولإضافة الدوارل إلى أشكال الجداولSelf والدوال المسبوقة بنقطتين (Colon Methods)ملخص: تعريف أشكال الجداول9الأنواع المعممة (Generics): نظرة أولى
المشكلة التي تحلها الأنواع المعممةدالة هوية معممةاستخدام دالة معممةالمصفوفات المعممةأسماء مستعارة للأنواع المعممةملخص: الدوال المعممة