美文网首页
【CS:APP】2.1 信息存储

【CS:APP】2.1 信息存储

作者: gfson | 来源:发表于2017-04-21 16:17 被阅读0次

版权声明:本文为 gfson 原创文章,转载请注明出处。
注:作者水平有限,文中如有不恰当之处,请予以指正,万分感谢。

1. 进制间两个转化技巧

P62.png

2. int32_t 和 int64_t

P64-1.png

3. 多种形式的声明

P64-2.png

4. C 语言数据类型分配字节数

P63.png

5. 大端和小端

P65.png

6. 不同程序对象的字节表示

#include <stdio.h>  

typedef unsigned char *byte_pointer;

void show_bytes(byte_pointer start, size_t len){
    size_t i;
    for(i=0;i<len;i++)
        printf(" %.2x",start[i]);
    printf("\n");
}

void show_int(int x){
    show_bytes((byte_pointer) &x, sizeof(int));
}

void show_float(float x){
    show_bytes((byte_pointer) &x, sizeof(float));
}

void show_pointer(void *x){
    show_bytes((byte_pointer) &x, sizeof(void *));
}

void test_show_bytes(int val){
    int ival = val;
    float fval = (float) ival;
    int *pval = &ival;
    show_int(ival);
    show_float(fval);
    show_pointer(pval);
}

int main(void){
    int a = 10;
    test_show_bytes(a);
    return 0;  
}

运行结果如下:

swd1@user-HP-ProDesk-600-G1-TWR:/local/work/test/C$ gcc test.c
swd1@user-HP-ProDesk-600-G1-TWR:/local/work/test/C$ ./a.out 
 0a 00 00 00
 00 00 20 41
 40 cb 10 b2 ff 7f 00 00
swd1@user-HP-ProDesk-600-G1-TWR:/local/work/test/C$ 

从以上结果可以得出两个结论:

  1. Linux 64 位操作系统使用的是小端法存储。
  2. Linux 64 位操作系统的 int 和 float 类型占 4 个字节,指针类型占 8 个字节。

7. 生成一张 ASCII 表

通过命令 man ascii 生成一张 ASCII 表。

8. 字符串表示

P70.png

9. 布尔环 a^a = 0

P72-1.png

10. 位向量表示有限集合

P72-2.png
  • 位向量就是固定长度为 ω,由 0 和1 组成的串。
  • a = [011010101],从右往左数,从 0 开始,第 i 位的数字是 1,则 i 为集合的元素。
  • 这种位向量表示的集合,布尔运算 | 和 & 分别对应集合的并和交,而 ~ 对应与集合的补。

11. 交换两个变量的值

P74.png

两个练习题的答案如下:

P135.png

函数 inplace_swap(int *x, int *y) 隐含要求 x 和 y 指向不同的地址,可以对此函数进行如下修改:

void inplace_swap(int *x, int *y){
    if(x != y){
        *y = *x ^ *y;
        *x = *x ^ *y;
        *y = *x ^ *y;
    }
}

12. 位运算两个有趣的问题和一些结论

首先上一张布尔代数运算的图。

P71.png

然后再来看看下面两个有趣的问题(练习题 2.12 和 2.13):

P75-1.png

思考过这个两个问题后,我们来看看答案:

P136.png

我们会发现几个有趣的结论:

  1. 基础结论:
  • 0 & 0 = 0; 1 & 0 = 0; 即任意位和 0 与为 0。
  • 0 & 1 = 0; 1 & 1 = 1; 即任意位和 1 与为其本身。
  • 0 | 1 = 1; 1 | 1 = 1; 即任意位和 1 或为 1。
  • 0 | 0 = 0; 1 | 0 = 1; 即任意位和 0 或为其本身。
  • 0 ^ 0 = 0; 1 ^ 0 = 1; 即任意位和 0 异或为其本身。
  • 0 ^ 1 = 1; 1 ^ 1 = 0; 即任意位和 1 异或为其取反。
  1. 练习题 2.12 的带来的思考:
  • 如果想要字节位为 0,可以考虑 & 0
  • 如果想要字节位为 1,可以考虑 | 1
  • 如果想要字节位取反,可以考虑 ^ 1
  • 如果想要字节位保持不变,可以考虑 & 1| 0^ 0
  1. 练习题 2.13 带来的思考:
    通过文氏图证明 x ^ y = (x & ~y) | (~x & y) 如下:
  • x ^ y 用文氏图表示如下:


    x^y.png
  • ~x 用文氏图表示如下:


    ~x.png
  • (~x & y) 用文氏图表示如下:


    ~x & y.png
  • 同理,(x & ~y) 的文氏图为左半边,(x & ~y) | (~x & y) 的文氏图与 x ^ y 的文氏图相同。

13. C 语言的逻辑运算

P75-2.png
P76-1.png
  • 逻辑运算中非零的参赛都表示 TRUE,参数 0 表示 FALSE。
  • 逻辑运算返回 1 或者 0,1 表示 TRUE,0 表示 FALSE。
  • 如果第一个参数的值可以确定整个表达式的值,那么不会计算第二个参数的值。

14. 易混淆 ~ 和 !

x = 0x66, y = 0x39.
求 x & !y 和 x && ~y 的值。

上述问题中,需要注意 ! 是逻辑运算中的非,~ 是位运算中的取反。

x & !y = 0x00, x && ~y = 0x01.

15. 移位运算

P76-2.png
P77.png
  • 逻辑右移和算术右移

    • 逻辑右移:在左端补 k 个 0。
    • 算术右移:在左端补 k 个最高有效位的值。
  • 几乎所有编译器 / 机器组合都对有符号数使用算术右移,对于无符号数,必须使用逻辑右移。

  • Java 中 >> 表示算法右移,>>> 表示逻辑右移。

  • 当移动的位 k 大于 w 时,实际位移量通过计算 k mod w 得到。

相关文章

网友评论

      本文标题:【CS:APP】2.1 信息存储

      本文链接:https://www.haomeiwen.com/subject/yjulzttx.html