std :: chức năng ref và swap dường như không hoạt động tốt với nhau

Question

template <typename T> 
void myswap(T a,T b) 
{ 
    T temp = a; 
    a = b; 
    b = temp; 
} 
int main() 
{ 
    int m(20),n(30); 
    myswap(ref(m),ref(n)); 
    //m is still 20 and n is still 30 
} 

Tại sao giá trị của m và n không thay đổi? Chuyển một giá trị được bọc trong std::ref đến một hàm INCREMENT dẫn đến thay đổi giá trị trong biến ban đầu (biến trong khung ngăn xếp gọi hàm INCREMENT). Hoặc, việc sử dụng std::ref có bị hạn chế/giới hạn không?

Answer 1

std::ref (và liên quan std::reference_wrapper) là công cụ được thiết kế cho các trường hợp sử dụng rất cụ thể trong thư viện chuẩn và chỉ nên được sử dụng cho những trường hợp đó; nếu bạn muốn sử dụng nó ở những nơi của riêng bạn, bạn phải hiểu nó một cách chi tiết và tôn trọng những gì nó làm.

Về cơ bản, một reference_wrapper gần giống với con trỏ hơn tham chiếu. Vì vậy, thay thế một con trỏ trong chức năng trao đổi của bạn và bạn sẽ thấy rằng không có lý do gì để cho rằng nó sẽ thực sự trao đổi:

void myswap(int* a, int* b) 
{ 
    int* temp = a; 
    a = b; 
    b = temp; 
} 

Answer 2

bạn myswap mất các yếu tố của giá trị.

Về cơ bản, bạn trao đổi hai tham chiếu (std::reference_wrapper s) tại phạm vi địa phương của hàm.

Các giá trị mà chúng chỉ đến sẽ không thay đổi.

---

template <typename T> void incrementer(T a) { ++a; } int a = 20; 

Trong trường hợp này có một chuyển đổi để int&with:

operator T&() const noexcept { return *_ptr; } 

Trong code của bạn, mặt khác:

T temp = a; 

chỉ đơn giản là sẽ gọi constructor sao chép, sao chép con trỏ cơ bản:

reference_wrapper(const reference_wrapper&) noexcept = default; 

sau đó, trên dòng tiếp theo bạn lại sao chép con trỏ:

reference_wrapper& operator=(const reference_wrapper& x) noexcept = default; 

Answer 3

Mã của bạn tạo ra hai std::reference_wrapper đối tượng tạm thời và giao dịch hoán đổi họ, vì vậy họ đề cập đến đối tượng khác nhau. Tất cả những gì xảy ra là bạn hoán đổi hai đối tượng reference_wrapper, không phải mục tiêu của chúng.

Nếu bạn tự viết những gì chức năng mẫu sẽ tạo ra lý do cho hành vi nên được rõ ràng:

void myswap(std::reference_wrapper<int> a, std::reference_wrapper<int> b) 
{ 
    std::reference_wrapper<int> temp = a; 
    a = b; 
    b = a; 
} 

Rõ ràng điều này không thay đổi int đối tượng, chỉ có reference_wrapper đối tượng.

Nếu những gì bạn đang cố gắng làm là bắt buộc myswap để tham khảo bạn cần gọi myswap<int&>(m, n), bạn không thể mô phỏng điều đó bằng cách sử dụng reference_wrapper. Nhưng bạn nên thực sự sửa chữa myswap, bởi vì nó khá vô dụng theo cách nó được viết ngay bây giờ.