## Bolehkah Kita Menyimpulkan Sebahagian Argumen Templat untuk Templat Kelas dalam C 17?

Potongan Argumen Templat Kelas Separa dalam C 17

Ciri C 17 "Class Template Argument Deduction" (CTAD) membolehkan penyusun membuat kesimpulan secara automatik hujah-hujah templat kelas apabila ia dijadikan instantiated. Ini memudahkan kod dan menghapuskan keperluan untuk menyatakan hujah templat eksplisit.

Walau bagaimanapun, bolehkah kita menentukan sebahagian hujah templat dan membiarkan yang lain disimpulkan?

Percubaan Penyelesaian 1:

Satu percubaan untuk mencapai potongan separa melibatkan mencipta templat alias seperti berikut:

<code class="cpp">template<class t class u> using Base2 = Base<t u double>;</t></class></code>

Kemudian gunakan alias untuk menentukan sebahagian hujah:

<code class="cpp">void func() {
    Base2 val(1, 2);
}</code>

Walau bagaimanapun, ini akan mengakibatkan ralat penyusunan, menunjukkan bahawa menggunakan templat alias memerlukan senarai hujah templat yang lengkap.

Penyelesaian:

Malangnya, potongan separa tidak disokong secara langsung dalam C 17. Walau bagaimanapun, terdapat beberapa penyelesaian yang tersedia:

1. Fungsi Pembantu Lebihan:

Buat fungsi lebihan dengan set argumen yang ditentukan dan gunakan lebihan beban yang paling spesifik untuk potongan:

<code class="cpp">template<class t class u>
void func(Base<t u> val) { }

template<class t>
void func(Base<t double> val) { }

template
void func(Base<double> val) { }</double></t></class></t></class></code>

2. Potongan Hujah Eksplisit:

Gunakan potongan hujah templat eksplisit untuk menentukan hujah tertentu sambil membuat kesimpulan yang lain:

<code class="cpp">Base val(1, static_cast<double>(4.), false);</double></code>

3. Gunakan templat variadic:

Buat templat variadic yang menerima berbilang argumen dan boleh menyimpulkan hujah templat:

<code class="cpp">template<typename... args>
class Base {
public:
    Base(Args&&... args) {
        // Custom logic to deduce template arguments from args...
    }
};</typename...></code>

Kesimpulan:

Potongan hujah templat kelas separa tidak disokong secara langsung dalam C 17. Walau bagaimanapun, dengan menggunakan penyelesaian seperti lebihan fungsi, potongan eksplisit atau templat variadic, adalah mungkin untuk mencapai kesan yang serupa.

Atas ialah kandungan terperinci ## Bolehkah Kita Menyimpulkan Sebahagian Argumen Templat untuk Templat Kelas dalam C 17?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!