PEP 3107 (التعليقات التوضيحية للميزات)

PEP 572 - التعليقات التوضيحية للميزات

شرح المعيار

التبرير

أساسيات التعليقات التوضيحية للميزات

1. التعليقات التوضيحية للمعلمات وقيم الإرجاع للوظائف اختيارية تمامًا.
2. التعليقات التوضيحية ليست أكثر من طريقة لربط التعبيرات التعسفية بأجزاء مختلفة من دالة في وقت الترجمة.
   
   Python نفسها لا تولي أي اهتمام للتعليقات التوضيحية. الشيء الوحيد هو أنه يسمح لك بالوصول إليها ، وهو موضح في قسم "الوصول إلى التعليقات التوضيحية للميزات" أدناه.
   
   لا تكون التعليقات التوضيحية منطقية إلا عند تفسيرها بواسطة مكتبات جهات خارجية. يمكنهم أن يفعلوا ما يريدون باستخدام التعليقات التوضيحية الوظيفية. على سبيل المثال ، قد تستخدم مكتبة واحدة التعليقات التوضيحية للسلسلة لتوفير بيانات مرجعية محسنة ، على سبيل المثال:
   
   

   def compile(source: "something compilable",
               filename: "where the compilable thing comes from",
               mode: "is this a single statement or a suite?"):
       ...

   
   قد تستخدم مكتبة أخرى وظيفة Python والتعليقات التوضيحية للطريقة للتحقق من مطابقة النوع. يمكن لهذه المكتبة استخدام التعليقات التوضيحية لإظهار أنواع بيانات الإدخال التي تتوقعها ونوع البيانات التي ستعرضها. ربما سيكون شيء من هذا القبيل:
   
   

   def haul(item: Haulable, *vargs: PackAnimal) -> Distance:
       ...

   
   نكرر مرة أخرى: التعليقات التوضيحية لأي من الأمثلة في حد ذاتها ليس لها أي معنى. يكتسبون معنى حقيقيًا فقط بالاشتراك مع مكتبات الطرف الثالث.
   
3. على النحو التالي من الفقرة 2 ، لا يحاول هذا الشخص إجراء أي آلية قياسية لمعالجة التعليقات التوضيحية حتى للأنواع المضمنة. يتم تعيين كل هذا العمل إلى مكتبات الطرف الثالث.

بناء الجملة

المعلمات

def foo (a: , b:  = 5):
    ...

def foo(*args: expression, **kwargs: expression):
    ...

def foo((x1, y1: expression),
        (x2: expression, y2: expression)=(None, None)):
    ...

قيم الإرجاع

def sum() -> expression:
    ...

decorator: '@' dotted_name [ '(' [arglist] ')' ] NEWLINE
decorators: decorator+
funcdef: [decorators] 'def' NAME parameters ['->' test] ':' suite
parameters: '(' [typedargslist] ')'
typedargslist: ((tfpdef ['=' test] ',')*
                ('*' [tname] (',' tname ['=' test])* [',' '**' tname]
                 | '**' tname)
                | tfpdef ['=' test] (',' tfpdef ['=' test])* [','])
tname: NAME [':' test]
tfpdef: tname | '(' tfplist ')'
tfplist: tfpdef (',' tfpdef)* [',']

لامداس

1. قد ينتهك هذا التوافق مع الإصدارات السابقة.
2. لامداس محايدة ومجهولة التعريف
3. يمكن دائمًا إعادة كتابة Lambdas كوظائف

الوصول إلى التعليقات التوضيحية المميزة

def foo (a: 'x', b: 5 + 6, c: list) -> max (2, 9):
    ...

{'a': 'x',
 'b': 11,
 'c': list,
 'return': 9}

استخدم حالات

• توفير معلومات النوع
  • اكتب الاختيار
  • نصائح IDE حول أنواع الوسيطة المتوقعة والمرتجعة
  • دالة التحميل الزائد / الوظائف العامة [تقريبا. يعد التحميل الزائد للدالة شائعًا بلغات أخرى ويتكون من وجود العديد من الوظائف بنفس الأسماء ، ولكن في نفس الوقت ، يختلف عدد المعلمات التي تقبلها]
  • الجسور بين لغات البرمجة المختلفة
  • التكيف
  • دالات المنطق المسند
  • تعيين استعلام قاعدة بيانات
  • تنظيم معلمات RPC [تقريبًا. التنظيم هو عملية تحويل المعلومات المخزنة في ذاكرة الوصول العشوائي إلى تنسيق مناسب للتخزين أو الإرسال. RPC - استدعاء الإجراء البعيد]
• تقديم معلومات أخرى
  • توثيق المعلمات وقيم الإرجاع

مكتبة قياسية

Pydoc وتفتيش الوحدات النمطية

رابط إلى أشخاص آخرين

كائنات التوقيع الدالة

التنفيذ

العروض المرفوضة

• BDFL [. ] , , : « »
• stdlib , , . .
• , , .
• على الرغم من مزيد من المناقشة ، تقرر عدم توحيد آلية التفاعل مع التعليقات التوضيحية. مثل هذا الاتفاق في هذه المرحلة سيكون من السابق لأوانه. نريد أن نسمح لهذه الاتفاقات بالتطور عضوياً ، بناءً على موقف حقيقي ، ولا نحاول إجبار الجميع على استخدام نوع من المخطط المبتكر.