suy ra mẫu đối số từ std :: chức năng gọi chữ ký

Question

xem xét mẫu chức năng này:

template<typename ReturnT> 
ReturnT foo(const std::function<ReturnT()>& fun) 
{ 
    return fun(); 
} 

Tại sao không phải là nó có thể cho trình biên dịch để suy luận ReturnT từ chữ ký cuộc gọi thông qua?

bool bar() { /* ... */ } 

foo<bool>(bar); // works 
foo(bar); // error: no matching function call 

Answer 1

std::function<bool()> bar; 

foo(bar); // works just fine 

C++ không thể suy ra kiểu trả về từ hàm của bạn bar vì nó sẽ phải biết loại trước khi nó có thể tìm thấy tất cả các nhà thầu mà đưa con trỏ hàm của bạn.

Ví dụ: ai là người nói rằng std::function<std::string()> không có nhà xây dựng tham gia bool (*)()?

Answer 2

Chức năng bar là loại bool (*)() hoặc lâu hơn, đó là: một bình thường trước C++ loại 11 chức năng. Tôi không tự tin trong C++ 11, nhưng tôi đoán trình biên dịch không thấy kết nối giữa bool (*)() và const std::function<ReturnT()>&, ngay cả khi lần đầu tiên có thể được chuyển đổi hoàn toàn thành thứ hai cho ReturnT = bool.

Answer 3

Một con trỏ hàm của loại bool (*)() có thể được chuyển đổi thành std::function<bool()> nhưng không phải là cùng loại, do đó cần chuyển đổi. Trước khi trình biên dịch có thể kiểm tra xem chuyển đổi đó có thể cần phải suy ra ReturnT là bool, nhưng để làm điều đó, cần phải biết rằng std::function<bool()> là một chuyển đổi có thể, điều này là không thể cho đến khi nó suy ra ReturnT ... xem sự cố?

Ngoài ra, hãy xem xét rằng bool(*)() cũng có thể được chuyển đổi thành std::function<void()> hoặc std::function<int()> ... cần được suy luận?

xem xét đơn giản hóa này:

template<typename T> 
    struct function 
    { 
    template<typename U> 
     function(U) { } 
    }; 

template<typename T> 
    void foo(function<T>) 
    { } 

int main() 
{ 
    foo(1); 
} 

Làm thế nào trình biên dịch có thể biết liệu bạn muốn tạo ra function<int> hoặc function<char> hoặc function<void> khi họ có thể tất cả được xây dựng dưới hình thức một int?