Bagaimanakah anda boleh memastikan bahawa semua hujah yang dihantar kepada fungsi variadik atau fungsi templat adalah daripada jenis yang sama tanpa menggunakan struktur data tambahan?

Menentukan Satu Jenis untuk Argumen Variadik

Artikel ini meneroka kaedah untuk memastikan bahawa semua argumen yang dihantar kepada fungsi variadic atau fungsi template variadic adalah daripada jenis yang sama, tanpa menggunakan struktur data tambahan seperti tatasusunan, vektor atau structs.

Fungsi Variadik dan Fungsi Templat

Fungsi templat variadik dan fungsi templat variadik membenarkan fungsi menerima bilangan argumen yang tidak diketahui. Walau bagaimanapun, mereka tidak menguatkuasakan apa-apa jenis kekangan pada hujah.

Menguatkuasakan Keselamatan Jenis

Untuk menjamin bahawa semua hujah adalah daripada jenis yang sama, kita boleh mengambil perkara berikut langkah:

1. Terima Argumen mengikut Templat Variadic: Takrifkan fungsi atau fungsi templat untuk menerima hujah oleh parameter templat variadik.
2. Gunakan SFINAE untuk Pemeriksaan Kebolehtukaran: Gunakan teknik Penggantian Kegagalan Bukan Ralat (SFINAE) pada antara muka fungsi untuk menyemak sama ada hujah boleh ditukar kepada jenis tertentu. Teknik ini membolehkan kami menolak hujah yang tidak sah lebih awal.
3. Tentukan Jenis Pembantu: Cipta jenis pembantu menggunakan templat variadic fst (Jenis Pertama) untuk menentukan jenis hujah pertama.
4. Gunakan SFINAE pada Tandatangan Fungsi: Gunakan enable_if pada tandatangan fungsi untuk menyemak jika hujah boleh ditukar kepada jenis yang dikehendaki. Jika semakan gagal, pengkompil akan menghasilkan ralat.

Contoh:

Kod berikut menunjukkan cara melaksanakan teknik ini:

template<typename R, typename...> struct fst { typedef R type; };

template<typename ...Args>
typename fst<void, 
  typename enable_if<
    is_convertible<Args, ToType>::value
  >::type...
>::type 
f(Args...);

Penggunaan:

Kod ini memastikan semua hujah yang dihantar ke f boleh ditukar kepada jenis ToType. Jika mana-mana hujah tidak boleh ditukar, pengkompil akan mengeluarkan ralat.

Pendekatan Tukar-Kemudian:

Sebagai alternatif, jika anda tahu langkah-langkah untuk menukar daripada tatasusunan kepada jenis yang dikehendaki, anda boleh menggunakan yang berikut pendekatan:

template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
    std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
    // here be dragons
}

Kesimpulan:

Dengan menggunakan fungsi templat variadic dan SFINAE, kami boleh menguatkuasakan keselamatan jenis pada argumen variadic, memastikan semua argumen adalah sama taip. Ini membolehkan kami mencipta fungsi yang beroperasi pada data homogen tanpa memerlukan struktur data tambahan.

Atas ialah kandungan terperinci Bagaimanakah anda boleh memastikan bahawa semua hujah yang dihantar kepada fungsi variadik atau fungsi templat adalah daripada jenis yang sama tanpa menggunakan struktur data tambahan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!