Một con trỏ đến một loại không đầy đủ có thể không đầy đủ?

Có thể int (*)[]là một loại không đầy đủ?

C 2018 6.2.5 1 nói:

Tại các điểm khác nhau trong một đơn vị dịch thuật, một loại đối tượng có thể không đầy đủ (thiếu thông tin đầy đủ để xác định kích thước của các đối tượng của loại đó) hoặc đầy đủ (có đủ thông tin).

Do đó, dường như nếu kích thước của một loại được biết đến, loại đã hoàn thành. 6.2.6.1 28 chỉ định rằng một số loại con trỏ nhất định phải có cùng kích thước (con trỏ tới voidvà ký tự, con trỏ tới loại tương thích, con trỏ tới cấu trúc và con trỏ tới kết hợp), nhưng con trỏ tới các loại khác có thể khác nhau.

Trong một triển khai C trong đó tất cả các con trỏ hoặc tất cả các con trỏ tới các mảng intđều có cùng kích thước, thì kích thước int (*)[]được biết đến, vì vậy nó sẽ hoàn thành. Trong một triển khai, giả sử, sử dụng các con trỏ khác nhau cho các mảng lớn, kích thước sẽ không được biết đến, vì vậy nó không đầy đủ.

Như MM chỉ ra , cấu trúc không được chứa thành viên có loại không hoàn chỉnh, ngoại trừ thành viên mảng linh hoạt cuối cùng, theo một ràng buộc trong 6.7.2.1 3. Điều này cho thấy rằng việc triển khai với một kích thước con trỏ phải chấp nhận struct { int (*p)[]; }trong khi việc triển khai có khác kích thước cho các mảng như vậy phải chẩn đoán vi phạm ràng buộc. (Điều này có nghĩa là một tuyên bố như vậy không phải là một phần của việc tuân thủ nghiêm ngặt C.)

Một mảng có kích thước không xác định là không đầy đủ:

Một kiểu mảng có kích thước không xác định là một kiểu không đầy đủ. Nó được hoàn thành, đối với một định danh loại đó, bằng cách chỉ định kích thước trong một khai báo sau (với liên kết bên trong hoặc bên ngoài).

int (*)[]Tuy nhiên, loại không đầy đủ: Đó là một con trỏ của một mảng có intkích thước không xác định.
Và một con trỏ có kích thước nổi tiếng:

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

6.2.5 / 23: Một loại có kích thước không đổi đã biết nếu loại không đầy đủ và không phải là loại mảng có chiều dài thay đổi.

Hơn nữa, bạn thậm chí có thể hủy đăng ký nó, nhờ vào ngữ nghĩa mảng:

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");

Biên tập

Ngoài ra, một con trỏ luôn là một loại hoàn chỉnh. Nó được viết màu đen trên nền trắng trong 6.2.5 / 20:

Một loại con trỏ có thể được bắt nguồn từ một loại chức năng hoặc một loại đối tượng, được gọi là loại tham chiếu. Một loại con trỏ mô tả một đối tượng có giá trị cung cấp một tham chiếu đến một thực thể của loại được tham chiếu. Một loại con trỏ xuất phát từ loại T được tham chiếu đôi khi được gọi là '' con trỏ tới T ''. Việc xây dựng một loại con trỏ từ một loại tham chiếu được gọi là '' dẫn xuất loại con trỏ ''. Một loại con trỏ là một loại đối tượng hoàn chỉnh.