C99: İki işaretçinin aynı topluluğa işaret edip etmediğini portatif olarak belirlemek mümkün mü?

Question

c99'da benim anlayışım, aynı topluluğa işaret etmeyen iki işaretçiyi karşılaştırmanın tanımlanmamış bir davranışla sonuçlanmasıdır. A agregasına bakıldığında, A içinde işaret ettiği bir işaretçi p_good ve A içinde bulunabilecek veya göstermeyebilecek bir işaretçi p_unknown, p_good ile karşılaştırmanın güvenli olup olmadığını belirleyen tanımlanmış bir davranış ile taşınabilir bir test yapmak mümkündür. p_unknown? Açıkça, bu test, işaretçilerin karşılaştırılmasında kısıtlamaların kendiliğinden geri çekilemeyeceği açıktır.

Cevabın 'hayır' olduğundan şüpheleniyorum, aksi halde gösterilmekten mutluluk duyarım.

Answer 1

Sen yorumladı:

böyleolacağını soru çerçeveye bir başka yolu: Bir agreganın 'A' ve işaretçi p tanımı göz önüne alındığında, soruyu 'cevap vermek mümkündür içinde p noktasını yapar A' farklı agrega

Bunu yorumlamak tek yolu için işaretçiler eşitsizlik testinde kuralını ihlal etmeden anlamlı türe Aggregate type bir nesne ya da birine bir işaretçi var ya olmasıdır. Sonra Cevap basit:

Sözde kod: Başıboş işaretçi bilinmeyen bir agrega nesneye ait (ya bir toplu elemanlar "arasında" puan) olup olmadığını söylemek için bir yolu yoktur

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

olduğunu.