Tại sao hành vi này không được xác định đơn giản?

Question

tôi đã làm mới sự hiểu biết của tôi về giá trị khởi động so với mặc định-khởi động, và tình cờ gặp this:

struct C { 
    int x; 
    int y; 
    C() { } 
}; 

int main() { 
    C c = C(); 
} 

Rõ ràng đây là UB vì

Trong trường hợp C(), có một constructor có khả năng khởi tạo các thành viên x và y, vì vậy không có khởi tạo diễn ra. Cố gắng sao chép C() thành c do đó dẫn đến hành vi không xác định.

Tôi nghĩ rằng tôi hiểu tại sao, nhưng tôi không chắc chắn. Ai đó có thể vui lòng xây dựng?

Điều đó có nghĩa là đây cũng là UB?

int x; x = x; 

Ngẫu nhiên, liên quan đến khởi tạo giá trị, sau đây có được đảm bảo bằng không không?

int x = int(); 

Answer 1

ví dụ đầu tiên của bạn đã không xác định hành vi bởi vì mặc định, trình biên dịch tạo constructor sao chép sẽ làm một bản sao memberwise, int s có thể có giá trị bẫy, và đọc một giá trị bẫy để sao chép nó có thể gây ra các chương trình sụp đổ.

Trong thực tế, tôi không thể tưởng tượng điều này bao giờ thực sự bị rơi; trình biên dịch gần như chắc chắn sẽ tối ưu hóa bản sao ra, và thậm chí nếu không, nó có khả năng sẽ sử dụng một số bản sao bitwise đặc biệt mà sẽ sao chép mà không cần kiểm tra giá trị bẫy của . (Trong C++, bạn được đảm bảo có thể byte sao chép.)

Đối với trường hợp thứ hai, một lần nữa, hành vi không xác định. Mặc dù trong trường hợp này, bạn có bài tập thay vì sao chép bản dựng và trình biên dịch là ít có khả năng tối ưu hóa nó hơn. (Không có bài tập nào trong ví dụ đầu tiên của bạn, chỉ sao chép bản dựng.)

Đối với thứ ba, có. Trình khởi tạo có parenthese trống (và không có trình khởi tạo mặc định do người dùng xác định ghi đè nó) trước tiên thực hiện số không khởi tạo (chính xác như xảy ra cho các biến có tuổi thọ tĩnh).

Answer 2

No. Điều gì sẽ xảy ra là hầu hết các trình biên dịch sẽ không thay đổi giá trị của x. Nó giống với mã sau:

int x = 0; 
x = 0; 

Nó không phải là dòng thứ hai sẽ không thực thi, nó sẽ không làm gì cả.

Answer 3

Tôi không nghĩ rằng đây thực sự là undefined behavior mặc dù các giá trị trong c có unspecified values. Nghĩa là, hành vi của chương trình cũng được xác định miễn là bạn không kết thúc bằng cách sử dụng các giá trị không xác định này. Nếu bạn sử dụng chúng, ví dụ: trong điều kiện hoặc in chúng, kết quả không được xác định. Tuy nhiên, tôi không nghĩ rằng chương trình được phép làm bất cứ điều gì kỳ lạ.

Đối với việc sử dụng hàm tạo mặc định trên các kiểu dựng sẵn, điều này đảm bảo mang lại giá trị bằng không, ví dụ: 0 cho số nguyên, 0.0 cho loại điểm động, v.v. constructor. Khi có bất kỳ hàm tạo nào, bạn cần phải quan tâm đến việc xây dựng các thành viên của bạn mà không cần một hàm tạo.