Bagaimana untuk Menguatkuasakan Ketekalan Jenis dalam Fungsi Variadik Tanpa Struktur Tambahan?

Menguatkuasakan Ketekalan Jenis dalam Fungsi Variadik Tanpa Struktur Tambahan

Fungsi variadik dan fungsi templat variadik membolehkan kami menghantar bilangan argumen yang berubah-ubah kepada fungsi. Walau bagaimanapun, memastikan bahawa semua hujah mempunyai jenis yang sama boleh mencabar. Soalan ini meneroka penyelesaian untuk masalah ini tanpa menggunakan tatasusunan, vektor atau struct.

Pendekatan Fungsi Variadik

Penyelesaian yang dicadangkan ialah menerima hujah oleh templat variadic dan biarkan pemeriksaan jenis mengesahkan kesahihan apabila ia ditukar. Walau bagaimanapun, pendekatan ini memerlukan kami mempunyai laluan penukaran yang diketahui kepada jenis yang diingini. Dalam kes ini, mesti ada cara yang diketahui untuk menukar tatasusunan Maiden kepada dragon_list_t.

Contoh:

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

Pendekatan SFINAE

SFINAE (Kegagalan Penggantian Bukan Satu Ralat) boleh digunakan untuk menguatkuasakan ketekalan jenis pada tahap antara muka fungsi. Ini membolehkan kami menolak hujah yang tidak sah pada awal proses penyelesaian beban berlebihan.

Contoh:

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...);

Kesimpulan

Kedua-dua pendekatan menyediakan cara untuk menentukan satu jenis untuk semua hujah yang dihantar kepada fungsi variadic tanpa menggunakan struktur data tambahan. Pendekatan fungsi variadic bergantung pada laluan penukaran yang diketahui, manakala pendekatan SFINAE membenarkan resolusi lebihan untuk menolak hujah yang tidak sah. Pilihan antara pendekatan ini bergantung pada keperluan kes penggunaan khusus.

Atas ialah kandungan terperinci Bagaimana untuk Menguatkuasakan Ketekalan Jenis dalam Fungsi Variadik Tanpa Struktur Tambahan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!