Bagaimana untuk Mencapai Jenis Pulangan Trailing dengan Fungsi Templat Variadik untuk Penjumlahan?

Jenis Pulangan Mengekor Menggunakan decltype dengan Fungsi Templat Variadik

Siasatan ini bertujuan untuk membina penambah asas yang mengira jumlah sebarang nombor hujah dengan jenis pulangan yang sesuai. Walau bagaimanapun, pelaksanaan semasa mempamerkan had dengan pelbagai hujah. Artikel ini menyiasat isu asas dan meneroka kemungkinan penyelesaian.

Pelaksanaan awal menggunakan sintaks jenis pengembalian trailing untuk memudahkan fungsi penjumlahan. Walau bagaimanapun, untuk hujah yang melebihi dua, ralat kompilasi timbul, menunjukkan bahawa fungsi itu tidak ditentukan. Anomali ini berpunca daripada fakta bahawa templat fungsi variadik diisytiharkan selepas jenis pemulangannya ditentukan. Akibatnya, ungkapan decltype() tidak boleh merujuk kepada templat fungsi variadic itu sendiri.

Walaupun C 0x membenarkan panggilan rekursif dalam bahagian ->decltype(expr), ia mungkin tidak menyokong senario tertentu seperti ini . Untuk menangani perkara ini, kelas ciri tersuai, sum_type, diperkenalkan sebagai penyelesaian. Ia membolehkan penggantian decltype dengan typename sum_type::type, menyelesaikan isu kompilasi.

Walau bagaimanapun, pelaksanaan awal mengembalikan decltype((a b) c) dan bukannya yang dijangkakan decltype(a (b c)). Untuk membetulkannya, pengkhususan sum_type boleh diubah suai untuk memastikan susunan operasi yang diingini, yang membawa kepada penyelesaian muktamad.

Atas ialah kandungan terperinci Bagaimana untuk Mencapai Jenis Pulangan Trailing dengan Fungsi Templat Variadik untuk Penjumlahan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!