funkcja Lambda z różnych podpisów z std :: funkcji

Question

Nie rozumiem dlaczego trzeci przypadek jest ok (nawet jeśli lambda za argumenty typu różni się od typu std::function są), podczas gdy kompilator narzeka z czwartym:

function<int(int)> idInt = [](int i) {return i;}; //OK 
function<int(int&)> idInt = [](int &i) {return i;}; //OK 
function<int(int&)> idInt = [](int i) {return i;}; //OK 
function<int(int)> idInt = [](int &i) {return i;}; //ERROR! 

Answer 1

Kiedy piszesz:

function<int(int)> idInt = [](int &i) {return i;}; //ERROR! 

wtedy można powiedzieć, że idInt można zawinąć funkcji, zamknięcie .. co może być wywołana z int argument. Ale nie jest to prawdą w przypadku [](int &i) {return i;};, ponieważ nie można nazwać jej integralną dosłowny jak tutaj:

auto fn = [](int &i) {return i;}; 
fn(1); // error - you try to bind temporary to reference 

można naprawić zmieniając podpis do korzystania rvalue odniesienia lub const &:

std::function<int(int)> idInt1 = [](int &&i) {return i;}; 
std::function<int(int)> idInt2 = [](const int &i) {return i;};