Lỗi mẫu khó hiểu

Question

Tôi đã chơi với tiếng kêu một lúc và tôi tình cờ gặp "test/SemaTemplate/dependent-template-recovery.cpp" (trong bản phân phối tiếng kêu) được cho là cung cấp gợi ý để khôi phục từ mẫu lỗi.

Toàn bộ điều có thể dễ dàng lột xuống một ví dụ nhỏ:

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 mang lại bởi kêu vang:

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 có một thời gian hiểu biết khó mà chính xác một trong những nghĩa vụ phải chèn các từ khóa template để có mã được cú pháp chính xác?

Answer 1

ISO C++ 03 14,2/4:

Khi tên của một thành viên mẫu chuyên môn xuất hiện sau. hoặc -> trong biểu thức postfix, hoặc sau khi nested-name-specifier trong một id đủ điều kiện và biểu thức postfix hoặc id đủ điều kiện rõ ràng phụ thuộc vào tham số mẫu (14.6.2), tên mẫu thành viên phải được bắt đầu bằng mẫu từ khóa. Nếu không, tên được giả định là đặt tên cho một mẫu không phải là mẫu.

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

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

Answer 2

Chèn ngay trước điểm mà caret là:

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 suy nghĩ như một trình biên dịch. 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à không thường "nhìn về phía trước" với phần còn lại của biểu thức. [Chỉnh sửa: xem bình luận] Lý do cho từ khóa giống như lý do tại sao bạn cần từ khóa typename để chỉ ra tên kiểu 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 xem là tên của mẫu, thay vì tên của một thành viên dữ liệu tĩnh theo sau là một dấu nhỏ hơn ".

Answer 3

Trích từ C++ Templates

Các .template Xây dựng Một vấn đề rất tương tự cũng được phát hiện sau sự ra đời của typename. Hãy xem 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 có sử dụng thêm mẫu, trình biên dịch không biết rằng mã thông báo nhỏ hơn (<) mà sau đây không thực sự là "ít hơn" nhưng bắt đầu của một danh sách đối số mẫu. Lưu ý rằng đây chỉ là vấn đề nếu cấu trúc trước thời hạn 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 thông số mẫu N.

Kết luận. trên thông số mẫu.

Answer 4

Bên cạnh những điểm khác thực hiện, nhận thấy rằng đôi khi trình biên dịch không thể tạo nên tâm trí của mình và cả những giải thích có thể mang lại các chương trình hợp lệ thay thế khi instantiating

#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; 
} 

này in 0 khi bỏ qua template trước f<int()> nhưng 1 khi lắp. Tôi để nó như là một bài tập để tìm hiểu xem mã đó làm gì.