赋值表达式——Ada应用实例之十一
表达式是编程语言的基本元素之一。C语言的一个特有元素是“赋值表达式”,即在其他各种语句和表达式中进行赋值。这个元素增加了灵活性,但也带来了不安全性。
以下是一个在LINUX下运行时出现段错误的程序:
(引自http://zhidao.baidu.com/question/214507262.html)
#include"stdio.h"
#include"unistd.h"
#include<stdlib.h>
#include<fcntl.h>
#define BUFSIZE 1024
int main()
{
FILE *fp;
char *cmd="ps -e";
char buf[BUFSIZE];
buf[BUFSIZE]='/0';
if((fp=popen(cmd,"r")==NULL))
perror("popen");
while((fgets(buf,BUFSIZE,fp))!=NULL)
printf("%s",buf);
pclose(fp);
exit(0);
}
这个程序在以下语句中使用了赋值表达式:
if((fp=popen(cmd,"r")==NULL))
但是,它的语义是把popen(cmd,"r")返回值与NULL相比较的结果赋给fp。实际执行时,如果popen返回值为NULL,那么fp为1,如果popen返回值不是NULL,那么fp为0。因此,fp的值是一个非法的指针。再往下运行,就出现段错误。
这行语句正确的写法应该是:
if((fp=popen(cmd,"r"))==NULL)
也就是应该把popen返回值先赋给fp,然后用这个赋值表达式来构成是否为NULL的条件表达式。
如果用Ada编程,那么在编译阶段就可发现这个错误了。首先,Ada没有赋值表达式。因此,这行语句必须分成2行:
fp:=popen(cmd,"r");
if fp = NULL then
其次,假如Ada允许赋值表达式,那么Ada编译器也不允许把popen(cmd,"r")返回值与NULL相比较的结果赋给fp,因为前者是布尔类型,而fp的类型是一个FILE指针,两者类型不匹配,不能进行赋值。