Các lỗi truy cập đặc tính (tiếp tục)
Các quy tắc cái chỉ ra khi nào một phép gán đặc tính thành công và khi nào nó thất bại là trực giác nhưng là khó
để thể hiện ngắn gọn. Một thử để thiết lập một đặc tính p của một object o thất bại trong các hoàn cảnh này:
+ o có một đặc tính bản thân p cái là chỉ đọc: nó là không thể để thiết lập các đặc tính chỉ đọc
+ o có một đặc tính kế thừa p cái là chỉ đọc: nó là không thể để che giấu một đặc tính chỉ đọc kế thừa với một
đặc tính bản thân với cùng tên.
+ o không có một đặc tính bản thân; o không kế thừa một đặc tính p với một phương thức setter, và thuộc tính
mở rộng của o (xem các học phần sau) là false. Vì p đã không tồn tại trong o, và nếu không có phương thức setter
để gọi, thì p phải được thêm vào o. Nhưng nếu o là không mở rộng được, thì không các đặc tính mới có thể được định
nghĩa trên nó.