0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

C语言开发中可能会用到的GNU

Q4MP_gh_c472c21 来源:开源博客 作者:-_-struggle 2021-11-17 10:41 次阅读

为了方便使用,GNU C在标准C语言的基础上进行了部分方便开发的扩展。

这里讲解一些开发中可能会用到的,或者使用频率比较高的内容。

零长度数组和变量长度数组

GNU C 允许使用零长度数组,比如:

char data[0];

GNU C 允许使用一个变量定义数组的长度如:

int n=0;
scanf("%d",&n);
int array[n];

case 范围

GNU C支持 case x...y这样的语法,[x,y]之间数均满足条件。

case 'a'...'z':  /*from 'a' to 'z'*/
break;

语句表达式


GNU C 把包含在括号中的复合语句看作是一个表达式,称为语句表达式。

 #define min_t(type,x,y)
         ({type __x=(x); type __y=(y);__x<__y?__x:__y;})

这种写法可以避免:

 #define min_t(x,y) ((x)<(y)?(x):(y))

在min_t(x++,++y)中出现的副作用。

typeof 关键字

typeof(x)可以获得x的类型借助typeof关键字我们可以重新定义min_t:

#define min_t(x,y)
    ({typeof(x) __x=(x); typeof(y) __y=(y);__x<__y?__x:__y;})

可变参数宏

GNU C中宏也支持可变参数:

#define pr_debug(fmt,arg...) 
        printk(fmt,##arg)

这里,如果可变参数被忽略或为空,“##”操作将使预处理器去掉它前面的那个逗号。如果你在宏调用时,确实提供了一些可变参数,GNU C也会工作正常,它会把这些可变参数放到逗号的后面。

标号元素

标准C要求数组或结构体的初始化值必须以固定的顺序出现,在GNU C中,通过指定索引或结构体成员名,允许初始化以任意顺序出现。

unsigned char data[MAX] =
{
         [0]=10,
         [10]=100,
};


struct file_operations ext2_file_operations=
{
        open:ext2_open,
        close:ext2_close,
};

linux 2.6中推荐如下方式:

struct file_operations ext2_file_operations=
{
     .read=ext2_read,
     .write=ext2_write,
};

当前函数名

GNU C中预定义两个标志符保存当前函数的名字,__ FUNCTION __ 保存函数在源码中的名字, __ PRETTY__ FUNCTION __保存带语言特色的名字。在C函数中这两个名字是相同的。

void func_example()
{
     printf("the function name is %s",__FUNCTION__);
}

在C99中支持__ func __ 宏,因此建议使用 __ func __ 替代 __ FUNCTION __ 。

特殊属性声明

GNU C 允许声明函数、变量和类型的特殊属性,以便进行手工的代码优化和定制。如果要指定一个属性声明,只需要在声明后添加__ attribute __((ATTRIBUTE))。其中ATTRIBUTE为属性说明,如果存在多个属性,则以逗号分隔。GNU C 支持noreturn,noinline, always_inline, pure, const, nothrow, format, format_arg, no_instrument_function, section, constructor, destructor, used, unused, deprecated, weak, malloc, alias warn_unused_result nonnull等十个属性。

noreturn属性作用于函数,表示该函数从不返回。这会让编译器优化代码并消除不必要的警告信息。例如:

#define ATTRIB_NORET __attribute__((noreturn)) ....
asmlinkage NORET_TYPE void do_exit(long error_code) ATTRIB_NORET;

packed属性作用于变量和类型,用于变量或结构域时,表示使用最小可能的对齐,用于枚举、结构或联合类型时表示该类型使用最小的内存。如对于结构体,就是它告诉编译器取消结构在编译过程中的优化对齐,按照实际占用字节数进行对齐。例如:

struct example_struct
{
         char a;
         int b;
         long c;
} __attribute__((packed));

regparm属性用于指定最多可以使用n个寄存器(eax, edx, ecx)传递参数,n的范围是0~3,超过n时则将参数压入栈中(n=0表示不用寄存器传递参数)。

注意:以上这些属性都是在X86处理器体系结构下的,在X64体系结构下,大部分内容都是同样有效的。但是,这里要注意regparm属性,由于在X64体系结构下,GUN C的默认调用约定使用寄存器传递参数。所以,如果regparm属性里使用的寄存器个数超过3个,也仍然会使用其他寄存器来传递参数。这一点要遵循X64体系结构的调用约定。

下面可以看一个例子:

int q = 0x5a;
int t1 = 1;
int t2 = 2;
int t3 = 3;
int t4 = 4;
#define REGPARM3 __attribute((regparm(3)))
#define REGPARM0 __attribute((regparm(0)))
void REGPARM0 p1(int a)
{
     q = a + 1;
}


void REGPARM3 p2(int a, int b, int c, int d)
{
     q = a + b + c + d + 1;
}


int main()
{
    p1(t1);
    p2(t1,t2,t3,t4);
    return 0;
}

使用objdump命令反汇编,相关命令如下:

objdump -D 可执行程序

其中-D选项用于反汇编所有的程序段,包括:代码段、数据段、只读数据段以及一些系统段等等。而-d命令只反汇编代码段的内容。

反汇编后的关键代码如下:

Disassembly of section .text:
0000000000400474 :
  400474:    55                       push   %rbp
  400475:    48 89 e5                 mov    %rsp,%rbp
  400478:    89 7d fc                 mov    %edi,-0x4(%rbp)
  40047b:    8b 45 fc                 mov    -0x4(%rbp),%eax
  40047e:    83 c0 01                 add    $0x1,%eax
  400481:    89 05 3d 04 20 00        mov    %eax,0x20043d(%rip)        # 6008c4 
  400487:    c9                       leaveq 
  400488:    c3                       retq   


0000000000400489 :
  400489:    55                       push   %rbp
  40048a:    48 89 e5                 mov    %rsp,%rbp
  40048d:    89 7d fc                 mov    %edi,-0x4(%rbp)
  400490:    89 75 f8                 mov    %esi,-0x8(%rbp)
  400493:    89 55 f4                 mov    %edx,-0xc(%rbp)
  400496:    89 4d f0                 mov    %ecx,-0x10(%rbp)
  400499:    8b 45 f8                 mov    -0x8(%rbp),%eax
  40049c:    8b 55 fc                 mov    -0x4(%rbp),%edx
  40049f:    8d 04 02                 lea    (%rdx,%rax,1),%eax
  4004a2:    03 45 f4                 add    -0xc(%rbp),%eax
  4004a5:    03 45 f0                 add    -0x10(%rbp),%eax
  4004a8:    83 c0 01                 add    $0x1,%eax
  4004ab:    89 05 13 04 20 00        mov    %eax,0x200413(%rip)        # 6008c4 
  4004b1:    c9                       leaveq 
  4004b2:    c3                       retq   


00000000004004b3 
: 4004b3: 55 push %rbp 4004b4: 48 89 e5 mov %rsp,%rbp 4004b7: 53 push %rbx 4004b8: 8b 05 0a 04 20 00 mov 0x20040a(%rip),%eax # 6008c8 4004be: 89 c7 mov %eax,%edi 4004c0: e8 af ff ff ff callq 400474 4004c5: 8b 0d 09 04 20 00 mov 0x200409(%rip),%ecx # 6008d4 4004cb: 8b 15 ff 03 20 00 mov 0x2003ff(%rip),%edx # 6008d0 4004d1: 8b 1d f5 03 20 00 mov 0x2003f5(%rip),%ebx # 6008cc 4004d7: 8b 05 eb 03 20 00 mov 0x2003eb(%rip),%eax # 6008c8 4004dd: 89 de mov %ebx,%esi 4004df: 89 c7 mov %eax,%edi 4004e1: e8 a3 ff ff ff callq 400489 4004e6: b8 00 00 00 00 mov $0x0,%eax 4004eb: 5b pop %rbx 4004ec: c9 leaveq 4004ed: c3 retq 4004ee: 90 nop 4004ef: 90 nop Disassembly of section .data: 00000000006008c0 <__data_start>: 6008c0: 00 00 add %al,(%rax) ... 00000000006008c4 : 6008c4: 5a pop %rdx 6008c5: 00 00 add %al,(%rax) ... 00000000006008c8 : 6008c8: 01 00 add %eax,(%rax) ... 00000000006008cc : 6008cc: 02 00 add (%rax),%al ... 00000000006008d0 : 6008d0: 03 00 add (%rax),%eax ... 00000000006008d4 : 6008d4: 04 00 add $0x0,%al ...

如果读者还记得2.2.3节中,关于GCC基于X64体系结构的调用约定的话,那就很容易可以看出,函数p1和p2都使用寄存器传递参数,顺序就是RDI, RSI, RDX, RCX,这些细节已经跟regparm的规定完全不一致了。所以,在这里作者觉得,regparm已经不起作用了。

来源:https://my.oschina.net/LinuxDaxingxing/blog/751319
责任编辑:haq
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • C语言
    +关注

    关注

    180

    文章

    7597

    浏览量

    136114
  • GNU
    GNU
    +关注

    关注

    0

    文章

    143

    浏览量

    17475

原文标题:你知道GNU C对C语言的扩展吗?

文章出处:【微信号:gh_c472c2199c88,微信公众号:嵌入式微处理器】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    MCU编程语言开发环境介绍

    微控制器单元(Microcontroller Unit,简称MCU)是嵌入式系统的核心,广泛应用于各种电子产品。随着技术的发展,MCU编程语言开发环境也在不断进步,以适应不同的应用需求。 1.
    的头像 发表于 11-01 11:51 456次阅读

    GNU构建裸机系统

    基于AT91SAM7S平台,介绍裸机开发,以闪灯为蓝本,涉及汇编、链接、C/C++、中断等。   无处不在的ARM处理器家族得到了GNU C
    发表于 10-16 17:34 0次下载

    上位机软件开发用什么语言

    维护的上位机软件至关重要。本文将详细介绍几种常用的上位机软件开发编程语言,并分析它们的优缺点。 C/C++ C
    的头像 发表于 06-06 10:44 1441次阅读

    嵌入式C语言结构体基本实现

    C语言中的数组只能允许程序员定义存储相同类型数据。但是结构是C语言编程中允许您存储不同数据类型的数据。 结构体的定义     要想定义结构,必须用到
    的头像 发表于 05-11 08:49 932次阅读
    嵌入式<b class='flag-5'>中</b><b class='flag-5'>C</b><b class='flag-5'>语言</b>结构体基本实现

    C语言:嵌入式开发的关键编译器角色

    嵌入式程序开发跟硬件密切相关,需要使用C语言来读写底层寄存器、存取数据、控制硬件等,C语言和硬件之间由编译器来联系,一些
    发表于 04-26 14:53 540次阅读
    <b class='flag-5'>C</b><b class='flag-5'>语言</b>:嵌入式<b class='flag-5'>开发</b><b class='flag-5'>中</b>的关键编译器角色

    帮你避雷 C语言所谓的短路现象~

    C语言短路现象算是C语言的基础吧,不过有时候代码写得不规范也容易引入一些bug,所以这些操作在工程师实践尽量少用。虽然下面找的例子比较简单
    的头像 发表于 03-27 08:09 390次阅读
    帮你避雷 <b class='flag-5'>C</b><b class='flag-5'>语言</b>所谓的短路现象~

    plc编程语言c语言的联系 c语言和PLC有什么区别

    PLC编程语言C语言的联系 PLC(可编程逻辑控制器)是一种针对自动化控制系统的特殊计算机。PLC编程语言是为了控制和管理自动化生产过程
    的头像 发表于 02-05 14:21 3837次阅读

    c语言,c++,java,python区别

    C语言C++、Java和Python是四种常见的编程语言,各有优点和特点。 C语言
    的头像 发表于 02-05 14:11 2214次阅读

    vb语言c++语言的区别

    Microsoft开发的一种面向对象的事件驱动编程语言。它的设计目标是简化编程过程,让初学者也能快速上手。与之相比,C++语言是一种通用的、面向对象的编程
    的头像 发表于 02-01 10:20 2040次阅读

    C语言C++那些不同的地方

    ++11标准。根据不同的标准,它们的功能也会有所不同,但是越新的版本支持的编译器越少,所以本文在讨论的时候使用的C语言标准是C89,C++标准是C
    的头像 发表于 12-07 14:29 902次阅读
    <b class='flag-5'>C</b><b class='flag-5'>语言</b>和<b class='flag-5'>C</b>++<b class='flag-5'>中</b>那些不同的地方

    常用的c语言开发环境有哪些

    C语言是一种广泛应用于系统编程、嵌入式开发和科学计算等领域的高级编程语言。为了能够高效地开发C
    的头像 发表于 11-27 16:14 5611次阅读

    C语言运行环境是什么

    C语言运行环境(C language runtime environment)是指在执行C语言程序时所需的软件及硬件环境。
    的头像 发表于 11-27 16:13 3331次阅读

    visualc++怎么新建c语言文件

    Visual C++ 是一个集成开发环境(IDE),用于开发 CC++ 程序。在 Visual C
    的头像 发表于 11-27 15:57 3551次阅读

    嵌入式C语言的结构特点

    嵌入式开发既有底层硬件的开发又涉及上层应用的开发,即涉及系统的硬件和软件,C语言既具有汇编
    的头像 发表于 11-24 16:16 637次阅读
    嵌入式<b class='flag-5'>C</b><b class='flag-5'>语言</b>的结构特点

    \0在c语言中怎么用

    是由贝尔实验室的Dennis Ritchie为了开发UNIX操作系统而设计的。它在20世纪70年代初首次出现,并迅速流行起来。C语言以其简洁、高效、低级别的特性成为了广泛使用的编程语言
    的头像 发表于 11-24 09:59 3002次阅读