mẫu Member chức năng và điều hành quá tải() trong C++

Question

Đoạn mã sau đây làm việc cho tôi:

class Foo { 
public: 
    template <class T> T& get() { ... } 
}; 

Foo foo; 
foo.get<int>() = ...; 

Tuy nhiên, đoạn mã sau đây không làm việc cho tôi:

class Foo { 
public: 
    template <class T> T& operator()() { ... } 
}; 

Foo foo; 
foo<int>() = ...; 

Các lỗi là:

expected primary-expression before '>' token 
expected primary expression before ')' token 

Cả hai lỗi đều đề cập đến foo<int>()

Tại sao tính năng này không hoạt động và có thể sửa lỗi này không?

Answer 1

Nếu bạn cần phải xác định một cách rõ ràng mẫu đối số, bạn sẽ cần phải sử dụng operator cú pháp:

foo.operator()<int>() 

Không có cách nào để xác định các đối số bằng cách sử dụng cú pháp chức năng gọi. Nếu bạn không thể suy ra các đối số mẫu từ các đối số cho hàm, thì tốt hơn nên sử dụng hàm thành viên hơn là một toán tử quá tải.

Answer 2

Hoặc bạn có thể làm điều này

class Foo { 
public: 
    template <class T> operator T&() { ... } 
}; 

Sau đó, nó sẽ tự động gọi hàm phải phụ thuộc vào sự "trở lại" type:

Foo foo; 
int i=foo; 

Tôi biết rằng hầu hết mọi người không thích điều này như hàm được gọi phụ thuộc vào kiểu trả về, nhưng tôi thấy nó là một "thủ thuật" tuyệt vời thường làm sạch cú pháp.

Answer 3

Vấn đề là danh sách tham số mẫu của bạn ở sai vị trí; nó giống như bạn đang cố gắng sử dụng một đối tượng hoặc hàm có tên là foo với đối số mẫu int, nhưng trên thực tế nó là operator() mà bạn muốn danh sách tham số mẫu.

Thật không may (cho là như vậy, ít nhất), không có cách nào xung quanh điều này với các toán tử. Bạn phải gọi cho họ là đầy đủ chức năng:

class Foo { 
public: 
    template <class T> T& operator()() { ... } 
}; 

Foo foo; 
foo.operator()<int> = ...; 

Hy vọng điều này sẽ hữu ích.