C语言指定初始化器解析及其应用-阿里云开发者社区

开发者社区> 优惠券活动> 正文

C语言指定初始化器解析及其应用

简介:
+关注继续查看

C语言指定初始化器解析及其应用

指定初始化器的概念
C90 标准要求初始化程序中的元素以固定的顺序出现,与要初始化的数组或结构体中的元素顺序相同。但是在新标准 C99 中,增加了一个新的特性:指定初始化器。利用该特性可以初始化指定的数组或者结构体元素。

数组的指定初始化器#
一维数组的指定初始化器#
利用指定初始化器的特性,我们可以这样定义并初始化一个数组:

Copy
int a[6] = {[4] = 10,[2] = 25};
上述的初始化就等同于如下方式:

Copy
int a[6] = {0,0,25,0,10,0};
可以看到通过这种方式能够不按照顺序,且指定具体的元素进行初始化。
除了上述这样的用法,我们也能够初始化数组内一段范围内的用元素,比如这样:

Copy
int a[5] = {[4] = 10,[0 ... 3] = 23};
上面这段程序的初始化也就等同于如下初始化:

Copy
int a[5] = {23,23,23,23,10};
那如果数组初始化里有指定的元素初始化又有未指定的元素又是如何分析呢?比如这样:

Copy
int a[5] = {11,[3] = 44,55,[1] = 22,33};
那它等同于下面的代码:

Copy
int a[5] = {11,22,33,44,55};
如果定义数组时没有指定数组的大小,那么数组实际的大小又是多少呢?比如这样:

Copy
int main(void)
{

int number[] = {[20] = 1,[10] = 8,9};
int n = sizeof(number)/sizeof(number[0]);
printf("The Value of n is:%d\n",n);

}
输出结果是这样的:

Copy
The Value of n is:21
也就是说,如果未给出数组的大小,则最大的初始化位置确定数组的大小

二维数组的指定初始化器#
二维数组同样可以采用指定初始化器的方法,下面是一个二维数组的初始化:

Copy
int array2 =
{

[0] = {[0] = 11},
[1] = {[1] = 22},

};
这样的初始化也就等同于下述代码:

Copy
int array12 =
{

{11,00},
{00,22}

};
通过上述代码,我们也可以知道,二维数组的指定初始化器的方法中,第一个[]里的数字表示的是初始化的二维数组的行数,而在{}内的则是对当前行的元素进行初始化,实际也就是说{}内的初始化方法也就和一维数组的一样了,一维数组可行的方法,二维数组也是可行的。

应用#
在讲述了数组指定初始化器的基本概念之后,我们来看一个具体的例子,下面这个例子是基于状态机的编程方法实现的 ATM 机器,首先 ATM 具有如下几种状态;

我们就可以使用状态机的思路来编写这个程序,首先使用枚举的方式来定义各个状态和相应的操作:

Copy
typedef enum
{

Idle_State,
Card_Inserted_State,
Pin_Entered_State,
Option_Selected_State,
Amount_Entered_State,
last_State

}eSysyemState;

typedef enum
{

Card_Insert_Event,
Pin_Enter_Event,
Option_Selection_Event,
Amount_Enter_Event,
Amount_Dispatch_Event,
last_Event

}eSystemEvent;
然后是对应操作的具体实现:

Copy
eSysyemState AmountDispatchHandler(void)
{

return Idle_State;

}

eSysyemState EnterAmountHandler(void)
{

return Amount_Entered_State;

}

eSysyemState OptionSelectionHandler(void)
{

return Option_Selected_State;

}

eSysyemState InsertCardHandle(void)
{

return Card_Inserted_State;

}

eSysyemState EnterPinHandler(void)
{

return Pin_Entered_State;   

}
为了使得状态机的实现看起来不是那么的冗长,我们这里采用查表的方式,首先重定义一个函数指针二维数组类型:

Copy
typedef eSysyemState (* const afEventHandlerlast_State)(void);
简单说一个这是一个二维数组,二维数组里面存放的是函数指针,这个函数指针指向的是返回值为 eSysyemState,形参为 void 的函数。
在重定义了这个类型之后,我们就可以用其定义新的变量了,在这之前,补充一点数组相关的内容,比如有如下代码:

Copy
typedef int array[3];
array data;
那么上述代码也就等同于如下代码:

Copy
int data[3];
有了上述代码之后,我们就可以实现我们的查找表了,具体代码如下:

Copy

static afEventHandler StateMachine = 
{
    [Idle_State] = {[Card_Insert_Event] = InsertCardHandle},
    [Card_Inserted_State] = {[Pin_Enter_Event] = EnterPinHandler },
    [Pin_Entered_State] = {[Option_Selection_Event] = OptionSelectionHandler},
    [Option_Selected_State] = {[Amount_Entered_Event] = EnterAmountHandler},
    [Amount_Entered_State] = {[Amount_Dispatch_Event] = AmountDispatchHandler},
};

现在再来看到这个初始化的方法也就比较清楚了,这实际上也就是一个二维数组使用指定初始化器解析的方法,最后,也就是我们的状态机运行代码:

Copy

include

int main(void)
{

eSysyemState eNextState = Idle_State;
eSystemEvent eNewEvent;
while(1)
{
    eNewEvent = ReadEvent();
    /*省略相关判断*/
    eNextState = (*StateMachine[eNextState][eNewEvent])();
}
return 0;

}
结构体的指定初始化器#
定义了如下结构体:

Copy
struct point
{

int x,y;

}
那么对于结构体变量的初始化可以采用以下的方式:

Copy
struct point p =
{

.y = 2,
.x = 3

};
上述代码也就等价于如下代码:

Copy
struct point p = {3,2};
那这样的初始化有什么作用呢?下面是 linux 内核的一段代码:

Copy
const struct file_operations eeprom_fops =
{
.llseek = eeprom_lseek,
.read = eeprom_read,
.write = eeprom_write,
.open = eeprom_open,
.release = eeprom_close
};
上述就是通过指定初始化器的方法来进行初始化的,其中 file_operations 这个结构体中的成员有很多,上述初始化的成员只是其中一部分,

Copy
struct file_operations {

struct module *owner;
loff_t (*llseek) (struct file *, loff_t, int);
ssize_t (*read) (struct file *, char __user *, size_t, loff_t *);
ssize_t (*write) (struct file *, const char __user *, size_t, loff_t *);
int (*open) (struct inode *, struct file *);
int (*flush) (struct file *, fl_owner_t id);
int (*release) (struct inode *, struct file *);
/*还有很多,省略*/
}

采用这种指定初始化器的方法,使用灵活,而且代码易于维护。因为如果按照固定顺序赋值,当我们的 file_operations 结构体类型发生改变时,比如添加成员、减少成员、调整成员顺序,那么使用该结构体类型定义变量的大量 C 文件都需要重新调整初始化顺序,那将导致程序大幅度地更改。

结构体数组的指定初始化器#
在叙述了上面关于结构体和数组的指定初始化器之后,我们也可以以这种方式来来初始化结构体数组,比如这样:

Copy

include

int main(void)
{

struct point {int x,y;};
struct point pts[5] =
{
    [2].y = 5,
    [2].x = 6,
    [0].x = 2
};
int i;
for(i = 0;i < 5;i++)
    printf("%d %d\n",pts[i].x,pts[i].y);

}
输出结果如下:

Copy
2 0
0 0
6 5
0 0
0 0
总结
以上便是指定初始化器所包含的大致内容,这也是自己之前的知识盲点,通过这次总结学习,也能够很好的掌握了,不积跬步,无以至千里~

参考资料:
[1] https://blog.51cto.com/zhaixue/2346825
[2] https://www.geeksforgeeks.org/designated-initializers-c/
[3] https://aticleworld.com/state-machine-using-c/

作者: wenzid

出处:https://www.cnblogs.com/wenziw5/p/12792740.html

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
ACL 2019 接收论文榜单发布,我们做了可视化分析
自然语言处理领域顶级会议 ACL 将于 7 月 28 日至 8 月 2 日在意大利佛罗伦萨举行。今天,ACL 2019 官方网站公布了接收论文列表,机器之心对今年接收论文的关键词等信息进行了可视化分析。
6 0
Nsight中给工程添加include目录
Nsight中给工程添加include目录
5 0
LINUX用C检查文件的大小的代码
LINUX用C检查文件的大小的代码
4 0
LINUX下使用scp命令与其他机器远程交换文件
LINUX下使用scp命令与其他机器远程交换文件
5 0
现实版「柯南变声器」来了,搜狗变声让你声音随心变
声音秒变志玲姐姐,秒变「矮大紧」,秒变萝莉、正太,现在通通不是问题!
5 0
码出高效:Java开发手册-第2章(5)
本章开始讲解面向对象思想,并以Java 为载体讲述面向对象思想在具体编程语言中的运用与实践。当前主流的编程语言有50 种左右,主要分为两大阵营:面向对象编程与面向过程编程。面向对象编程(Object-Oriented Programming,OOP)是划时代的编程思想变革,推动了高级语言的快速发展和工业化进程。OOP 的抽象、封装、继承、多态的理念使软件大规模化成为可能,有效地降低了软件开发成本、维护成本和复用成本。面向对象编程思想完全不同于传统的面向过程编程思想,使大型软件的开发就像搭积木一样隔离可控、高效简单,是当今编程领域的一股势不可......
6 0
Redis集群环境Ruby必须版本2.2以上解决
Redis集群环境Ruby必须版本2.2以上解决
3 0
LINUX SHELL 中if的使用
LINUX SHELL 中if的使用
5 0
阿里云服务器是如何计费的?包年包月按量付费抢占式实例适用于什么场景?
阿里云服务器是如何计费的?本文通过介绍包年包月、按量付费、抢占式实例三种收费模式的计费方式、适用资源和费用计算,来告知我们阿里云服务器不同的收费方式分别适用于什么场景?
3 0
LINUX下使用iostat查看硬盘读写情况
LINUX下使用iostat查看硬盘读写情况
4 0
+关注
优惠券活动
阿里云优惠码阿里云推荐券bieryun.com
311
文章
9
问答
文章排行榜
最热
最新
相关电子书
更多
文娱运维技术
立即下载
《SaaS模式云原生数据仓库应用场景实践》
立即下载
《看见新力量:二》电子书
立即下载