我所忽略的c 语言标准

1.表达式中有无符号数和有符号数混用的时候

 

先看一个例子：

int main(void)

{

unsigned int a = 6;

int                 b = -20

return (a+b) > 0 ? 1 : 0;

 

}

 

echo $ 的结果是 1。

首先这两个数在内存中都是以补码形式存储的，

 

以上面的例子分别为0xffffffec  , 0x6。相加后的值也很明显等于fffffff2

可以看一下gcc中反汇编：

0: 8d 4c 24 04 lea 0x4(%esp),%ecx 4: 83 e4 f0 and $0xfffffff0,%esp 7: ff 71 fc pushl -0x4(%ecx) a: 55 push %ebp b: 89 e5 mov %esp,%ebp d: 51 push %ecx e: 83 ec 24 sub $0x24,%esp 11: c7 45 f8 06 00 00 00 movl $0x6,-0x8(%ebp) 18: c7 45 f4 ec ff ff ff movl $0xffffffec,-0xc(%ebp) 1f: 8b 45 f4 mov -0xc(%ebp),%eax 22: 03 45 f8 add -0x8(%ebp),%eax ;0xffffffec + 0x6->%eax 25: 85 c0 test %eax,%eax 27: 0f 95 c0 setne %al 2a: 0f b6 c0 movzbl %al,%eax 2d: 89 45 f0 mov %eax,-0x10(%ebp) 30: 8b 45 f0 mov -0x10(%ebp),%eax 33: 89 44 24 04 mov %eax,0x4(%esp) 37: c7 04 24 00 00 00 00 movl $0x0,(%esp) 3e: e8 fc ff ff ff call 3f <main+0x3f> 43: b8 00 00 00 00 mov $0x0,%eax 48: 83 c4 24 add $0x24,%esp 4b: 59 pop %ecx 4c: 5d pop %ebp 4d: 8d 61 fc lea -0x4(%ecx),%esp 50: c3 ret  

 

但是关键对a+b这个add操作后，编译器对结果的解释 ，在这里很不幸，被解释成unsigned int。因为在c语言中，当有符号数

和无符号数在同一个表达式的时候，有符号数被解释成无符号数。而且a+b > 0这个操作（当然0是无符号的（默认)）。

所以这种写法很不好的。最好避免有同一个表达式中同时出现有符号数和无符号数。

表达式求值：

 

隐式类型转换

c的整型算术运算总是至少以整型类型的精度来进行的。为了获得这个精度，表达式中的字符型和短整型操作数在使用之前被转换为普通整型，这种转换称为“整型提升”。

 

算术转换

当两个操作数属于不同的类型，那么除非其中一个操作数转换为另外一个操作数的类型，否则操作无法进行。

下面的层次体系----称为寻常算术转换

long double 

double

float 

unsigned long int

long int

unsigned int

int

如果操作数的类型在上面这个列表中排名较低，那么它首先将转换为另外一个操作数的类型然后执行操作。（自己的理解，排名是根据类型表示的数据的个数（范围的大小)来决定的。

 

 

 

2.标准c的标记化初始化语法

 

在linux设备驱动程序看到的一种标准：
 struct file_operations scull_fops ={

.owner = THIS_MODULE,

.llseek  =  scull_read,

.write   = scull_write,

.ioctl    = scull_ioctl,

.open   =  scull_open,

.release = scull_release

};

 

这种写法是很值得采用的，因为它使驱动程序在结构的定义发生变化时更具可移植性，并且使得代码更加紧凑且易读。而且标记化的初始化方法允许对结构成员进行重新排列。

当然是Iso c99的标准。

比起传统的初始化办法：scull_fops= {THIS_MODULE, scull_read, scull_write, scull_iotcl, scull_open, scull_release};有很明显的好处。

 

3-14日

 

sig_atomic_t类型，由 iso c标准定义的变量类型，在写这种类型的变量时，不会被中断(不会有缺页中断发生）。它意味着在具有虚拟存储器的系统上这种变量不会跨越页边界，可以用一条机器指令对其进行访问。

而且在使用的时候，前面加上volatile

 

如 volatile sig_atomic_t quitflag;