Hành vi không xác định là một trong những khía cạnh của ngôn ngữ C và C ++ có thể gây ngạc nhiên cho các lập trình viên đến từ các ngôn ngữ khác (các ngôn ngữ khác cố gắng che giấu nó tốt hơn). Về cơ bản, có thể viết các chương trình C ++ không hoạt động theo cách có thể dự đoán được, mặc dù nhiều trình biên dịch C ++ sẽ không báo cáo bất kỳ lỗi nào trong chương trình!
Hãy xem xét một ví dụ cổ điển:
#include <iostream>
int main()
{
char* p = "hello!\n"; // yes I know, deprecated conversion
p[0] = 'y';
p[5] = 'w';
std::cout << p;
}
Biến pchỉ vào chuỗi ký tự "hello!\n"và hai phép gán bên dưới cố gắng sửa đổi chuỗi ký tự đó. Chương trình này làm gì? Theo mục 2.14.5 đoạn 11 của tiêu chuẩn C ++, nó gọi hành vi không xác định :
Hiệu quả của việc cố gắng sửa đổi một chuỗi ký tự là không xác định.
Tôi có thể nghe thấy mọi người hét lên "Nhưng chờ đã, tôi có thể biên dịch điều này không có vấn đề gì và nhận được đầu ra yellow" hoặc "Ý bạn là gì không xác định, chuỗi ký tự được lưu trữ trong bộ nhớ chỉ đọc, vì vậy lần thử đầu tiên sẽ dẫn đến kết xuất lõi". Đây chính xác là vấn đề với hành vi không xác định. Về cơ bản, tiêu chuẩn cho phép bất cứ điều gì xảy ra một khi bạn gọi hành vi không xác định (thậm chí là quỷ mũi). Nếu có một hành vi "đúng" theo mô hình ngôn ngữ tinh thần của bạn, thì mô hình đó đơn giản là sai; Các tiêu chuẩn C ++ có phiếu bầu duy nhất, thời gian.
Các ví dụ khác về hành vi không xác định bao gồm truy cập vào một mảng nằm ngoài giới hạn của nó, hủy bỏ con trỏ null , truy cập các đối tượng sau khi thời gian kết thúc của chúng hoặc viết các biểu thức được cho là thông minh như thế nào i++ + ++i.
Phần 1.9 của tiêu chuẩn C ++ cũng đề cập đến hai anh em ít nguy hiểm hơn, hành vi không xác định và hành vi được xác định thực hiện :
Các mô tả ngữ nghĩa trong Tiêu chuẩn quốc tế này xác định một máy trừu tượng không tham số hóa.
Một số khía cạnh và hoạt động của máy trừu tượng được mô tả trong Tiêu chuẩn quốc tế này dưới dạng xác định thực hiện (ví dụ sizeof(int):). Chúng tạo thành các tham số của máy trừu tượng. Mỗi thực hiện sẽ bao gồm các tài liệu mô tả các đặc điểm và hành vi của nó trong các khía cạnh này.
Một số khía cạnh và hoạt động khác của máy trừu tượng được mô tả trong Tiêu chuẩn quốc tế này là không xác định (ví dụ: thứ tự đánh giá các đối số cho một hàm). Khi có thể, Tiêu chuẩn quốc tế này xác định một tập hợp các hành vi được phép. Chúng xác định các khía cạnh không xác định của máy trừu tượng.
Một số hoạt động khác được mô tả trong Tiêu chuẩn quốc tế này là không xác định (ví dụ: hiệu ứng của việc hủy bỏ con trỏ null). [ Lưu ý : Tiêu chuẩn quốc tế này áp đặt không có yêu cầu đối với hành vi của các chương trình có chứa hành vi không xác định. - lưu ý cuối ]
Cụ thể, mục 1.3.24 nêu:
Hành vi không xác định cho phép bao gồm từ bỏ qua hoàn toàn tình huống với kết quả không thể đoán trước , đến hành vi trong quá trình dịch thuật hoặc thực hiện chương trình theo đặc tính tài liệu của môi trường (có hoặc không có thông báo chẩn đoán), để chấm dứt dịch thuật hoặc thực thi (với việc ban hành của một thông điệp chẩn đoán).
Bạn có thể làm gì để tránh chạy vào hành vi không xác định? Về cơ bản, bạn phải đọc những cuốn sách C ++ hay của những tác giả biết họ đang nói về cái gì. Vít hướng dẫn internet. Vít bullschildt.