PEP 3107 (Anotasi Fitur)

PEP 572 - Anotasi Fitur

Penjelasan untuk standar

Pembenaran

Dasar-Dasar Anotasi Fitur

1. Penjelasan untuk parameter dan nilai pengembalian fungsi sepenuhnya opsional.
2. Anotasi tidak lebih dari cara untuk mengaitkan ekspresi sewenang-wenang dengan bagian fungsi yang berbeda pada waktu kompilasi.
   
   Python sendiri tidak memperhatikan penjelasan. Satu-satunya hal adalah memungkinkan Anda untuk mengaksesnya, yang dijelaskan di bagian "Mendapatkan Akses ke Anotasi Fitur" di bawah ini.
   
   Anotasi hanya masuk akal ketika ditafsirkan oleh perpustakaan pihak ketiga. Mereka dapat melakukan apa pun yang mereka inginkan dengan anotasi fungsi. Misalnya, satu pustaka dapat menggunakan anotasi string untuk memberikan data referensi yang ditingkatkan, misalnya:
   
   

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

   
   Pustaka lain dapat menggunakan fungsi Python dan penjelasan metode untuk memeriksa pencocokan jenis. Pustaka ini dapat menggunakan anotasi untuk menunjukkan tipe input data apa yang diharapkannya dan tipe data apa yang akan dikembalikan. Mungkin akan menjadi seperti ini:
   
   

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

   
   Kami ulangi sekali lagi: penjelasan dari tidak ada contoh dalam diri mereka memiliki setiap makna. Mereka memperoleh makna nyata hanya dalam kombinasi dengan perpustakaan pihak ketiga.
   
3. Sebagai berikut dari paragraf 2, PEP ini tidak berusaha memperkenalkan mekanisme standar apa pun untuk memproses anotasi bahkan untuk tipe bawaan. Semua pekerjaan ini ditugaskan ke perpustakaan pihak ketiga.

Sintaksis

Parameter

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

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

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

Nilai pengembalian

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)* [',']

Lambdas

1. Ini akan melanggar kompatibilitas ke belakang.
2. Lambdas netral dan anonim menurut definisi
3. Lambdas selalu dapat ditulis ulang sebagai fungsi

Dapatkan akses ke anotasi fitur

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

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

Gunakan kasing

• Memberikan Informasi Jenis
  • Ketik cek
  • Kiat IDE tentang Jenis Argumen yang Diharapkan dan Dikembalikan
  • Fungsi overloading / fungsi generik [kurang-lebih] function overloading populer di bahasa lain dan terdiri dari keberadaan beberapa fungsi dengan nama yang sama, tetapi pada saat yang sama, jumlah parameter yang diterima oleh mereka bervariasi]
  • Menjembatani antara berbagai bahasa pemrograman
  • Adaptasi
  • Predikat fungsi logika
  • Memetakan permintaan basis data
  • Penguraian parameter RPC [sekitar. Marshaling adalah proses mengubah informasi yang disimpan dalam RAM ke dalam format yang cocok untuk penyimpanan atau transmisi. RPC - Panggilan Prosedur Jauh]
• Memberikan informasi lain
  • Mendokumentasikan parameter dan mengembalikan nilai

Perpustakaan standar

Pydoc dan periksa modul

Tautan ke PEP lain

Fungsi Tanda Tangan Objek

Penerapan

Tawaran yang ditolak

• BDFL [. ] , , : « »
• stdlib , , . .
• , , .
• Meskipun diskusi lebih lanjut, diputuskan untuk tidak membakukan mekanisme interaksi anotasi. Kesepakatan seperti itu pada tahap ini akan terlalu dini. Kami ingin mengizinkan perjanjian ini berkembang secara organik, berdasarkan situasi nyata, dan tidak mencoba memaksa setiap orang untuk menggunakan semacam skema yang dibuat-buat.