Làm thế nào để thực hiện một hàm tạo di chuyển cho một thừa kế hình kim cương?

Question

Tôi có một phân cấp hình kim cương của các lớp, trong đó không có hàm tạo mặc định, cũng không phải các hàm tạo bản sao. Hai nhà xây dựng Tôi có là một "di chuyển" một và khác mà phải mất một tài liệu tham khảo giá trị trái đến một đối tượng:

struct base { 
    base(base&&) = default; 
    base(member_type&& m): member_(std::move(m)) {} 
    member_type member_; 
}; 

struct virt_1: virtual base { 
    virt_1(virt_1&& rhs): base(std::move(rhs)) {} 
    virt_1(member_type&& m): base(std::move(m)) {} 
}; 

struct virt_2: virtual base { 
    virt_2(virt_2&& rhs): base(std::move(rhs)) {} 
    virt_2(member_type&& m): base(std::move(m)) {} 
}; 

struct concrete: virt_1, virt_2 { 
    concrete(concrete&& rhs) // ??? 
}; 

Bên cạnh đó không sử dụng một hệ thống phân cấp kim cương hình, là nó có thể để thực hiện các constructor di chuyển cho lớp bê tông ?

Cảm ơn!

Answer 1

Có vấn đề gì khi yêu cầu trình biên dịch cung cấp triển khai?

concrete(concrete&&) = default; 

Tôi muốn xác định các nhà thầu di chuyển virt_1 và virt_2 làm mặc định.

Bạn có thể viết nó ra nếu bạn thực sự muốn:

concrete(concrete&& rhs) 
: base(std::move(rhs)), virt_1(std::move(rhs)), virt_2(std::move(rhs)) 
{ } 

Hoặc nếu bạn thực sự thích cách gõ:

concrete(concrete&& rhs) 
    : base(static_cast<base&&>(rhs)), 
     virt_1(static_cast<virt_1&&>(rhs)), 
     virt_2(static_cast<virt_2&&>(rhs)) 
    { } 

Các initializers cho virt_1 và virt_2 căn cứ là vô ích, bởi vì họ chỉ hãy gọi cho nhà xây dựng base và vì đó là một cơ sở ảo, họ sẽ không làm điều đó khi concrete gọi nó, nhưng do lựa chọn của bạn về các nhà xây dựng, bạn không thể xây dựng chúng mặc định và được yêu cầu khởi tạo chúng rvalue mặc dù họ sẽ không làm gì với nó.

Answer 2

Chắc chắn. Bất kỳ hàm tạo nào có cơ sở virtual ở đâu đó trong cấu trúc phân cấp đều chịu trách nhiệm khởi tạo cơ sở đó. Về cơ bản, bất kỳ lớp nào bên dưới cơ sở virtual trong cấu trúc phân cấp thừa hưởng quyền khởi tạo cơ sở.

Trong trường hợp này, hàm tạo di chuyển mặc định sẽ làm điều đúng. Tôi cũng khuyên bạn nên chỉ định concrete : private virtual base để làm rõ điều gì đang xảy ra.

Here là bản trình diễn hoạt động.