Có thể suy ra loại chuyển đổi thành loại templated trong C++ không?

Question

Tôi muốn tạo lớp có thể chuyển đổi thành lớp khác với thông số mẫu. Dưới đây là MCE về những gì tôi muốn đạt được:

#include <iostream> 

template <typename T> 
class A { 
    T value; 
public: 
    A(T value) {this->value = value;} 
    T getValue() const {return value;} 
}; 

class B { 
    int value; 
public: 
    B(int value) {this->value = value;} 
    operator A<int>() const {return A(value);} 
}; 

template <typename T> 
void F(A<T> a) {std::cout << a.getValue() << std::endl;} 

void G(A<int> a) {std::cout << a.getValue() << std::endl;} 

int main() 
{ 
    B b(42); 

    F(b);   // Incorrect 
    F((A<int>)b); // Correct 
    G(b);   // Also correct 
} 

Có thể làm F(b) dụ làm việc nếu cả hai class A và void F là hàm thư viện và không thể được modifyed?

Answer 1

này:

F(b); 

đòi hỏi mẫu luận trích. Kết quả là, nó sẽ không làm những gì bạn muốn.

Hãy thử qua một cách rõ ràng mẫu đối số, như thế này:

F<int>(b); 

kể từ khi bạn cung cấp cho một nhà điều hành () trong class B.