Mẫu chức năng với toán tử

Question

Trong C++, bạn có thể có toán tử được sắp xếp trên lớp không? Cũng giống như vậy:

class MyClass { 
public: 
    template<class T> 
    T operator()() { /* return some T */ }; 
} 

Điều này thực sự dường như biên dịch tốt, nhưng sự nhầm lẫn do thỏa thuận như thế nào người ta sẽ sử dụng nó:

MyClass c; 
int i = c<int>(); // This doesn't work 
int i = (int)c(); // Neither does this* 

Thực tế là nó biên dịch ở tất cả các gợi ý với tôi rằng đó là doable, Tôi chỉ thua lỗ về cách sử dụng nó! Bất kỳ đề xuất, hoặc là phương pháp này sử dụng một không khởi động?

Answer 1

Bạn cần chỉ định T.

int i = c.operator()<int>(); 

Thật không may, bạn không thể sử dụng cú pháp cuộc gọi hàm trực tiếp trong trường hợp này.

Chỉnh sửa: Ồ, và bạn đang thiếu public: ở đầu định nghĩa lớp.

Answer 2

Về cơ bản bạn có quyền. Nó là hợp pháp để xác định các toán tử khuôn mẫu, nhưng chúng không thể được gọi trực tiếp với các đối số mẫu rõ ràng.

Nếu bạn có điều hành này:

template <typename T> 
T operator()(); 

như trong ví dụ của bạn, nó chỉ có thể được gọi là như thế này:

int i = c.operator()<int>(); 

Tất nhiên, nếu đối số mẫu có thể được rút ra từ các đối số , bạn vẫn có thể gọi nó theo cách thông thường:

template <typename T> 
T operator()(T value); 

c(42); // would call operator()<int> 

Một giải pháp thay thế có thể làm cho gument một tài liệu tham khảo, và lưu trữ các kết quả đó, thay vì trả lại nó:

template <typename T> 
void operator()(T& value); 

Vì vậy, thay vì điều này:

int r = c.operator()<int>(); 

bạn có thể làm

int r; 
c(r); 

Hoặc có lẽ bạn chỉ cần xác định một hàm get<T>() đơn giản thay vì sử dụng toán tử.

Answer 3

Không phải bạn nghĩ đến việc

class Foo { 
    public: 
    template<typename T> 
    operator T() const { return T(42); } 
}; 

Foo foo; 

int i = (int) foo; // less evil: static_cast<int>(foo); 

live example. Điều này chứng tỏ bạn không cần phải xác định đối số mẫu, mặc dù xác nhận quyền sở hữu trong câu trả lời được chấp nhận.