std :: ràng buộc của chức năng thành viên lớp

Question

tôi có mã này:

#include <iostream> 
#include <functional> 

struct Foo 
{ 
     int get(int n) { return 5+n; } 
}; 

int main() 
{ 
     Foo foo; 
     auto L = std::bind(&Foo::get, &foo, 3); 

     std::cout << L() << std::endl; 

     return 0; 
} 

Có vẻ rằng đây:

auto L = std::bind(&Foo::get, &foo, 3); 

là equivalento tới:

auto L = std::bind(&Foo::get, foo, 3); 

Tại sao?

Answer 1

std::bind() chấp nhận đối số theo giá trị. Điều này có nghĩa là trong trường hợp đầu tiên bạn chuyển một con trỏ theo giá trị, dẫn đến bản sao của một con trỏ. Trong trường hợp thứ hai, bạn đang truyền một đối tượng kiểu foo theo giá trị, dẫn đến một bản sao của một đối tượng thuộc loại Foo.

Do đó, trong trường hợp thứ hai đánh giá của biểu thức L() làm cho viên chức năng get() được gọi trên bản sao của đối tượng gốc foo, mà có thể hoặc không thể là những gì bạn muốn.

Ví dụ này minh họa sự khác biệt (quên vi phạm các Rule của Ba/Rule of Five, điều này chỉ là dành cho mục đích minh hoạ):

#include <iostream> 
#include <functional> 

struct Foo 
{ 
    int _x; 

    Foo(int x) : _x(x) { } 

    Foo(Foo const& f) : _x(f._x) 
    { 
     std::cout << "Foo(Foo const&)" << std::endl; 
    } 

    int get(int n) { return _x + n; } 
}; 

int main() 
{ 
    Foo foo1(42); 

    std::cout << "=== FIRST CALL ===" << std::endl; 
    auto L1 = std::bind(&Foo::get, foo1, 3); 
    foo1._x = 1729; 
    std::cout << L1() << std::endl; // Prints 45 

    Foo foo2(42); 

    std::cout << "=== SECOND CALL ===" << std::endl; 
    auto L2 = std::bind(&Foo::get, &foo2, 3); 
    foo2._x = 1729; 
    std::cout << L2() << std::endl; // Prints 1732 
} 

Live example.

Nếu vì lý do nào đó, bạn không muốn sử dụng mẫu con trỏ, bạn có thể sử dụng std::ref() để ngăn chặn một bản sao của các đối số từ được tạo ra:

auto L = std::bind(&Foo::get, std::ref(foo), 3); 

Answer 2

Chúng không giống nhau. Chất kết dính chức năng chung std::bindbản sao đối số của nó. Trong trường hợp của std::bind(&Foo::get,&foo,3), con trỏ được sao chép, nhưng khi bạn gọi đối tượng liên kết, nó vẫn áp dụng cho đối tượng foo gốc. Trong std::bind(&Foo::get,foo,3) đối tượng foo được sao chép và cuộc gọi sau đó áp dụng cho bản sao bị ràng buộc, không áp dụng cho đối tượng gốc.

Bạn có thể kiểm tra điều này bằng cách sử dụng hàm thành viên truy cập trạng thái bên trong của đối tượng, liên kết đối tượng theo cả hai cách, thay đổi đối tượng gốc và xem kết quả khác nhau như thế nào.