Zero-reinitializing một struct trong C++

Question

Một POD struct có thể zero-khởi tạo trong C++ 11 như sau:

SomeStruct s{}; 

Tuy nhiên, tôi phải làm gì nếu tôi đã có một thể hiện của các struct và tôi muốn khởi tạo lại nó về số không? Công việc sau dường như hoạt động:

s = {}; 

Ai đó có thể chỉ ra tiêu chuẩn có liên quan? Tôi cho rằng đây là những gì đang xảy ra:

1. Ví dụ mới được khởi tạo bằng không được tạo.
2. Ví dụ mới được gán cho cá thể hiện có, gọi toán tử gán ngầm.

Answer 1

gì bạn đang tìm kiếm là trong [expr.ass]

Một chuẩn bị tinh thần-init-list có thể xuất hiện ở phía bên tay phải của

• một sự ủy thác một vô hướng, trong trường hợp danh sách bộ khởi tạo sẽ có nhiều nhất một phần tử đơn. Ý nghĩa của là x={v}, trong đó T là loại vô hướng của biểu thức x, là của x=T{v}. Ý nghĩa của x={} là x=T{}.
• một nhiệm vụ cho một đối tượng thuộc loại lớp, trong trường hợp danh sách bộ khởi tạo được chuyển làm đối số cho chức năng điều hành gán được chọn theo độ phân giải quá tải (13.5.3, 13.3).

Vì vậy, dự đoán của bạn là chính xác. Trình biên dịch có thể có thể tối ưu hóa mọi thứ nhưng bạn có thể nghĩ về nó như tạo ra một tạm thời không được khởi tạo và chuyển nó tới operator=.

Answer 2

s = {}; không an toàn.

Vấn đề là bạn hy vọng biến thành s = SomeStruct{};. Tuy nhiên, nếu s có tình trạng quá tải khác cho operator=then that may be preferred by overload resolution.

Vì vậy, đây thực sự là một mẫu chống. Như đã đề cập trên các chủ đề khác, bạn nên viết một hàm, ví dụ .:

template<typename T> void reset(T &t) { t = T{}; } 

Tôi đoán bạn cũng có thể viết s = decltype(s){};, chừng nào s không phải là một tài liệu tham khảo.