Trình tạo mặc định có khởi tạo các kiểu dựng sẵn không?

Question

Trình tạo mặc định (được tạo bởi trình biên dịch) có khởi tạo các kiểu dựng sẵn không?

Answer 1

Theo tiêu chuẩn, nó không trừ khi bạn rõ ràng khởi tạo trong danh sách initializer

Answer 2

số Các constructor mặc định cấp phát bộ nhớ và gọi constructor không tham số của bất kỳ bậc cha mẹ.

Answer 3

Về mặt kỹ thuật, nó khởi tạo chúng - bằng cách sử dụng hàm tạo mặc định của chúng, điều này ngẫu nhiên không làm gì ngoài việc cấp phát bộ nhớ cho chúng.

Nếu những gì bạn muốn biết là liệu chúng có được đặt thành thứ gì đó lành mạnh như 0 cho int giây hay không, thì câu trả lời là "không".

Answer 4

Như người nói trước đã tuyên bố - không, họ không được khởi tạo.

Đây thực sự là một nguồn cho các lỗi thực sự lạ như hệ điều hành hiện đại có xu hướng lấp đầy các vùng bộ nhớ mới được phân bổ bằng số không. Nếu bạn mong đợi điều đó, nó có thể làm việc lần đầu tiên. Tuy nhiên, khi ứng dụng của bạn tiếp tục chạy, các đối tượng delete -ing và new -ing, bạn sẽ sớm hay muộn kết thúc trong một tình huống mà bạn mong đợi số 0 nhưng một số không còn sót lại từ một đối tượng trước đó nằm.

Vì vậy, tại sao điều này sau đó, không phải là tất cả dữ liệu được phân bổ new mới? Có, nhưng không phải lúc nào cũng từ hệ điều hành. Hệ điều hành có xu hướng làm việc với các bộ nhớ lớn hơn (ví dụ: 4MB tại một thời điểm) vì vậy tất cả các phân bổ nhỏ một-ba-đây-ba-byte-có-và-deallocations được xử lý trong uyserspace, và do đó không zeroed ra.

PS. Tôi đã viết "có xu hướng", tức là bạn thậm chí không thể dựa vào thành công lần đầu tiên ...

Answer 5

Cho tất cả các mục đích thực tế - không.

---

Tuy nhiên đối với các triển khai tuân thủ về mặt kỹ thuật với tiêu chuẩn C++, câu trả lời phụ thuộc vào đối tượng là POD hay không và cách bạn khởi tạo. Theo chuẩn C++:

MyNonPodClass instance1;//built in members will not be initialized 
MyPodClass instance2;//built in members will be not be initialized 
MyPodClass* instance3 = new MyPodClass;//built in members will not be initialized 
MyPodClass* instance3 = new MyPodClass() ;//built in members will be zero initialized 

Tuy nhiên, trong thế giới thực, điều này không được hỗ trợ tốt do đó, không sử dụng nó.

---

Các bộ phận có liên quan của tiêu chuẩn là phần 8.5.5 và; 8.5.7

Answer 6

Tôi không hoàn toàn chắc chắn những gì bạn có ý nghĩa, nhưng:

struct A { int x; }; 

int a; // a is initialized to 0 
A b; // b.x is initialized to 0 

int main() { 
    int c;   // c is not initialized 
    int d = int(); // d is initialized to 0 

    A e;   // e.x is not initialized 
    A f = A();  // f.x is initialized to 0 
} 

Trong mỗi trường hợp, nơi tôi nói "không được khởi tạo" - bạn có thể thấy rằng trình biên dịch của bạn cung cấp cho nó một giá trị nhất quán, nhưng tiêu chuẩn không yêu cầu nó.

Rất nhiều vẫy tay được ném xung quanh, bao gồm cả tôi, về cách các kiểu tích hợp "có hiệu lực" có hàm tạo mặc định. Thực sự khởi tạo mặc định và khởi tạo giá trị được định nghĩa các thuật ngữ trong tiêu chuẩn, mà cá nhân tôi phải tra cứu mọi lúc. Chỉ có các lớp được định nghĩa trong tiêu chuẩn để có một hàm tạo ngầm mặc định.

Answer 7

Trình xây dựng mặc định ngầm định (bởi trình biên dịch) của một lớp không khởi tạo thành viên của các kiểu dựng sẵn.

Tuy nhiên, bạn phải ghi nhớ rằng trong một số trường hợp, việc khởi tạo thể hiện của lớp có thể được thực hiện bằng các phương tiện khác. Không phải bởi constructor mặc định, cũng không phải bởi constructor ở tất cả.

Ví dụ: có một niềm tin không chính xác phổ biến cho lớp C cú pháp C() luôn gọi hàm khởi tạo mặc định. Trong thực tế, cú pháp C() thực hiện cái gọi là khởi tạo giá trị của cá thể lớp. Nó sẽ chỉ gọi hàm tạo mặc định nếu nó là do người dùng khai báo. (Đó là trong C++ 03. Trong C++ 98 - chỉ khi lớp đó không phải là POD). Nếu lớp không có hàm tạo do người dùng khai báo, thì C() sẽ không gọi hàm dựng mặc định do trình biên dịch cung cấp, mà đúng hơn là sẽ thực hiện một kiểu khởi tạo đặc biệt không liên quan đến hàm tạo của C. Thay vào đó, nó sẽ trực tiếp giá trị khởi tạo mọi thành viên của lớp. Đối với các kiểu tích hợp, kết quả là không khởi tạo.

Ví dụ, nếu lớp học của bạn không có người sử dụng tuyên bố constructor

class C { 
    int x; 
}; 

sau đó trình biên dịch sẽ ngầm cung cấp một. Các nhà xây dựng trình biên dịch cung cấp sẽ không làm gì cả, có nghĩa là nó sẽ không khởi C::x

C c; // Compiler-provided default constructor is used 
// Here `c.x` contains garbage 

Tuy nhiên, khởi tạo sau sẽ zero-khởi x vì họ sử dụng rõ ràng () initializer

C c = C(); // Does not use default constructor for `C()` part 
      // Uses value-initialization feature instead 
assert(c.x == 0); 

C *pc = new C(); // Does not use default constructor for `C()` part 
       // Uses value-initialization feature instead 
assert(pc->x == 0); 

Các hành vi của () initializer là khác nhau trong một số khía cạnh giữa C++ 98 và C++ 03, nhưng không phải trong trường hợp này. Đối với lớp trên C, nó sẽ giống nhau: () trình khởi tạo thực hiện khởi tạo số không là C::x.

Một ví dụ về khởi tạo được thực hiện mà không liên quan đến xây dựng, tất nhiên, khởi tạo tổng hợp

C c = {}; // Does not use any `C` constructors at all. Same as C c{}; in C++11. 
assert(c.x == 0); 

C d{}; // C++11 style aggregate initialization. 
assert(d.x == 0);