Lỗi mẫu khó hiểu

Tôi đã chơi với clang một thời gian và tôi tình cờ gặp "test / SemaTemplate / depend-template-recovery.cpp" (trong bản phân phối clang) được cho là cung cấp các gợi ý để khôi phục sau lỗi mẫu.

Toàn bộ sự việc có thể dễ dàng rút gọn thành một ví dụ nhỏ nhất:

template<typename T, typename U, int N> struct X {
    void f(T* t)
    {
        // expected-error{{use 'template' keyword to treat 'f0' as a dependent template name}}
        t->f0<U>();
    }
};

Thông báo lỗi do clang mang lại:

tpl.cpp:6:13: error: use 'template' keyword to treat 'f0' as a dependent template name
         t->f0<U>();
            ^
            template 
1 error generated.

... Nhưng tôi rất khó hiểu nơi chính xác người ta phải chèn templatetừ khóa để có mã chính xác về mặt cú pháp?

ISO C ++ 03 14.2 / 4:

Khi tên của chuyên ngành mẫu thành viên xuất hiện sau. hoặc -> trong biểu thức hậu tố hoặc sau mã định danh-tên được lồng trong id đủ điều kiện và biểu thức hậu tố hoặc id đủ điều kiện phụ thuộc rõ ràng vào tham số mẫu (14.6.2), tên mẫu thành viên phải là được đặt trước bởi mẫu từ khóa . Nếu không, tên này được coi là tên của một mẫu không phải.

Trong t->f0<U>(); f0<U>là một chuyên môn mẫu thành viên xuất hiện sau ->và phụ thuộc rõ ràng vào tham số mẫu U, vì vậy chuyên môn mẫu thành viên phải được bắt đầu bằng templatetừ khóa.

Vì vậy, hãy thay đổi t->f0<U>()thành t->template f0<U>().

Ngoài những điểm mà những người khác đã đưa ra, hãy lưu ý rằng đôi khi trình biên dịch không thể quyết định và cả hai cách diễn giải đều có thể mang lại các chương trình hợp lệ thay thế khi khởi tạo

#include <iostream>

template<typename T>
struct A {
  typedef int R();

  template<typename U>
  static U *f(int) { 
    return 0; 
  }

  static int f() { 
    return 0;
  }
};

template<typename T>
bool g() {
  A<T> a;
  return !(typename A<T>::R*)a.f<int()>(0);
}


int main() {
  std::cout << g<void>() << std::endl;
}

Điều này in ra 0khi bỏ qua templatetrước f<int()>nhưng 1khi chèn nó vào. Tôi để nó như một bài tập để tìm ra mã hoạt động.

Chèn nó ngay trước điểm có dấu mũ:

template<typename T, typename U, int N> struct X {
     void f(T* t)
     {
        t->template f0<U>();
     }
};

Chỉnh sửa: lý do cho quy tắc này trở nên rõ ràng hơn nếu bạn nghĩ giống như một trình biên dịch. Các trình biên dịch thường chỉ nhìn về phía trước một hoặc hai mã thông báo cùng một lúc và thường không "nhìn trước" phần còn lại của biểu thức. [Chỉnh sửa: xem nhận xét] Lý do cho từ khóa cũng giống như lý do bạn cần typenametừ khóa để chỉ ra tên loại phụ thuộc: nó nói với trình biên dịch "này, số nhận dạng bạn sắp thấy là tên của một mẫu, thay vì tên của một thành viên dữ liệu tĩnh theo sau bởi một dấu nhỏ hơn ".

Trích từ C ++ Templates

Cấu trúc .template Một vấn đề rất tương tự đã được phát hiện sau sự ra đời của typename. Hãy xem xét ví dụ sau bằng cách sử dụng loại bitet tiêu chuẩn:

template<int N> 
void printBitset (std::bitset<N> const& bs) 
{ 
    std::cout << bs.template to_string<char,char_traits<char>, 
                                       allocator<char> >(); 
} 

Cấu trúc lạ trong ví dụ này là .template. Nếu không sử dụng thêm mẫu đó, trình biên dịch sẽ không biết rằng mã thông báo nhỏ hơn (<) theo sau không thực sự là "nhỏ hơn" mà là phần đầu của danh sách đối số mẫu. Lưu ý rằng đây chỉ là sự cố nếu cấu trúc trước khoảng thời gian phụ thuộc vào tham số mẫu. Trong ví dụ của chúng tôi, tham số bs phụ thuộc vào tham số mẫu N.

Tóm lại, ký hiệu .template (và các ký hiệu tương tự như -> template) chỉ nên được sử dụng bên trong các mẫu và chỉ khi chúng tuân theo thứ gì đó phụ thuộc vào tham số mẫu.