18-三目运算符和逗号表达式

注：博客中内容主要来自《狄泰软件学院》，博客仅当私人笔记使用。

测试环境：Ubuntu 10.10

GCC版本：4.4.5

 

一、三目运算符

1）三目运算符(a?b:c)可以作为逻辑运算符的载体

2）规则：当a的值为真时，返回b的值；否则返回c的值

 

下面的程序运行结束后, a,b,c的值分别为多少？

int a = 1;
int b = 2;
int c = 0;

c = a<b?a:b;

(a<b?a:b) = 3;  //返回值赋值为3,C语言不支持，C++支持

 

实例分析
三目运算符初探
18-1.c

#include <stdio.h>

int main()
{
    int a = 1;
    int b = 2;
    int c = 0;
    
    c = a < b ? a : b;
    
    (a < b ? a : b) = 3;	//error

    *(a < b ? &a : &b) = 3;     //类似指针赋值，正确
    
    printf("%d\n", a);
    printf("%d\n", b);
    printf("%d\n", c);
    
    return 0;
}

操作：

1) gcc 18-1.c -o 18-1.out编译错误：

18-1.c:11:18: error: lvalue required as left operand of assignment
  (a < b ? a : b) = 3;
                  ^
错误：左值请求因为左操作数赋值。三目运算符返回的是数值，数值给数值赋值有错。                  

分析：

        *(a < b ? &a : &b) = 3;  三目运算符返回的是变量，数值可以给变量赋值。

 

2）三目运算符(a?b:c)的返回类型

  - 通过隐式类型转换规则返回b和c中的较高类型

  - 当b和c不能隐式转换到同一类型时将编译出错

        判断下面三目表达式的返回类型

实例分析
三目运算符的返回类型
18-2.c

#include <stdio.h>

int main()
{   
    char c = 0;
    short s = 0;
    int i = 0;
    float d = 0;
    double d = 0;  //double的话下边结果为8
    char* p = "str";
        
    printf( "%d\n", sizeof(c ? c : s) );  //c和s隐式转换为int类型，结果为4
    printf( "%d\n", sizeof(i ? i : d) );  //i和d转换为double类型，结果为4
    printf( "%d\n", sizeof(d ? d : p) );  //error

    return 0;
}

操作：

1) 编译出错：

test.c: In function ‘main’:
test.c:13:30: error: type mismatch in conditional expression
  printf("%d\n", sizeof(d ? d : p));
                              ^
错误：在三目表达式中类型不匹配                              

分析：

        三目运算符返回类型会隐式类型转换为最高类型，如果隐式类型转换失败编译器会报错。

        这里double和char* p 不能隐式转换成同一类型，编译报错。

 

二、逗号表达式

1) 逗号表达式是C语言中的"粘贴剂"

2) 逗号表达式用于将多个子表达式连接为一个表达式

3) 逗号表达式的值为最后一个子表达式的值

4) 逗号表达式中的前N-1个子表达式可以没有返回值 

5) 逗号表达式按照从左向右的顺序计算每个子表达式的值

    exp1,exp2,exp3,...,expN

 

6) 下面的程序输出什么？为什么？

int i = 0;

while(i<5)
   printf("i = %d\n",i),
i++;

 

实例分析
逗号表达式的示例
18-3.c
#include <stdio.h>

void hello()
{
    printf("Hello!\n");
}

int main()
{   
    int a[3][3] = {
        (0, 1, 2),
        (3, 4, 5),
        (6, 7, 8)
    };

    /*
    //上述相当于
    int a[3][3] = {
        2,
        5,
        8
    };
    */
    
    int i = 0;
    int j = 0;
    
    while( i < 5 )
        printf("i = %d\n", i),
        
    hello(),
    
    i++;
    
    /*
    ;代表一行语句结束
    上述表达式为，
    while(i<5)
    {
        printf("i = %d\n",i),hello(),i++;
     }
    */    
    
    for(i=0; i<3; i++)
    {
        for(j=0; j<3; j++)
        {
            printf("a[%d][%d] = %d\n", i, j, a[i][j]);
        }
    }

    return 0;
}

操作：

1) gcc 18-3.c -o 18-3.out编译正确，打印结果：

i = 0
hello!
i = 1
hello!
i = 2
hello!
i = 3
hello!
a[0][0] = 2
a[0][1] = 5
a[0][2] = 8
a[1][0] = 0
a[1][1] = 0
a[1][2] = 0
a[2][0] = 0
a[2][1] = 0
a[2][2] = 0

 

编程实验
一行代码实现strlen
18-4.c

#include <stdio.h>
#include <assert.h>

//对输入参数进行了异常检查
int strlen(const char* s)
{  
    return assert(s), (*s ? strlen(s + 1) + 1 : 0);	//空格显示0
    /*每次字符+1，调用自己，直到返回值为0时，递归调用停止*/
}

int main()
{   
    printf("len = %d\n", strlen("Delphi"));
	/*
	第一次递归返回：
	strlen(s)返回值为：strlen(s + 1) + 1 = 5 + 1 = 6   
	strlen(s + 1)返回值为：strlen(s + 1) + 1 = 4 + 1 = 5
	strlen(s + 1)返回值为：strlen(s + 1) + 1 = 3 + 1 = 4
	strlen(s + 1)返回值为：strlen(s + 1) + 1 = 2 + 1 = 3 
	strlen(s + 1)返回值为：strlen(s + 1) + 1 = 1 + 1 = 2  
	strlen(s + 1)返回值为：strlen(s + 1) + 1 = 0 + 1 = 1
	strlen(s + 1)返回值为：0 
	*/
    printf("len = %d\n", strlen(NULL));	//打印错误信息
    
    return 0;
}

操作：

1) gcc 18-4.c -o 18-4.out编译有警告：

18-4.c:12:2: warning: null argument where non-null required (argument 1) [-Wnonnull]
  printf("len = %d\n", strlen(NULL));
  ^
警告：null参数被使用

运行程序：

len = 6
18-4.out: 18-4.c:6: strlen: Assertion `s' failed.
Aborted (core dumped)

分析：

        计算NULL时发生错误。

void assert( int expression );

1) assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。正确则执行下边程序。

2) return 只能返回一个数值，assert类宏函数，void类型，启动终止程序，不启动，则向下执行。

3) 递归累加实现判断字符串长度（巧妙，但是库函数不是这样实现的）

4) s + 1理解为内存地址+1

 

小结

1) 三目运算符返回变量的值，而不是变量本身

2) 三目运算符通过隐式类型转换规则确认返回值类型

3) 逗号表达式按照从左向右的顺序计算每个子表达式的值

4) 逗号表达式的值为最后一个子表达式的值