Pertanyaan yang diberi tag «template-meta-programming»

Apakah mungkin untuk menulis templat yang mengubah perilaku tergantung pada apakah fungsi anggota tertentu didefinisikan pada kelas? Berikut adalah contoh sederhana dari apa yang ingin saya tulis: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString)) return obj->toString(); else return "toString not defined"; } Jadi, jika class Ttelah toString()didefinisikan, maka ia …

499 c++  templates  template-meta-programming  sfinae 

Bagaimana saya bisa melakukan iterasi melalui tupel (menggunakan C ++ 11)? Saya mencoba yang berikut ini: for(int i=0; i<std::tuple_size<T...>::value; ++i) std::get<i>(my_tuple).do_sth(); tapi ini tidak berhasil: Kesalahan 1: maaf, tidak diterapkan: tidak dapat memperluas 'Pendengar ...' menjadi daftar argumen dengan panjang tetap. Kesalahan 2: Saya tidak dapat muncul dalam ekspresi konstan. …

112 c++  c++11  iteration  template-meta-programming  stdtuple 

Saya diberitahu bahwa sistem template di C ++ adalah Turing-complete pada waktu kompilasi. Ini disebutkan dalam posting ini dan juga di wikipedia . Dapatkah Anda memberikan contoh komputasi yang tidak sepele yang mengeksploitasi properti ini? Apakah fakta ini berguna dalam praktiknya?

111 c++  templates  template-meta-programming  turing-complete 

Saya memiliki fungsi yang mengambil multidimensi std::vectordan membutuhkan kedalaman (atau jumlah dimensi) untuk dilewatkan sebagai parameter templat. Alih-alih hardcoding nilai ini saya ingin menulis constexprfungsi yang akan mengambil std::vectordan mengembalikan kedalaman sebagai unsigned integernilai. Sebagai contoh: std::vector<std::vector<std::vector<int>>> v = { { { 0, 1}, { 2, 3 } }, { …

45 c++  templates  stdvector  template-meta-programming  constexpr 

Dapatkah seseorang menjelaskan kepada saya, mengapa cara meta-pemrograman templat pertama akan infinite loop, tetapi yang kedua berjalan dengan benar. #include <iostream> using namespace std; template<int N, int M> struct commondivs { static const int val = (N<M) ? commondivs<N,(M-N)>::val : commondivs<(N-M),M>::val; }; template<int N> struct commondivs<N,N> { static const int …

38 c++  templates  template-meta-programming 

Karena konsep didefinisikan sebagai predikat waktu kompilasi, apakah mungkin untuk menggunakan kembali predikat ini untuk algoritme waktu kompilasi? Misalnya, apakah mungkin untuk memeriksa apakah semua tipe dalam tuple sesuai dengan konsep? Sejauh yang saya lihat, tidak mungkin untuk meneruskan konsep ke fungsi dengan cara apa pun, jenis apa yang membuat …

12 c++  templates  template-meta-programming  c++20  concept 

Apakah kode berikut ini sah? template <int N> class foo { public: constexpr foo() { for (int i = 0; i < N; ++i) { v_[i] = i; } } private: int v_[N]; }; constexpr foo<5> bar; Dentang menerimanya, tetapi GCC dan MSVC menolaknya. Kesalahan GCC adalah: main.cpp:15:18: error: 'constexpr …

11 c++  template-meta-programming  constexpr  compile-time-constant