Bagaimana Menggunakan `decltype` dengan Fungsi Templat Variadik untuk Mengira Jumlah Argumennya?

Jenis Pulangan Mengekor Menggunakan decltype dengan Fungsi Templat Variadik

Apabila cuba mencipta fungsi yang mengumpul jumlah argumennya menggunakan variadic templat dan sintaks jenis pengembalian trailing, cabaran timbul. Khususnya, pengkompil mungkin menghadapi ralat untuk fungsi dengan lebih daripada dua argumen. Ini kerana templat fungsi variadic dianggap diisytiharkan hanya selepas menyatakan jenis pengembaliannya, mengakibatkan situasi di mana jumlah dalam decltype tidak boleh merujuk kepada templat fungsi variadic itu sendiri.

Penyelesaian yang berpotensi melibatkan penggunaan kelas ciri tersuai untuk elakkan panggilan rekursif dalam ungkapan decltype:

template<class T> typename std::add_rvalue_reference<T>::type val();

template<class T> struct id{typedef T type;};

template<class T, class... P> struct sum_type;
template<class T> struct sum_type<T> : id<T> {};
template<class T, class U, class... P> struct sum_type<T,U,P...>
: sum_type< decltype( val<const T&amp;>() + val<const U&amp;>() ), P... > {};

Ini membenarkan penggantian decltype dalam program asal dengan typename sum_type::type, membolehkan kompilasi berjaya.

Untuk memastikan penjumlahan menghormati susunan operasi (cth., a (b c)), pengkhususan akhir bagi sum_type boleh diubah suai seperti berikut:

template<class T, class U, class... P> struct sum_type<T,U,P...>
: id<decltype(
      val<T>()
    + val<typename sum_type<U,P...>::type>()
)>{};

Atas ialah kandungan terperinci Bagaimana Menggunakan `decltype` dengan Fungsi Templat Variadik untuk Mengira Jumlah Argumennya?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!