Tại sao C++ thực thi hành vi đó trong quá trình khởi tạo chéo?

Question

Hãy nói rằng tôi có một số mã C++:

if (error) 
    goto exit; 
... 
// size_t i = 0; //error 
size_t i; 
i = 0; 
... 
exit: 
    ... 

Tôi hiểu chúng ta không nên sử dụng goto, nhưng vẫn còn tại sao

size_t i; 
i = 0; 

biên dịch trong khi size_t i = 0; không?

Tại sao hành vi này được thực thi theo tiêu chuẩn (được đề cập bởi @SingerOfTheFall)?

Có thể chuyển thành một khối, nhưng không phải theo cách mà bỏ qua các khai báo có khởi tạo. Một chương trình nhảy từ một điểm trong đó một biến cục bộ có thời lượng lưu trữ tự động không nằm trong phạm vi đến một điểm mà phạm vi đó không đúng định dạng trừ khi biến số có loại POD (3.9) và được khai báo không có bộ khởi tạo.

Answer 1

Bạn không thể nhảy qua khởi tạo đối tượng.

size_t i = 0; 

là một khởi, trong khi

size_t i; 
i = 0; 

thì không. C++ Standart nói:

Có thể chuyển thành một khối, nhưng không theo cách mà bỏ qua các khai báo với khởi tạo. Một chương trình nhảy từ một điểm mà một biến cục bộ với thời gian lưu trữ tự động không nằm trong phạm vi đến điểm mà nó nằm trong phạm vi bị hình thành sai trừ khi biến có kiểu POD (3.9) và được khai báo không có bộ khởi tạo.

Answer 2

Lý do cho quy tắc là nhảy qua khởi tạo để đối tượng ở trạng thái chưa được xác định. Khi bạn kết thúc hàm, hủy các đối tượng chưa được khởi tạo đó có thể không hoạt động.

Một ngoại lệ rõ ràng là

int i; 

rời int uninitialized anyway, do đó bỏ qua đó chỉ là một nửa xấu.

Nếu bạn muốn sớm có chức năng, hãy nhanh chóng return là một tùy chọn để tránh goto.