赋值表达式——Ada应用实例之十一

赋值表达式——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指针，两者类型不匹配，不能进行赋值。