这些小活动你都参加了吗?快来围观一下吧!>>
电子产品世界 » 论坛首页 » 综合技术 » 基础知识 » C语言中的不完整类型

共6条 1/1 1 跳转至

C语言中的不完整类型

高工
2023-02-17 17:56:06     打赏
前述

C语言中存在这样一种类型,名叫不完整类型(Incomplete types),虽然我们可能不太理解,或许也没有仔细研究过,但是在实际的编程中,我们却已经用到过很多次了。

接下来,我们就来学习一下,内容比较简单,一看就懂,一学就会。

不完整类型

不完整类型(Incomplete types)是缺少足够信息来确定该类型对象大小的对象类型,不完整类型可以在翻译单元的某些点完整。

听起来可能比较绕口,简单来说就是,不完整类型是不知道对象所占空间大小,此时是无法使用sizeof()的。但是可以通过后续再补充完整。

不完整类型主要有下面三种。

已声明但未定义的类类型

内容未知的结构体或联合体类型。在同一作用域的后面,定义同一结构体或联合体的内容的声明能使之完整。

struct node {
  struct node *next; // struct node 在此点不完整
}; // struct node 在此点完整
未知边界数组

简单来说就是大小未知的数组,之后指定大小的声明能使之完整,接下来看一个示例。

#include<stdio.h>

extern int a[];  //此时a类型为int []是不完整类型

void fun1() {
  printf("sizeof a = %d\r\n", sizeof(a)); // error
  a[0] = 88;  //OK
}

int a[3] = {1,2,3};  //此时a类型为int [3]是完整类型

void fun2() {
  printf("sizeof a = %d\r\n", sizeof(a));  //OK
  a[0] = 3;  //OK
}

int main(int argc ,char **argv) {
  fun1();
  fun2();
  return 0;
}

如果在fun1函数中打印数组a的长度编译时就会报如下错误:

invalid application of 'sizeof' to incomplete type 'int[]'

因为此时a为不完整类型,即不知道a的长度,所以无法使用sizeof。

但有的小伙伴却有疑问了,为什么在fun1函数中却可以设置a[0]的值?

虽然这里使用了数组a,但是它会被转换成指向其首元素的指针,而且这个转换并不需要知道数组的大小。

而且C语言也不会检查数组是否越界,他选择相信程序员,把重心放在了程序的执行效率上,这也是为什么C语言执行效率高运行快的原因。

感兴趣的可以参考:为什么C语言执行效率高,运行快?

其实在外部声明的时候可以完整声明,例如上述示例我可以改为:extern int a[3];

此时在编译程序fun1就不会有编译报错提示了。

因为数组元素不能具有未知边界数组类型,所以多维数组只能在第一个维度中有未知边界:

extern int a[][2]; // OK:边界未知的含有【2 个 int 元素的数组】元素的数组
extern int b[2][]; // error:数组有不完整类型
void 类型

可由 CV 限定,有别于其他不完整类型, void 不能补充声明为完整类型。

总结

不完整类型有三种:

  1. void类型(不能被完整)
  2. 数组长度未知(可被完整)
  3. 已声明但未定义的类类型(可被完整)





关键词: C语言     不完整类型    

专家
2023-02-17 19:35:59     打赏
2楼

感谢分享


工程师
2023-02-17 19:50:12     打赏
3楼

谢谢分享


工程师
2023-02-17 19:53:22     打赏
4楼

学习到了


工程师
2023-02-17 20:01:28     打赏
5楼

谢谢楼主分享


工程师
2023-02-17 20:10:44     打赏
6楼

谢谢楼主分享


共6条 1/1 1 跳转至

回复

匿名不能发帖!请先 [ 登陆 注册 ]