Pertanyaan yang diberi tag «template-specialization»

Saya tahu bahwa kode di bawah ini adalah spesialisasi sebagian dari sebuah kelas: template <typename T1, typename T2> class MyClass { … }; // partial specialization: both template parameters have same type template <typename T> class MyClass<T,T> { … }; Saya juga tahu bahwa C ++ tidak mengizinkan spesialisasi sebagian …

91 c++  templates  template-specialization  partial-specialization 

Saya tahu spesifikasi bahasa melarang spesialisasi parsial dari template fungsi. Saya ingin tahu alasan mengapa melarangnya? Apakah mereka tidak berguna? template<typename T, typename U> void f() {} //allowed! template<> void f<int, char>() {} //allowed! template<typename T> void f<char, T>() {} //not allowed! template<typename T> void f<T, int>() {} //not allowed!

89 c++  language-design  template-specialization  partial-specialization  function-templates 

Diberikan templat kelas berikut: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; kami mendefinisikan Innersecara terpisah untuk setiap spesialisasi Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; dan kemudian mendefinisikan fungsi anggota fsekali untuk semua spesialisasi Outer: auto Outer<T>::f(Inner) -> void { } tapi Dentang …

17 c++  templates  language-lawyer  template-specialization  incomplete-type 

Saya menemukan masalah ini ketika mencoba untuk mengkhususkan tuple_size/ tuple_elementuntuk kelas khusus di C ++ 17 untuk penjilidan terstruktur. Kode di bawah ini dikompilasi dalam GCC, tetapi tidak dalam dentang (kedua versi trunk, lihat tautan di bawah). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... …

9 c++  templates  language-lawyer  template-specialization  partial-specialization