Ai đặt ra thuật ngữ chỉ định hợp nhất (hoặc hợp nhất)?

Question

Một C++ wiki book đề cập đến

... Trong C++ 0x, chẳng hạn một toán tử gán được biết đến như mộtthống nhất phân công điều hành vì nó giúp loại bỏ sự cần thiết phải viết hai toán tử gán khác nhau. ..

cho một toán tử gán mà sẽ đưa nó kiểu lớp theo giá trị:

String & operator = (String s) // the pass-by-value parameter serves as a temporary 
{ 
    s.swap (*this); // Non-throwing swap 
    return *this; 
} 

Tôi đã thử sử dụng thuật ngữ này, nhưng nó dường như không được sử dụng rộng rãi.

Nó đến từ đâu?

Answer 1

Nó dường như là ám chỉ đến số unification diễn ra trong các hệ thống kiểu chính thức. Ý nghĩ là nếu các giá trị r và l có thể được đưa đến cùng một loại (thống nhất) bởi chỉ những thay thế hợp pháp, nhất định, thì nhiệm vụ được hình thành tốt.

Wikipedia tuyên bố ý tưởng lần đầu tiên được chú ý có ý nghĩa (và có thể tên của nó) theo John Alan Robinson.

Answer 2

Tôi không chắc ai đã viết nó nhưng cuốn sách wiki là sai. Từ "hợp nhất" xuất hiện chính xác không lần trong tiêu chuẩn "C++ 0x" (bạn thực sự nên sử dụng cụm từ "C++ 11" ngày nay, nó đã được phê duyệt vào tháng 8 năm 2011).

Thuật ngữ chính xác là sao chép elision. Từ C++ 0x (n3242, lần cuối cùng tôi có thể nhận được mà không phải trả tiền), 12.8 Copying and moving class objects, /34:

Khi đáp ứng các tiêu chí nhất định, thực hiện được phép bỏ qua việc sao chép/di chuyển đối tượng lớp học, ngay cả khi các nhà xây dựng sao chép/di chuyển và/hoặc destructor cho đối tượng có tác dụng phụ.

Trong trường hợp này, việc triển khai xử lý nguồn và đích của thao tác sao chép/di chuyển bị bỏ qua chỉ đơn giản là hai cách khác nhau tham chiếu đến cùng một đối tượng và sự phá hủy đối tượng đó xảy ra vào cuối thời gian khi hai các đối tượng sẽ bị phá hủy mà không cần tối ưu hóa.

sự bỏ bớt này hoạt động sao chép/di chuyển, được gọi là bản sao sự bỏ bớt, được cho phép trong các trường hợp sau (có thể được kết hợp để loại bỏ nhiều bản sao) ...