Câu hỏi được gắn thẻ «template-specialization»

Tôi biết đặc tả ngôn ngữ cấm chuyên môn hóa từng phần của mẫu hàm. Tôi muốn biết lý do tại sao nó cấm nó? Chúng không hữu ích? template<typename T, typename U> void f() {} //allowed! template<> void f<int, char>() {} //allowed! template<typename T> void f<char, T>() {} //not …

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

Tôi biết rằng mã dưới đây là một phần chuyên môn hóa của một lớp: template <typename T1, typename T2> class MyClass { … }; // partial specialization: both template parameters have same type template <typename T> class MyClass<T,T> { … }; Ngoài ra, tôi biết rằng C ++ không …

87 c++  templates  template-specialization  partial-specialization 

Cho mẫu lớp sau: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; chúng tôi xác định Innerriêng cho từng chuyên ngành của Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; và sau đó xác định hàm thành viên fmột lần cho tất cả các chuyên …

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

Tôi đã gặp vấn đề này trong khi cố gắng chuyên môn hóa tuple_size/ tuple_elementcho một lớp tùy chỉnh trong C ++ 17 để liên kết có cấu trúc. Mã bên dưới biên dịch trong GCC, nhưng không phải bằng tiếng kêu (cả hai phiên bản trung kế, xem liên …

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

Trong mẫu mã sau, ifcâu lệnh phụ thuộc vào booltham số mẫu, là hằng số thời gian biên dịch. Trình biên dịch xử lý mã này khác nhau: MSVC không thành công với lỗi liên kết (đó là những gì tôi mong đợi), vì hàm mẫu trong elsenhánh thiếu chuyên …

8 c++  templates  language-lawyer  compiler-optimization  template-specialization 

Cố gắng chuyên môn hóa dựa trên tính hợp lệ của kích thước mảng: // base template template<int p, typename T = void> struct absolute { operator int () const { return 0; } }; // positive case template template<int p> struct absolute<p, typename std::void_t<int[p]>> { operator int () const …

8 c++  template-specialization 

Câu hỏi có thể quá khó để mô tả trong câu trong tiêu đề, nhưng đây là một ví dụ tối thiểu: #include <iostream> #include <type_traits> template <class T, class U, class Enabler> struct my_trait : std::false_type {}; template <class T, class U> struct my_trait<T, U, std::enable_if_t<std::is_same<T, U>::value>> : std::true_type …

8 c++  templates  sfinae  template-specialization