Chức năng mẫu C++ 11 lấy hàm std :: phụ thuộc vào tham số mẫu

Question

Tôi đang cố viết hàm mẫu chấp nhận std::function phụ thuộc vào đối số mẫu. Thật không may trình biên dịch không có khả năng khử chính xác các đối số cho số std::function. Dưới đây một số mã ví dụ đơn giản:

#include <iostream> 
#include <functional> 

using namespace std; 

void DoSomething(unsigned ident, unsigned param) 
{ 
    cout << "DoSomething called, ident = " << ident << ", param = " << param << "\n"; 
} 

template < typename Ident, typename Param > 
void CallFunc(Ident ident, Param param, std::function< void (Ident, Param) > op) 
{ 
    op(ident, param); 
} 

int main() 
{ 
    unsigned id(1); 
    unsigned param(1); 

    // The following fails to compile 
    // CallFunc(id, param, DoSomething); 

    // this is ok 
    std::function< void (unsigned, unsigned) > func(DoSomething); 
    CallFunc(id, param, func); 

    return 0; 
} 

Nếu tôi gọi là mẫu như sau:

CallFunc(id, param, DoSomething); 

tôi nhận được các lỗi sau đây:

function-tpl.cpp:25: error: no matching function for call to CallFunc(unsigned int&, unsigned int&, void (&)(unsigned int, unsigned int))

Nếu tôi một cách rõ ràng tạo ra một std :: chức năng của loại chính xác (hoặc bỏ qua) vấn đề biến mất:

std::function< void (unsigned, unsigned) > func(DoSomething); 
CallFunc(id, param, func); 

Tôi làm cách nào để viết mã này để tạm thời không cần thiết?

Answer 1

Nếu bạn đang sử dụng các mẫu, bạn có thể tránh std::function hoàn toàn, trừ khi vì một lý do bạn muốn giới hạn cụ thể chức năng để lấy std::function:

template < typename Ident, typename Param, typename Func > 
void CallFunc(Ident ident, Param param, Func op) 
{ 
    op(ident, param); 
} 

Answer 2

Bạn có thể thực hiện chuyển đổi nội dòng hoặc sử dụng bind. Không phải là đặc biệt xinh đẹp, nhưng họ hoàn thành công việc:

CallFunc(id, param, std::function<void(unsigned, unsigned)>(DoSomething)); 

CallFunc(id, param, std::bind(DoSomething, std::placeholders::_1, std::placeholders::_2)); 

Answer 3

Bạn cần phải thực hiện tham số hàm thứ ba một ngữ cảnh không suy luận cho các tham số mẫu trong đó. Sau đó trình biên dịch sẽ không so sánh kiểu đối số với kiểu tham số mà không xem xét tất cả các chuyển đổi ngầm định (tiêu chuẩn nói, và C++ 0x làm rõ hơn nữa, cho tham số hàm không có tham số mẫu trong các vị trí suy luận, tất cả ngầm định chuyển đổi được cho phép trong cầu nối một sự khác biệt).

template < typename T > struct id { typedef T type; }; 

template < typename Ident, typename Param > 
void CallFunc(Ident ident, Param param, 
       typename id<std::function< void (Ident, Param) >>::type op) 
{ 
    op(ident, param); 
} 

Thay vì id bạn có thể sử dụng boost::identity. Trong C++ 0x và trình biên dịch hỗ trợ nó, bạn có thể có một phiên bản dễ đọc hơn sử dụng bí danh mẫu

template < typename T > using nondeduced = typename id<T>::type; 

Sau đó, mã của bạn trở nên đơn giản

template < typename Ident, typename Param > 
void CallFunc(Ident ident, Param param, 
       std::function< nondeduced<void (Ident, Param)> > op) 
{ 
    op(ident, param); 
} 

Tuy nhiên GCC chưa hỗ trợ các mẫu bí danh.