Tại sao các đối tượng được trả lại từ liên kết bỏ qua các đối số thừa?

Question

Giả sử tôi có một chức năng mà phải mất hai đối số,

void f(int x, int y); 

và tôi muốn để ràng buộc một trong số họ. Tôi có thể sử dụng std::bind như sau:

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

partiallyBoundF chỉ mất một đối số, nhưng tôi có thể gọi nó bằng nhiều đối số. Những lập luận ngoài đầu tiên thậm chí không phải là của một loại mà làm cho bất kỳ ý nghĩa:

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

gì là mục đích của các đối tượng cho phép trở về từ bind để được thông qua lập luận thêm? Nó cho phép các lỗi gọi để biên dịch mà sẽ bị từ chối bất kỳ nơi nào khác.

Answer 1

Bỏ qua các đối số bổ sung sẽ đơn giản hơn rất nhiều để triển khai và thực sự hữu ích.

Trong triển khai điển hình, ví dụ: libstdC++ (g ++), cách tiếp cận được thực hiện là thu thập các đối số operator() vào một bộ và sau đó để đối số liên kết std::placeholder trích xuất chúng theo yêu cầu. Việc tính số lượng đối số sẽ yêu cầu đếm số lượng trình giữ chỗ được sử dụng, điều này sẽ khá phức tạp. Lưu ý rằng bindable callable có thể là một hàm functor với nhiều mẫu hoặc gọi là operator(), vì vậy đối tượng bind operator() không thể được tạo ra với một chữ ký "chính xác" duy nhất.

Cũng lưu ý rằng bạn có thể viết:

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

ví dụ: bỏ qua một cách rõ ràng đối số thứ hai đến đối tượng ràng buộc. Nếu bind thực thi số đối số của nó, bạn sẽ cần một cách bổ sung để chỉ định rằng ví dụ: một đối số thứ tư cũng bị bỏ qua.

Đối với tính hữu dụng, hãy xem xét ràng buộc một handler tín hiệu thành viên đến một tín hiệu:

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

Nếu sig có các thông số khí thải phụ không mong muốn, sau đó họ chỉ đơn giản là bỏ qua bởi đối tượng bind; nếu không, ràng buộc cùng một trình xử lý với nhiều tín hiệu sẽ yêu cầu viết nhiều trình bao bọc chuyển tiếp không có mục đích thực sự.