قيود الفهرسة في Go 1.18 Generics

مع تقديم الأدوية العامة في Go 1.18، يتمتع المطورون بفرصة تنفيذ الخوارزميات التي تعمل مع محددات أنواع. أحد المتطلبات الشائعة هو استخدام الأنواع التي تدعم الفهرسة، مثل المصفوفات والشرائح والخرائط والسلاسل.

قيد قابل للفهرسة

لتقييد معلمة النوع إلى الأنواع القابلة للفهرسة ، ضع في اعتبارك استخدام القيد التالي مع الاتحاد:

type Indexable interface {
    ~[]byte | ~string
}

قيود القيد القابل للفهرسة

بينما يعمل القيد أعلاه لفهرسة البايتات والسلاسل، هناك قيود على استخدامه مع أنواع أخرى قابلة للفهرسة، مثل الخرائط والمصفوفات :

• الخرائط: يجب أن يحتوي الاتحاد فقط على أنواع الخرائط ذات أنواع المفاتيح والعناصر المتطابقة. هذا التقييد يجعله غير عملي بالنسبة للخوارزميات العامة التي يجب أن تتعامل مع الخرائط بمفاتيح وقيم مختلفة.
• المصفوفات: طول المصفوفة هو جزء من نوعها، لذلك سيحتاج الاتحاد إلى تحديد جميع الأطوال الممكنة. يمكن أن يكون هذا مرهقًا وعرضة لأخطاء خارجة عن الحدود.

بسبب هذه القيود، فإن الاتحاد العملي الوحيد الذي يدعم الفهرسة هو []بايت | خيط. يسمح هذا الاتحاد بعمليات الفهرسة ولكنه لا يدعم عمليات النطاق لأنه يفتقر إلى نوع أساسي.

يوضح المثال التالي كيفية استخدام القيد القابل للفهرسة:

func GetAt[T Indexable](v T, i int) byte {
    return v[i]
}

بينما يوفر Go 1.18 طريقة لتقييد الأنواع بأنواع قابلة للفهرسة باستخدام اتحاد، فإن قيود هذا القيد تعني أنه عملي فقط لمجموعة محدودة من حالات الاستخدام، وهي فهرسة البايتات والسلاسل.