C99: Có thể xác định chính xác nếu hai con trỏ trỏ vào cùng một tổng hợp không?

Question

Trong c99, sự hiểu biết của tôi là so sánh hai con trỏ không trỏ trong cùng một kết quả tổng hợp trong hành vi không xác định. Cho một tổng hợp A, một con trỏ p_good được biết là chỉ trong A, và một con trỏ p_unknown có thể hoặc không thể trỏ trong A, có thể xây dựng một thử nghiệm di động với hành vi đã xác định xem có an toàn để so sánh p_good hay không p_unknown?

Rõ ràng, kiểm tra này không thể tự mình rơi vào các hạn chế về so sánh con trỏ.

Tôi nghi ngờ câu trả lời là 'không', nhưng tôi rất sẵn lòng được hiển thị theo cách khác.

Answer 1

Bạn nhận xét:

Một cách khác để đóng khung câu hỏi sẽ được như thế này: Căn cứ vào định nghĩa của một tổng hợp 'A' và một con trỏ p, là nó có thể trả lời câu hỏi 'không p điểm trong vòng A 'mà không vi phạm quy tắc về kiểm tra bất bình đẳng của con trỏ đến các tập hợp khác nhau

Cách duy nhất tôi có thể giải thích điều này có nghĩa là bạn có đối tượng kiểu Aggregate type hoặc con trỏ đến một. Thì câu trả lời rất đơn giản:

Pseudo-code:

bool p_in_A = false; 
for (each element in Aggregate A) 
    if (&element == p) 
     p_in_A = true; 

Không có cách nào để nói cho dù một con trỏ đi lạc thuộc về một đối tượng tổng hợp chưa biết (hoặc điểm "giữa" các yếu tố trong một tổng hợp).