ตัวชี้ไปยังชนิดที่ไม่สมบูรณ์สามารถไม่สมบูรณ์ได้หรือไม่?

สามารถint (*)[]จะเป็นประเภทที่ไม่สมบูรณ์?

C 2018 6.2.5 1 พูดว่า:

ณ จุดต่าง ๆ ภายในหน่วยการแปลประเภทของวัตถุอาจไม่สมบูรณ์ (ขาดข้อมูลเพียงพอที่จะกำหนดขนาดของวัตถุประเภทนั้น) หรือสมบูรณ์ (มีข้อมูลเพียงพอ)

ดังนั้นจึงดูเหมือนว่าถ้าขนาดของประเภทเป็นที่รู้จักประเภทจะเสร็จสมบูรณ์ 6.2.6.1 28 ระบุว่าพอยน์เตอร์บางประเภทต้องมีขนาดเท่ากัน (พอยน์เตอร์voidและตัวอักษร, พอยน์เตอร์ไปยังประเภทที่เข้ากันได้, พอยน์เตอร์ไปยังโครงสร้างและพอยน์เตอร์เป็นสหภาพ) แต่พอยน์เตอร์

ในการนำ C ไปใช้งานที่ตัวชี้ทั้งหมดหรือตัวชี้ทั้งหมดไปยังอาร์เรย์intมีขนาดเท่ากันแล้วขนาดint (*)[]เป็นที่รู้จักดังนั้นจึงจะสมบูรณ์ ในการใช้งานที่กล่าวว่าใช้ตัวชี้ที่แตกต่างกันสำหรับอาร์เรย์ขนาดใหญ่ขนาดจะไม่เป็นที่รู้จักดังนั้นจึงไม่สมบูรณ์

เมื่อMM ชี้ให้เห็นโครงสร้างจะต้องไม่มีสมาชิกที่มีชนิดไม่สมบูรณ์ยกเว้นสมาชิกอาร์เรย์สุดท้ายที่ยืดหยุ่นตามข้อ จำกัด ใน 6.7.2.1 3. สิ่งนี้ชี้ให้เห็นว่าการนำไปปฏิบัติที่มีพอยน์เตอร์ขนาดเดียวต้องยอมรับstruct { int (*p)[]; }ในขณะที่การนำไปใช้ที่แตกต่างกัน ขนาดสำหรับอาร์เรย์ดังกล่าวจะต้องวินิจฉัยการละเมิดข้อ จำกัด (นี่หมายความว่าคำประกาศดังกล่าวไม่ได้เป็นส่วนหนึ่งของการปฏิบัติตามค. อย่างเคร่งครัด)

อาร์เรย์ที่มีขนาดที่ไม่รู้จักไม่สมบูรณ์:

ประเภทอาร์เรย์ที่มีขนาดที่ไม่รู้จักเป็นประเภทที่ไม่สมบูรณ์ เสร็จสิ้นสำหรับตัวระบุชนิดนั้นโดยการระบุขนาดในการประกาศในภายหลัง (พร้อมการเชื่อมโยงภายในหรือภายนอก)

int (*)[]อย่างไรก็ตามประเภทนี้ไม่สมบูรณ์: เป็นตัวชี้ของintขนาดที่ไม่รู้จัก
และตัวชี้มีขนาดที่รู้จักกันดี:

printf ("Size %d\n", sizeof(int (*)[]));

6.2.5 / 23: ชนิดมีขนาดคงที่ที่รู้จักถ้าชนิดไม่สมบูรณ์และไม่ใช่ประเภทอาร์เรย์ความยาวผันแปร

นอกจากนี้คุณยังสามารถอ่านมันได้ด้วยความหมายของอาเรย์:

typedef int (*T)[];
...
int a[10];
for (int i=0; i<10; i++) a[i]=i;
T p=a;
for (int i=0; i<10; i++) printf ("%d ",(*p)[i]);
printf ("\n");

แก้ไข

นอกจากนี้ตัวชี้จะเป็นประเภทที่สมบูรณ์เสมอ มันเขียนด้วยสีดำบนพื้นขาวใน 6.2.5 / 20:

ประเภทตัวชี้อาจได้มาจากประเภทฟังก์ชั่นหรือประเภทวัตถุที่เรียกว่าประเภทอ้างอิง ประเภทตัวชี้อธิบายวัตถุที่มีค่าให้การอ้างอิงไปยังเอนทิตีของประเภทอ้างอิง ชนิดตัวชี้ที่ได้มาจากชนิดที่อ้างอิง T บางครั้งเรียกว่า '' ตัวชี้ไปยัง T '' การสร้างประเภทตัวชี้จากประเภทที่อ้างอิงนั้นเรียกว่า '' pointer type pointer '' ประเภทตัวชี้เป็นประเภทวัตถุที่สมบูรณ์