Chính xác thì “IB” và “UB” có nghĩa là gì?

Tôi đã thấy các thuật ngữ "IB" và "UB" được sử dụng nhiều lần, đặc biệt là trong ngữ cảnh của C ++. Tôi đã thử googling chúng, nhưng rõ ràng những kết hợp hai chữ cái đó được sử dụng rất nhiều. : P

Vì vậy, tôi hỏi bạn ... họ có nghĩa là gì, khi họ nói như thể họ là một điều xấu?

IB: Hành vi do triển khai xác định. Tiêu chuẩn này phụ thuộc vào trình biên dịch / nền tảng cụ thể để xác định hành vi chính xác, nhưng yêu cầu nó phải được xác định.

Sử dụng hành vi do triển khai xác định có thể hữu ích, nhưng làm cho mã của bạn ít di động hơn.

UB: Hành vi không xác định. Tiêu chuẩn không chỉ định cách một chương trình gọi hành vi không xác định sẽ hoạt động. Còn được gọi là "quỷ mũi" vì về mặt lý thuyết nó có thể khiến quỷ bay ra khỏi mũi của bạn.

Sử dụng hành vi không xác định luôn là một ý tưởng tồi. Ngay cả khi nó có vẻ hoạt động đôi khi, bất kỳ thay đổi nào đối với môi trường, trình biên dịch hoặc nền tảng có thể làm hỏng mã của bạn một cách ngẫu nhiên.

Hành vi do triển khai xác định và Hành vi không xác định

Tiêu chuẩn C ++ rất cụ thể về ảnh hưởng của các cấu trúc khác nhau, và đặc biệt là bạn phải luôn lưu ý các loại rắc rối sau:

• Hành vi không xác định có nghĩa là hoàn toàn không có đảm bảo nào được đưa ra. Mã có thể hoạt động, hoặc nó có thể đốt cháy ổ cứng của bạn hoặc khiến ma quỷ bay ra khỏi mũi bạn . Đối với ngôn ngữ C ++, hoàn toàn có thể xảy ra bất cứ điều gì. Về mặt thực tế, điều này thường có nghĩa là bạn có một lỗi không thể khôi phục. Nếu điều này xảy ra, bạn không thể thực sự tin tưởng bất cứ điều gì về ứng dụng của mình (bởi vì một trong những tác động của hành vi không xác định này có thể chỉ là làm xáo trộn bộ nhớ được sử dụng bởi phần còn lại của ứng dụng của bạn). Nó không bắt buộc phải nhất quán, vì vậy chạy chương trình hai lần có thể cho kết quả khác nhau. Nó có thể phụ thuộc vào các giai đoạn của mặt trăng, màu sắc của chiếc áo bạn đang mặc hoặc bất cứ điều gì khác.

• Hành vi không xác định có nghĩa là chương trình phải làm điều gì đó lành mạnh và nhất quán, nhưng nó không bắt buộc phải ghi lại điều này.

• Hành vi được xác định bởi triển khai tương tự như hành vi không xác định, nhưng cũng phải được ghi lại bởi người viết trình biên dịch. Một ví dụ về điều này là kết quả của a reinterpret_cast. thông thường , nó chỉ đơn giản là thay đổi kiểu của một con trỏ, mà không sửa đổi địa chỉ, nhưng ánh xạ thực sự được xác định bởi việc triển khai, vì vậy một trình biên dịch có thể ánh xạ tới một địa chỉ hoàn toàn khác, miễn là nó ghi lại lựa chọn này. Một ví dụ khác là kích thước của một int. Tiêu chuẩn C ++ không quan tâm nếu nó là 2, 4 hay 8 byte, nhưng nó phải được trình biên dịch ghi lại

Nhưng chung cho tất cả những điều này là chúng tốt nhất nên tránh. Khi có thể, hãy tuân thủ hành vi được chỉ định 100% bởi chính tiêu chuẩn C ++. Bằng cách đó, bạn được đảm bảo tính di động.

Bạn cũng thường phải dựa vào một số hành vi do triển khai xác định. Nó có thể không thể tránh khỏi, nhưng bạn vẫn nên chú ý đến nó và lưu ý rằng bạn đang dựa vào một cái gì đó có thể thay đổi giữa các trình biên dịch khác nhau.

Mặt khác, luôn luôn cần tránh những hành vi không xác định . Nói chung, bạn chỉ nên cho rằng nó làm cho chương trình của bạn bùng nổ theo cách này hay cách khác.

• IB: là hành vi được xác định thực hiện - trình biên dịch phải ghi lại những gì nó thực hiện. Thực hiện một >>phép toán trên một giá trị âm là một ví dụ.

• UB: hành vi không xác định - trình biên dịch có thể làm bất cứ điều gì, bao gồm cả việc đơn giản là gặp sự cố hoặc cho kết quả không thể đoán trước. Tham chiếu đến một con trỏ null thuộc loại này, nhưng cũng có những thứ tinh vi hơn như số học con trỏ nằm ngoài giới hạn của một đối tượng mảng.

Một thuật ngữ liên quan khác là 'hành vi không xác định'. Đây là loại giữa các hành vi được xác định và chưa được xác định thực thi. đối với hành vi không xác định, trình biên dịch phải làm điều gì đó theo tiêu chuẩn, nhưng chính xác những lựa chọn nào mà tiêu chuẩn đưa ra là tùy thuộc vào trình biên dịch và không cần phải xác định (hoặc thậm chí nhất quán). Những thứ như thứ tự đánh giá các biểu thức phụ thuộc loại này. Trình biên dịch có thể thực hiện những điều này theo bất kỳ thứ tự nào nó thích và có thể thực hiện theo cách khác nhau trong các bản dựng khác nhau hoặc thậm chí trong các lần chạy khác nhau của cùng một bản dựng (không chắc, nhưng được phép).

Phiên bản ngắn:

Hành vi do triển khai xác định (IB): Được lập trình chính xác nhưng không xác định *

Hành vi không xác định (UB): Được lập trình không chính xác (tức là lỗi !)

_{*) "không xác định" theo tiêu chuẩn ngôn ngữ có liên quan, nó tất nhiên sẽ xác định trên bất kỳ nền tảng cố định nào.}

UB: Hành vi không xác định

IB: Hành vi do triển khai xác định