Có một constructor constexpr di chuyển không?

Question

Có bao giờ có ý nghĩa khi có một hàm tạo di chuyển constexpr?

Ví dụ, hãy xem xét những điều sau đây:

#include <array> 

class C 
{ 
public: 
    constexpr C(std::array<int, 3> ar) : m_ar{ar} {} 
    constexpr C(C&& other) : m_ar{std::move(other.m_ar)} { } 
private: 
    std::array<int, 3> m_ar; 
}; 

int main() 
{ 
    constexpr C c1 {{{1, 2, 3}}}; 
    constexpr C c2{std::move(c1)}; 
    return 0; 
} 

này không biên dịch, vì mặc dù gọi std::move trên c1, trình biên dịch deduces nó cần phải sử dụng các nhà xây dựng (ngầm xóa) sao chép, không phải là nhà xây dựng di chuyển . Tôi cung không chăc tại sao.

Nhưng nếu tôi xóa constexpr từ c1 thì nó sẽ không thể sử dụng được bởi hàm tạo di chuyển constexpr.

Có cách nào để làm việc này không? Hay đây là một ví dụ xấu cho một hàm tạo di chuyển constexpr, nhưng có những ví dụ hay? Hoặc, nó chỉ luôn luôn sai khi có một constructor di chuyển constexpr?

Answer 1

Về nguyên tắc, một constructor di chuyển có thể được sử dụng với một đối tượng phi const mà cuộc đời bắt đầu trong việc đánh giá các biểu thức hằng:

// C++14 
constexpr int f() { 
    C a(/* ... */); 
    C b = std::move(a); 
    return 0; 
} 
constexpr int i = f(); 

điều tương tự có thể được thực hiện trong C++ 11, ví dụ

constexpr C foo(C&& c) { 
    return std::move(c); 
} 

constexpr int f() { 
    return foo(C()), 0; 
} 

Điều đó nói rằng, vì mọi thứ được sử dụng trong biểu thức liên tục bắt buộc phải bị phá hủy tầm thường, tính hữu ích của hàm tạo di chuyển khá hạn chế.

Answer 2

này không biên dịch, vì mặc dù gọi std::move trên c1, trình biên dịch deduces nó cần phải sử dụng (mặc nhiên bị xóa) copy constructor

c1 là loại C const. Khi bạn move(), đó thực sự là tham chiếu để tham khảo rvalue, vì vậy bạn nhận được C const&&. Lưu ý rằng nó vẫn là const. Khi chúng tôi thực hiện nghị quyết tình trạng quá tải, có ba cấu trúc:

C(std::array<int, 3>); // not viable 
C(C&&);    // not viable 
C(C const&) = delete; // viable! 

C const&& không thể liên kết với C&& với lý do tương tự mà C const& không thể liên kết với C&. Chúng ta chỉ còn lại với hàm tạo bản sao, được xóa hoàn toàn.

---

Có một constructor chuyển constexpr có thể có ý nghĩa - nhưng đối tượng bạn đang "di chuyển" từ không thể thực sự được chuyển từ, bởi vì nó có lẽ const. Bạn có thể thêm một constructor const di chuyển:

constexpr C(C const&& other) : m_ar(other.m_ar) { } 

Đây là một constructor sao chép được vinh hiển, nhưng nó cho phép cú pháp mà bạn muốn. Có thể cũng chỉ cho phép sao chép.