Menguasai PHP: Teknik Pembayang Jenis

Foto oleh ???? ??? pada Unsplash

Petunjuk jenis dianggap oleh sesetengah orang sebagai ciri yang suci. Satu yang mesti ada pada semua bahasa pengaturcaraan. PHP untuk masa yang paling lama tidak mempunyai sistem sedemikian tetapi kini telah diterima pakai secara meluas oleh kebanyakan pembangun.

Yang berkata, sistem jenis PHP tidak pergi sejauh bahasa lain. Ramai yang melaksanakan apa yang dikenali sebagai Generik. Ini ialah keupayaan untuk menguatkuasakan jenis antara struktur dan Koleksi. Sebagai contoh, dalam Java kita boleh menentukan bahawa Tatasusunan mesti hanya mengandungi item daripada jenis tertentu, contohnya, Tatasusunan Rentetan.

Mungkin suatu hari nanti kami akan mempunyai fungsi ini dalam PHP juga, tetapi sehingga itu kami sebenarnya boleh menyelesaikannya dengan beberapa teknik yang berbeza. Untuk kekurangan penerangan yang lebih baik, saya merujuk kepada ini sebagai Petua Jenis Lembut dan Petua Masa Jalan.

Taip Petua

Petua jenis pertama dan paling jelas ialah yang diperkenalkan dalam PHP 7 dan masih ditambah pada PHP. Pemalar yang dibayangkan jenis hanya ditambahkan dalam PHP 8.3.

Petua jenis berguna untuk membantu menyampaikan perkara yang perlu dihantar kepada kaedah atau fungsi sebagai parameter atau kaedah yang akan dikembalikan. Pembayang jenis akan menjejaskan tandatangan mana-mana kelas yang mereka gunakan dengannya kerana melanjutkan kelas dengan pembayang jenis yang telah ditetapkan bermakna mereka tidak boleh ditindih.

Contoh kelas yang menggunakan sepenuhnya jenis ialah:

<?php class Foo
{
    public function bar(array $strings): \Closure
    {
       return function (string $string) use ($strings): bool {
           return in_array($string, $strings);
       };
    }
}

Sudah tentu terdapat had dalam pembayang jenis kami kerana seperti yang dinyatakan sebelum ini, kami tidak boleh menyesuaikan tatasusunan menjadi semua jenis yang sama dan sebaliknya kami hanya perlu menggunakan tatasusunan . Kami juga tidak boleh mengekang nombor untuk menjadi positif sahaja atau dalam julat tertentu.

Satu lagi boleh menjadi Penutupan kerana tiada cara untuk menerangkan fungsi tanpa nama dalam jenis asli PHP. Sebaliknya, kita mesti sama ada menggunakan Closure atau callable . Selalunya boleh dipanggil tidak dibenarkan untuk digunakan sebagai jenis juga.

Nasib baik, masih ada cara untuk menerangkan senario yang lebih rumit ini dengan pembayang jenis.

Petua Jenis Lembut

Jenis pembayang jenis kami yang seterusnya dibekalkan melalui PHPDocs. Walaupun jenis asli akan membuang pengecualian semasa masa jalankan jika kaedah diluluskan atau mengembalikan jenis yang salah, pembayang jenis PHPDoc tidak mempunyai kesan pada masa jalan aplikasi.

Sebaliknya, pembayang jenis lembut membantu kami semata-mata apabila kami menggunakan IDE seperti Kod VS atau PHPStorm, yang akan mengesan jenis tersebut untuk kami. Kes penggunaan lain ialah dengan alat analisis statik seperti PHPStan dan seterusnya Rektor.

Kelebihan terbesar menggunakan jenis lembut ialah ia membolehkan anda menerangkan dengan lebih tepat jenis mana-mana parameter, sifat, dll. Sebagai contoh, kita boleh mengambil kelas sebelumnya dan memudahkan untuk memahami tatasusunan atau penutupan yang digunakan .

<?php class Foo
{
    /**
     * @param string[] $strings
     * @return \Closure(string): bool
     */
    public function bar(array $strings): \Closure
    {
       return function (string $string) use ($strings): bool {
           return in_array($string, $strings);
       };
    }
}

Cara terbaik untuk memastikan semua penggunaan jenis anda betul ialah memasang PHPStan. Dari situ, anda mungkin perlu menggunakan sekurang-kurangnya tahap 5. Ini kemudiannya boleh dikuatkuasakan melalui langkah penyepaduan berterusan yang menyemak pembayang jenis adalah betul.

Sebenarnya terdapat senarai yang boleh anda gunakan jika anda ingin menggunakan pembayang jenis lembut yang betul. Lebih baik lagi, terdapat alat PHPStan yang boleh anda gunakan untuk menguji sama ada semua jenis yang membayangkannya betul setiap PHPStan jika anda tidak pasti dan ingin menjalankan ujian pantas.

Petua Masa Jalanan

Cara kami yang seterusnya untuk menyokong jenis ialah menggunakan petunjuk masa jalan. Maksud sebenarnya ialah melaksanakan kod kami sendiri untuk menyemak jenis daripada parameter. Sebagai contoh, kita boleh menyemak sama ada tatasusunan hanya mengandungi jenis objek tertentu. Jika tidak, maka kami membuang InvalidArgumentException.

<?php /**
 * @param string[] $foo
 */
function bar(array $foo) {
    foreach ($foo as $string) {
        if (! is_string($string)) {
            throw new \InvalidArgumentException('foo contains non-string value');
        }
    }

    // rest of the code
}

Dengan cara ini, teknik ini kadangkala dirujuk sebagai pengaturcaraan defensif. Melihat contoh kod, ini agak menyusahkan. Ia adalah banyak kod hanya untuk menyemak sama ada tatasusunan adalah betul. Itulah sebabnya kami sering menggunakan perpustakaan, dalam kes ini webmozart/assert .

composer require webmozart/assert

Kini dengan pakej ini dipasang, kita boleh memendekkan ini kepada satu pelapik yang mudah.

<?php use Webmozart\Assert;

/**
 * @param string[] $foo
 */
function bar(array $foo) {
    Assert::allStrings($foo);
}

Salah satu perkara hebat tentang perpustakaan ini ialah jika anda menambahkan sambungan Assert pada PHPStan, ini akan membantu liputan jenis anda apabila kod dianalisis.

Kesimpulan

Kesimpulannya, menguasai pembayang jenis dalam PHP ialah kemahiran penting untuk pembangun yang ingin menulis kod yang bersih, boleh diselenggara dan boleh dipercayai. Walaupun sistem jenis PHP masih kekurangan beberapa ciri yang terdapat dalam bahasa lain, seperti generik, terdapat berbilang strategi yang tersedia untuk menguatkuasakan penaipan yang lebih ketat — sama ada melalui pembayang jenis asli, anotasi PHPDoc atau semakan masa jalan. Memanfaatkan alatan seperti PHPStan dan perpustakaan seperti Assert boleh membantu anda memastikan keselamatan jenis, walaupun dalam senario yang rumit. Dengan menyepadukan teknik ini ke dalam aliran kerja pembangunan anda, anda akan lebih bersedia untuk mengendalikan sifat dinamik PHP dengan yakin dan tepat.

Saya Peter Fox, pembangun perisian di UK yang bekerja dengan Laravel. Terima kasih kerana membaca artikel saya, saya ada banyak lagi untuk dibaca di https://articles.peterfox.me. Saya juga kini Ditaja di GitHub. Jika anda ingin menggalakkan saya menulis lebih banyak artikel seperti ini, sila pertimbangkan untuk menghulurkan sedikit sumbangan sekali sahaja.

Atas ialah kandungan terperinci Menguasai PHP: Teknik Pembayang Jenis. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!