Bagaimanakah Pergi Memastikan Pematuhan Antara Muka Melalui Pemeriksaan Jenis Masa Kompilasi?

Semakan Jenis Kompilasi Pematuhan Antara Muka Bahasa Go

Dalam Go, pernyataan "antara muka var x{}" mengisytiharkan pembolehubah x daripada antara muka jenis {}, yang boleh menyimpan nilai apa-apa jenis. Walau bagaimanapun, apabila memberikan nilai kepada pembolehubah antara muka, pengkompil menyemak sama ada jenis nilai yang ditetapkan mematuhi definisi antara muka.

Dalam contoh yang anda berikan:

var (
    _ blobref.StreamingFetcher = (*CachingFetcher)(nil)
    _ blobref.SeekFetcher      = (*CachingFetcher)(nil)
    _ blobref.StreamingFetcher = (*DiskCache)(nil)
    _ blobref.SeekFetcher      = (*DiskCache)(nil)
)

penyataan pastikan CachingFetcher dan DiskCache melaksanakan kaedah awam antara muka StreamingFetcher dan SeekFetcher. Awalan "_ blobref.StreamingFetcher" menunjukkan bahawa jenis CachingFetcher memenuhi antara muka StreamingFetcher. Semakan ini penting untuk memastikan bahawa jenis ini boleh digunakan dengan betul dalam kod yang menjangkakan jenis melaksanakan antara muka ini.

Bahagian RHS penyataan ini menggunakan sintaks pembina penuding dengan parameter sifar. Dalam kes ini, "(T)(nil)" mewakili nilai nol ditaip, yang digunakan untuk menunjukkan bahawa nilai nol harus diberikan kepada pembolehubah jenis T. Sebagai contoh, penyataan berikut mengisytiharkan penuding kepada antara muka StreamingFetcher dengan nilai sifar:

var fetcher *blobref.StreamingFetcher = (*blobref.StreamingFetcher)(nil)

Sintaks ini ialah cara yang mudah untuk mencipta penuding kepada antara muka dan memastikan nilai sifar ditetapkan dengan betul.

Atas ialah kandungan terperinci Bagaimanakah Pergi Memastikan Pematuhan Antara Muka Melalui Pemeriksaan Jenis Masa Kompilasi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!