trong C++ 11, bạn luôn có thể (an toàn) thay thế một khởi tạo memset() bằng một bộ khởi tạo trống không?

Question

Tôi thường xuyên đi qua cấu trúc POD trong mã được bằng tay zero-khởi tạo với memset như vậy:

struct foo; 
memset(&foo, 0, sizeof(foo)); 

Tôi đã kiểm tra các tiêu chuẩn C++ 11 và nó nói: "Một đối tượng có initializer là một tập rỗng của dấu ngoặc đơn, tức là,(), sẽ được khởi tạo giá trị. "Được theo sau bởi:"Để giá trị khởi tạo [cấu trúc nhóm] của loại T có nghĩa là ... đối tượng không được khởi tạo."

... Vì vậy, điều này có nghĩa là bạn có thể luôn an toàn ngưng tụ mã ở trên để chỉ sau:

struct foo{}; 

Và có một cấu trúc khởi tạo được bảo đảm, nếu như bạn đã gọi memset(&foo, 0, ...)?

---

Nếu vậy, sau đó nói chung, có thể giúp bạn một cách an toàn khởi tạo bất cứ điều gì với initializers trống như vậy:

SomeUnknownType foo{}; // will 'foo' be completely "set" to known values? 

Tôi biết điều này không phải luôn luôn có thể trong C++ 03 (trước uniform initialization syntax) nhưng có thể bây giờ trong C++ 11 cho bất kỳ loại nào không?

Answer 1

Bạn chắc chắn có thể khởi tạo bất kỳ loại bố cục chuẩn nào bằng cách sử dụng dấu ngoặc đơn trống và làm cho nó không được khởi tạo. Khi bạn thêm nhà xây dựng thành bức tranh, điều này không hẳn đã đúng, không may:

struct foo { 
    int f; 
}; 
struct bar { 
    int b; 
    bar() {} 
}; 

foo f{}; 
bar b{}; 

Trong khi f.f là zero khởi tạo, b.b chưa được định hình. Tuy nhiên, bạn không thể làm bất cứ điều gì về số bar vì bạn cũng không thể memset(). Nó cần được sửa chữa.

Answer 2

Bộ nhớ sẽ khởi tạo nó thành 0 nhưng dấu ngoặc đơn trống sẽ có giá trị khởi tạo đối tượng của bạn (có sự khác biệt).

Trích dẫn từ tiêu chuẩn:

Để giá trị khởi tạo một đối tượng kiểu T có nghĩa là:

• nếu T là một loại lớp với một constructor do người dùng khai báo, sau đó các nhà xây dựng mặc định cho T là được gọi (và khởi tạo bị hỏng nếu T không có hàm tạo mặc định có thể truy cập);

Ngoài ra, làm struct foo{}; an toàn và không cần phải đặt lại con trỏ bảng ảo.

Nhưng thực hiện memset(&foo, 0, sizeof(foo)); trong trường hợp các chức năng ảo thực sự rất tệ vì nó đặt lại con trỏ vào bảng ảo.