Mengapa Fungsi Saya Tidak Boleh Mengendalikan Pelbagai Jenis Bekas Menggunakan `std::is_same`?

Mengapa Fungsi Anda Tidak Boleh Mengendalikan Pelbagai Jenis Bekas Menggunakan std::is_same

Niat anda adalah untuk mencipta fungsi generik, print_container, yang boleh mencetak unsur-unsur kedua-dua bekas tindanan dan baris gilir. Walau bagaimanapun, walaupun menggunakan std::is_same untuk menyemak jenis bekas, fungsi anda menghadapi ralat.

Punca Ralat:

Ralat timbul kerana kedua-dua cabang if -pernyataan lain mesti boleh disusun. Dalam kes anda, apabila Cont ialah std::stack, fungsi ahli hadapan diakses, yang tidak wujud dalam std::stack. Begitu juga, apabila Cont ialah std::queue, fungsi ahli teratas diakses, yang tidak wujud dalam std::queue.

Penyelesaian Pengkhususan Separa:

Satu penyelesaian yang mungkin adalah menggunakan pengkhususan separa untuk mengendalikan setiap jenis bekas secara berasingan:

<br>template <typename Cont><br>struct element_accessor;</p>
<p>template <typename T><br>struct element_accessor<std::stack<T>> {<br> const T& operator()(const std::stack<T>& s) const { return s.top(); }<br>};</p>
<p>template <typename T><br>struct element_accessor<std::queue<T>> {<br> const T& operator()(const std::queue<T>& q) const { return q.front(); }<br>};</p>
<p>template<typename Cont><br>kosongkan print_container(Cont& cont){<br> while(!cont.empty()){</p>
<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false">  auto elem = element_accessor<Cont>{}(cont);
  std::cout << elem << '\n';
  cont.pop();

Salin selepas log masuk

}
}

Pendekatan ini mewakilkan pengambilan semula elemen kepada fungsi elemen_aksesor khusus, yang menyediakan pengakses yang betul untuk setiap jenis bekas.

C 17 Penyelesaian dengan if constexpr:

Jika anda menggunakan C 17 atau lebih baru, anda juga boleh memanfaatkan konstruk if constexpr:

template typename Cont, typename T>
void print_container(Cont& cont){
while(!cont.empty()){

  if constexpr (std::is_same_v<Cont<T>, std::stack<T>>) 
     std::cout << cont.top() << '\n';
  else if constexpr (std::is_same_v<Cont<T>, std::queue<T>>) 
     std::cout << cont.front() << '\n';
  cont.pop();

}
}

Penyelesaian ini menggunakan if constexpr untuk melaksanakan secara bersyarat kod yang sesuai berdasarkan jenis bekas, mengelakkan keperluan untuk pengkhususan separa.

Atas ialah kandungan terperinci Mengapa Fungsi Saya Tidak Boleh Mengendalikan Pelbagai Jenis Bekas Menggunakan `std::is_same`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!