C专家编程摘录

  • c操作符的优先级

有时一些c操作符有时并不会像你想象的那样工作。

下方表格将说明这个问题:

优先级问题 表达式 期望的情况 实际情况
. 优先级高于* *p.f (*p).f *(p.f)
[ ]优先级高于* int *ap[ ] int (*ap)[ ] int *(ap[ ])
函数()优先级高于* int *fp() int (*fp)(), fp是 int型函数的指针 int *(fp( )),fp是返回int型指针的函数
==和!=优先级高于位操作 (val & mask != 0) (val &mask) != 0 val & (mask != 0)
==和!=优先级高于= c=getchar() != EOF (c=getchar()) != EOF c=(getchar() != EOF)
算数运算符高于位移运算符 msb << 4 + lsb (msb << 4) + lsb msb << (4 + lsb)
, 优先级最低 i = 1,2; i = (1,2); (i = 1),2;

对于上表做出补充:

1.表中第二条。指向数组的指针(ptr to array of ints)和指针数组(array of ptrs-to-int)的区别.

指向数组的指针可以认为是二维数组,即int (*ap)[ ] 等价于 int ap[ ][ ].ap指针及每个ap(即ap+i)偏移指针指向一个一维数组(一串数)。

而指针数组是由连续多个int指针组成的数组,每个数组元素指向一个int 变量。

对于指针数组要多提一点,虽然声明一个指针数组并不会被编译器报错,但是这是不安全的。 首先考虑这样一种情况,声明一个int 数组

int Na[5];

Na数组中的5个值都是随机值。当数组元素为指针时,情况也是相同的,即申请了一堆野指针。这将会导致运行时错误。

实测图:



可以看到,a[1]是一个空指针(nil),当用户使用这个指针指向的内存时,将会导致程序异常终止。

2. 一个非常妥善的对策是使用小括号将表达式包含起来(小括号优先级很高)。

  • c操作符的结合性

每个操作符都有优先级和“左”或“右”的结合性。当操作符优先级不同时,求值顺序取决于操作符优先级,而当操作符优先级相同时,这时将使用结合性。

1.除“位与”和“位或”外的所有操作符都遵守从右到左的结合性。(前者从左到右)

2.结合性目的在于表达式中操作符优先级相同情况下给出标准的运算顺序。

3.当操作符的优先级和结合性组合情况较为复杂时,可以采用拆分表达式或者使用小括号。

eg:

int a,b=1,c=2;

a = b = c;



上述两行代码a,b,c结果为: a = 2,b = 2,c = 2;

  • c中的空格

c中的空格并非人们普遍认为的那样不重要,可以随意增加或者减少。有时候空格会在根本上改变程序的原意。



1.反斜杠可以用来跳过一些字符,包括跳过一个新行(跳过回车符)。一个被反斜杠跳过回车的新行和他的上方未结束的行被认为是逻辑上的一行。但是如果上述情况下在反斜杠后面多打了一个空格(space),情况就不一样了。(反斜杠跳过了空格,而不是回车)。

如图:

2.现在这个问题主要由于ANSI 标准c中的“最大一口策略(maximal munch strategy)”。 考虑下述代码:

int z = y+++x;

z = y + ++x;?还是 z = y++ + x;?


根据最大一口策略,答案是前者。

(注:最大一口策略:如果表达式下一个符号(token)有超过一种语义的可能性,编译器将更愿意咬掉更长的字符序列)

考虑下述代码:

int z = y+++++x;

编译器如何解析?根据maximal munch strategy,结果为 :

z = y++ ++ +x;

但不妙的是,编译器不认识“++”,所以程序编译错误。

3.第三种情况发生在类似这样的一行代码中:

int ratio = *x/*y;

编译器如何处理这条语句?

结果如图:

即“/*”被认为是一段注释的开始,与我们期望的大相径庭。而15行在加入空格(space)后则解决了这个问题。

4.其他情况(上述三种情况并不代表全部)。

  • C声明中的优先级规则

c语言的声明表达对于编译器来说并没什么难度去解析,但对于学习C语言的程序员来说这种复杂性会造成一定的困扰。

举个复杂声明的例子:

char* const (next)();

下面介绍几个较为有用的运算符优先级,并提供一个系统的面向于人的解析c复杂声明的方法,最后附加一个c语言小程序,用于实现一个声明的自动解析。   



1.较为有用的优先级  

声明从名字开始解析,然后按照优先级顺序继续读取下一个词汇单元。

优先级顺序:(从高到低)

1、小括号包含起来的声明。

2、后继操作符“()”表示一个函数,后继操作符“[]”表示一个数组。

3、前驱操作符“*”表示一个“指向...的指针”。

4、如果const或volatile在类型标识符(e.g.int,long,etc)旁,则它与类型标识符匹配。否则与它直接的左边的星号匹配。



2.系统的方法

	处理顺序:
对于整个表达式,采取从右向左的顺序逐次擦除掉记号(token)。当所有记号被擦除,声明的解读过程也就完成了。
<--------
cha* const *(*next)(); step1:找到最左端的标识符;
读作:“标识符 是...”; step2:如果右边下一个记号是方括号“[possible-size]”;
读作:“...的数组”; step3:如果右边下一个记号是一个开放的小括号“(possible-parameter)”;
处理:一直读到最近的右小括号匹配。
读作:”返回...的函数“; step4:如果记号是左小括号 “(”;
处理:这个记号是当一个开放的小括号内记号被处理完后向左查询到的。这时左右小括号里的记号已经被擦除,继续读取右到小括号匹配,擦除,返回step2; step5:如果左记号是"const,volatile,*"三者中的一者
处理:继续向左查询记号,知道不再出现这三者中任何一个记号为止。从step4重新开始。
读作:const:“常...”, volatile: “非常...”,* : “...指针”; step6:当记号是基础的类型说明符时。
处理:结束
读作:相应类型名。 下面以一个例子帮助理解:

(处理中的记号使用粗体)

待处理声明 下一步处理 结果
char* const *(*next) ( ) step1 称"next是...”
char * const *(*  __)__ ( ) step2,step3 右小括号不匹配,下一步
char *const *(*    ) ( ) step4 *不匹配,下一步
char *const *( *   ) ( ) step5 ”*“ 匹配,称”...的指针“,应用step4
char *const *__(__    ) ( ) step4 "(" 和 “)”匹配,应用step2
char *const *    __(__ ) step2 不匹配,下一步
char *const *      ( ) step3 称”返回...的函数“
char *const * step4 不匹配,下一步
char *const * step5 称”...的指针“
char *const step5 称”常...“
char * step5 称”...的指针“
char step6 称“字符类型”

最后连在一起表达:next是一个指向返回指向常字符指针的函数的指针。:)  

  • c中的指针和数组的关系

    首先,如果你认为在c中指针和数组是等价的,那么你很有必要向下看。

    数组和指针本质是不同的,数组名代表的是一个地址,可以认为是一个只读的整数(const int),而指针是一个地址的地址(一个保存地址的变量)。但是由于在很多情况下,数组可以转换为指向数组首元素地址的指针,只不过这种转换是隐式的,但正因如此,才造成了我们的困惑。

    在下面三种情况下,数组将转换为指针:

    1.数组作为函数的参数,将以指针的形式传递。

    eg:

    void foo(int *arr) { ... }

    main {
    int arr[...];
    foo(a);
    }</code>

2.数组作为表达式一部份参与求值。

  <code>eg:
int c = a[i];
//隐式转换:
int c = *(a+i); //此时a是一个指针


3.使用下标的数组名将会被转换成一个指针加上偏移量。
eg:
a[i] --->*(a+i) ;

注意:指针不会转换成数组。
附:简单的c语言声明语义解析程序

点击此行显示代码

\#include \
\#include \
\#include \
\#include \
\#define MAXTOKEN 100
\#define MAXTOKENLEN 64
\#define pop stack[top--]
\#define push(s) stack[++top]=s;
typedef enum type_taag { IDENTIFIER,QUALIFIER,TYPE} tyag;
struct token
{
char type;
char string[MAXTOKENLEN];
};
int top = -1;
struct token stack[MAXTOKEN]; //save tokens as a structure contians string
struct token this_; //global structure contains string and type
tyag classify_string(void)
{
char *s = this_.string;
if(!strcmp(s,"const")) {
strcpy(s,"read only ");
return QUALIFIER;
}
if(!strcmp(s,"volatitle")) return QUALIFIER;
if(!strcmp(s,"signed")) return TYPE;
if(!strcmp(s,"char")) return TYPE;
if(!strcmp(s,"unsigned")) return TYPE;
if(!strcmp(s,"short")) return TYPE;
if(!strcmp(s,"int")) return TYPE;
if(!strcmp(s,"long")) return TYPE;
if(!strcmp(s,"float")) return TYPE;
if(!strcmp(s,"double")) return TYPE;
if(!strcmp(s,"struct"))return TYPE;
if(!strcmp(s,"union")) return TYPE;
if(!strcmp(s,"enum")) return TYPE;
return IDENTIFIER;
}
void gettoken(void)
{
char *p = this_.string;
while((*p = getchar()) == ' ') ;
if(isalnum(*p)) { // A-z, 0-9
while(isalnum(*++p = getchar())) ;
ungetc(*p,stdin);
*p = '\0';
this_.type = classify_string();
return ;
}
if(*p == '*') {
strcpy(this_.string,"pointer to");
this_.type = '*';
return ;
}
this_.string[1] = '\0'; //'['']'(')'
this_.type = *p;
return ;
}
void read_to_first_identifier(void)
{
gettoken();
while(this_.type != IDENTIFIER) {
push(this_);
gettoken();
}
printf("%s is ", this_.string);
gettoken(); //read next token after identifier
}
void deal_with_array(void)
{
while(this_.type == '[') {
printf("array ");
gettoken(); //read a number or ']'
if(isdigit(this_.string[0])) {
printf("0...%d ",atoi(this_.string)-1);
gettoken(); //eat the ']'
}
gettoken(); //get next token past ']'
printf("of ");
}
}
void deal_with_function(void)
{
while(this_.type != ')') {
gettoken(); //ignore the parameters of function
}
gettoken(); //eat the ')'
printf("function returnning ");
}
void deal_with_pointer(void)
{
while(stack[top].type == '*') {
printf("%s ", pop.string);
}
}
void deal_with_declarator(void)
{
switch(this_.type) {
case'[':deal_with_array();break;
case'(':deal_with_function();break;
}
deal_with_pointer();
//process the tokens which still in the stack
while(top >= 0)
{
if(stack[top].type == '(') {
pop;
gettoken();
deal_with_declarator();
}
else
printf("%s ", pop.string);
}
}
int main(void)
{
read_to_first_identifier();
deal_with_declarator();
printf("\n");
return 0;
}

转载请注明出处

<<c专家编程>>笔记的更多相关文章

  1. HTML+CSS笔记 CSS笔记集合

    HTML+CSS笔记 表格,超链接,图片,表单 涉及内容:表格,超链接,图片,表单 HTML+CSS笔记 CSS入门 涉及内容:简介,优势,语法说明,代码注释,CSS样式位置,不同样式优先级,选择器, ...

  2. CSS笔记--选择器

    CSS笔记--选择器 mate的使用 <meta charset="UTF-8"> <title>Document</title> <me ...

  3. HTML+CSS笔记 CSS中级 一些小技巧

    水平居中 行内元素的水平居中 </a></li> <li><a href="#">2</a></li> &l ...

  4. HTML+CSS笔记 CSS中级 颜色&长度值

    颜色值 在网页中的颜色设置是非常重要,有字体颜色(color).背景颜色(background-color).边框颜色(border)等,设置颜色的方法也有很多种: 1.英文命令颜色 语法: p{co ...

  5. HTML+CSS笔记 CSS中级 缩写入门

    盒子模型代码简写 回忆盒模型时外边距(margin).内边距(padding)和边框(border)设置上下左右四个方向的边距是按照顺时针方向设置的:上右下左. 语法: margin:10px 15p ...

  6. HTML+CSS笔记 CSS进阶再续

    CSS的布局模型 清楚了CSS 盒模型的基本概念. 盒模型类型, 我们就可以深入探讨网页布局的基本模型了.布局模型与盒模型一样都是 CSS 最基本. 最核心的概念. 但布局模型是建立在盒模型基础之上, ...

  7. HTML+CSS笔记 CSS进阶续集

    元素分类 在CSS中,html中的标签元素大体被分为三种不同的类型:块状元素.内联元素(又叫行内元素)和内联块状元素. 常用的块状元素有: <div>.<p>.<h1&g ...

  8. HTML+CSS笔记 CSS进阶

    文字排版 字体 我们可以使用css样式为网页中的文字设置字体.字号.颜色等样式属性. 语法: body{font-family:"宋体";} 这里注意不要设置不常用的字体,因为如果 ...

  9. HTML+CSS笔记 CSS入门续集

    继承 CSS的某些样式是具有继承性的,那么什么是继承呢?继承是一种规则,它允许样式不仅应用于某个特定html标签元素,而且应用于其后代(标签). 语法: p{color:red;} <p> ...

  10. HTML+CSS笔记 CSS入门

    简介: </span>年的圣诞节期间,吉多·范罗苏姆为了在阿姆斯特丹打发时间,决心开发一个新的<span>脚本解释程序</span>,作为ABC语言的一种继承. & ...

随机推荐

  1. MySQL— 基础

    目录 一.MySQL概述 二.下载安装 三.数据库操作 四.数据表操作 五.表内容操作 一.MySQL概述 MySQL是一个关系型数据库管理系统,由瑞典MySQL AB 公司开发,目前属于 Oracl ...

  2. nodejs package.json解释

    { "name": "node-echo", # 包名,在NPM服务器上须要保持唯一 "version": "1.0.0" ...

  3. 关于Mybatis的SQL映射文件中in关键字的用法

    有一个需求是可以选择多个设备进行删除,于是想到将多个设备id拼成字符串作为参数,以逗号隔开,如:"123,234,456". SQL如下: <delete id=" ...

  4. CentOS 6.5结合busybox完成自制Linux系统及远程登录和nginx安装测试

    前言    系统定制在前面的博文中我们就有谈到过了,不过那个裁减制作有简单了点,只是能让系统跑起来而,没有太多的功能,也没的用户登录入口,而这里我们将详细和深入的来谈谈Linux系统的详细定制过程和实 ...

  5. selenium捕捉视频

    捕捉视频 有时候我们未必能够分析故障只需用日志文件或截图的帮助.有时捕获完整的执行视频帮助.让我们了解如何捕捉视频. 我们将利用Monte媒体库的执行相同. 配置 第1步:导航到URL - http: ...

  6. IE 浏览器 GET 请求缓存问题

    问题描述 IE 浏览器(笔者使用的版本是 IE 11)在发起 GET 请求,当参数一样时,浏览器会直接使用缓存数据,这样对于实时性有要求的数据不适用.笔者在使用 Chrome 或 FF 时发现浏览器并 ...

  7. 温故而知新--JavaScript书摘(一)

    前言: 毕业到入职腾讯已经差不多一年的时光了,接触了很多项目,也积累了很多实践经验,在处理问题的方式方法上有很大的提升.随着时间的增加,愈加发现基础知识的重要性,很多开发过程中遇到的问题都是由最基础的 ...

  8. 【splunk】用正则表达式提取字段

    设input输入数据为 http://192.168.23.121/xxx  想提取出里面的ip,可以用rex source="xxx.csv" |rex field=input ...

  9. TStringList 复制 赋值。

    方法1:list2.addstrings(list1) 特点是:不会清空list2中原有的数据. 方法2:list2.assign(list1) 特点是:会清空list2中原有的数据(直接替换链表节点 ...

  10. websocket+Django+python+paramiko实现web页面执行命令并实时输出

    一.概述 WebSocket WebSocket的工作流程:浏览器通过JavaScript向服务端发出建立WebSocket连接的请求,在WebSocket连接建立成功后,客户端和服务端就可以通过 T ...