Dlaczego obiekty zwracane przez bind ignorują dodatkowe argumenty?

Question

Załóżmy, że mam funkcję, która pobiera dwa argumenty,

void f(int x, int y); 

i chcę się wiązać z nich. Mogę użyć std::bind następująco:

auto partiallyBoundF = std::bind(f, 10, _1); 

partiallyBoundF trwa tylko jeden argument, ale mogę nazwać to z więcej niż jednego. Argumenty poza pierwszy nawet nie muszą być typu, który ma sensu:

partiallyBoundF(20, 0); 
partiallyBoundF(0, 44, -99, "Hello", 4.5, true, []{}); 

Co jest celem pozwalających obiektów zwracanych z bind być przekazywane dodatkowe argumenty? Umożliwia wywoływanie błędów podczas kompilacji, które mogłyby zostać odrzucone w innym miejscu.

Answer 1

Ignorowanie dodatkowych argumentów jest o wiele łatwiejsze do wdrożenia i może być użyteczne.

W typowej realizacji, np. libstdC++ (g ++), podejście to polega na zebraniu argumentów operator() na krotkę, a następnie pozwól, aby argumenty wiążące std::placeholder wyodrębniły je zgodnie z wymaganiami. Wymuszenie liczby argumentów wymagałoby zliczenia liczby używanych symboli zastępczych, co byłoby dość skomplikowane. Zwróć uwagę, że wywoływalne powiązanie może być funktorem z wieloma wzorcami połączeń wzorcowych operator(), więc obiekt wiązania operator() nie może zostać wygenerowany z pojedynczą "poprawną" sygnaturą.

pamiętać, że można napisać również:

std::bind(&foo, std::placeholders::_1, std::placeholders::_3); 

tj jawnie ignorując drugi argument do obiektu bind. Jeśli bind wymusił liczbę argumentów, potrzebny byłby dodatkowy sposób określania takich wartości, np. czwarty argument także miał zostać zignorowany.

chodzi o użyteczność, należy rozważyć wiązania element obsługi sygnału z sygnałem:

sig.connect(std::bind(&C::on_sig, this, param, std::placeholders::_1)); 

Jeśli sig ma dodatkowo niepożądanych parametrów emisji, wtedy po prostu zignorowane przez obiekt bind; w przeciwnym razie, wiązanie tego samego programu obsługi z wieloma sygnałami wymagałoby napisania wielu pakietów do przekierowania bez żadnego prawdziwego celu.