Почему `boost :: bind()` не может быть заменен на `std :: bind()` здесь?

Question

В этой части кода из example:

int main() 
{ 
    boost::asio::io_service io; 
    printer p(io); 
    boost::thread t(boost::bind(&boost::asio::io_service::run, &io)); 
    io.run(); 
    t.join(); 

    return 0; 
} 

Если я заменю boost::bind(&boost::asio::io_service::run, &io) к std::bind(&boost::asio::io_service::run, &io) я получаю ошибку компиляции:

.../usr/lib/c++/v1/functional:1843:1: note: candidate template 
    ignored: couldn't infer template argument '_Fp' 
bind(_Fp&& __f, _BoundArgs&&... __bound_args) 
^ 
/usr/lib/c++/v1/functional:1852:1: note: candidate template 
    ignored: couldn't infer template argument '_Rp' 
bind(_Fp&& __f, _BoundArgs&&... __bound_args) 
^ 
1 error generated. 

Почему эта ошибка произойдет?

Почему std::bind(&printer::print1, &p) работает, но std::bind(&boost::asio::io_service::run, &io) не работает?

Answer 1

Компилятор сообщает вам, что он не мог определить тип первого аргумента std::bind.

Если вы посмотрите на io_service::run, вы увидите, что он перегружен. У компилятора был выбор, и это возможная причина того, что компилятор не выяснил тип. Чтобы проверить это, вы можете использовать литье:

std::bind(static_cast<size_t (boost::asio::io_service::*)()>(&boost::asio::io_service::run), &io) 

Этот способ делает выбор явным в коде.

С современным компилятором вам вообще не нужно использовать привязку. Вы можете сделать что-то вроде этого:

[&]() { io.run(); } 

Это позволяет избежать всех проблем с std::bind шаблона. Вам нужно рассмотреть переменное время жизни и копии по сравнению с ссылками.