CSAPP-第2章笔记_当参数length等于0时,运行-CSDN博客

本文链接：https://blog.csdn.net/qq_38597315/article/details/79587148

第2章信息的表示与处理

布尔代数

位运算

有个有趣的C语言的值交换写法，如下。

void swap(int *x, int *y){
    *y = *x ^ *y;
    *x = *x ^ *y;
    *y = *x ^ *y;
}

没有用到第三方元素交换，很有趣，但是并没有性能上的提高。
对于这个写法，我们首先要知道异或运算，然后有 $a\wedge a=0$ 。 $(x\wedge y)\wedge x$ 可以看成 $x\wedge x\wedge y$ ，而 $x\wedge x=0$ ， $0\wedge x=x$ 。故有上面那种写法了。

无符号数问题

无符号数的转换

补码转为无符号数

对满足 $TMin_w\leqslant TMax_w$ 的 $x$ 有：

T 2 U_{w} (x) = {\begin{array}{rcl} x + 2^{w}, & x < 0 \\ x, & x ⩾ 0 \end{array}

$T2U_w(x)= \left \{ \begin{array}{rcl}x+2^w, & x<0 \\ x,& x\geqslant0\end{array}\right.$
例如

T2U16(−12345)=−12345+216=53191 T 2 U 16 ( − 12345 ) = − 12345 + 2 16 = 53191 $T2U_{16}(-12345)=-12345+2^{16}=53191$ ，同时

T2Uw(−1)=−1+2w=UMaxw T 2 U w ( − 1 ) = − 1 + 2 w = U M a x w $T2U_w(-1)=-1+2^w=UMax_w$ 。

无符号数转换为补码

对满足 $0\leqslant u\leqslant UMax_w$ 的 $u$ 有：

U 2 T_{w} (u) = {\begin{array}{rcl} u, & u ⩽ T M a x_{w} \\ u - 2^{w}, & u > T M a x_{w} \end{array}

$U2T_w(u)=\left\{\begin{array}{rcl}u, & u\leqslant TMax_w \\ u-2^w,&u>TMax_w \end{array}\right.$

C语言中的有符号数与无符号数（前方有高能BUG出现，要画重点！！！）

当执行一个运算时，如果它的一个运算数是有符号的而另一个是无符号的，那么C语言会隐式地将有符号参数强制类型转换为无符号数，并假设这两个数都是非负的，来执行这个运算。就像我们将要看到的，这种方法对于标准的算术运算来说并无多大差异，但是对于像<script id="MathJax-Element-911" type="math/tex"><</script>和 $>$ 这样的关系运算符来说，它会导致非直观的结果。如下表所示。

表达式类型求值

表达式	类型	求值
$0 == 0U$ 无符号 $1$
$-1 < 0$ 有符号 $1$ $-1 < 0U$ 无符号 $0$ $2147483647>-2147483647-1$ 有符号 $1$ $2147483647U>-2147483647-1$ 无符号 $0$ $2147483647>(int)2147483648U$ 有符号 $1$ $-1>-2$ 有符号 $1$ $(unsigned)-1>-2$ 无符号 $1$ 就像我们看到的那样，有符号数到无符号数的隐式强制类型转换导致了某些非直观的行为。而这些非直观的特性经常导致程序错误，并且这种包含隐式强制类型转换的细微差别的错误很难被发现。因为这种强制类型转换是在代码中没有明确指示的情况下发生的，程序员经常忽视了它的影响。下面两个练习题说明了某些由于隐式强制类型转换和无符号数据类型造成的细微的错误。练习题1 `#include<iostream> float sum_elements(float a[], unsigned length) { int i; float result = 0; for (i = 0; i <= length - 1; i++) result += a[i]; return result; } int main() { float a[5] = { 1,1,1,1,1 }; printf("%f\n", sum_elements(a, 0)); system("pause"); }` 当参数length等于0时，运行这段代码应该返回0.000000。但实际上，运行时会遇到一个内存错误，如下图所示。原因：将参数length作为一个无符号数来传递看上去是件相当自然的事情，因为没有人会想到使用一个长度为负数的值。停止条件`i <= length - 1`看上去也很自然。但是把这两点组合到一起，将产生意想不到的结果！因为参数length是无符号的，计算0-1将使用无符号运算，这等价于模数加法。结果得到 $UMax_w$ 。 $\leqslant$ 比较同样使用无符号数比较，而因为任何数都是小于或者等于 $UMax$ 的，所以这个比较总是为真！因此，代码将试图访问数组a的非法元素。解决方法：将length声明改为int类型。练习题2 `#include<iostream> #include<string.h> int strlonger(char s, char t){ return strlen(s) - strlen(t) > 0; } int main() { char s = "333", t = "55555"; printf("%d\n", strlonger(s, t)); system("pause"); }` 一般以为会打印0，结果是1，如下图所示。原因：首先我们看字符串库函数strlen的声明，如下： `/* Prototype for library function strlen / size_t strlen(const char s);` 在头文件stdio.h中数据类型size_t是定义成unsigned int的。由于strlen被定义为产生一个无符号的结果，差和比较都采用无符号运算来计算。当s比t短的时候，strlen(s)-strlen(t)的差会为负，但是变成了一个很大的无符号数，且大于0。解决方法：改成`return strlen(s) > strlen(t);` 确定要放弃本次机会？福利倒计时 : : 立减 ¥ 普通VIP年卡可用立即使用该博客已停用关注关注 0 点赞踩 0 收藏觉得还不错? 一键收藏 0 评论复制链接分享到 QQ 分享到新浪微博扫一扫 C语言中有符号数和无符号数的问题 chengyan的博客 04-26 3027 C语言中有符号数和无符号数的问题项目说明考虑下列代码，这段代码试图计算数组a中所有元素的和，其中元素的数量由参数length给出： 1 /* WARNING: This is buggy code / 2 float sum_elements(float a[ ], unsigned length){ 3 int i; 4 float result = 0; 5 ... 无符号unsigned带来的问题探讨 2020 03-30 1358 C语言有符号无符号数问题题目:用下图代码计算数组array中所有元素的和,其中元素的数量由参数length给出. 问题: 试分析这段程序,当参数length=0时,运行结果/返回值为多少? 运行这段代码, 当参数length=0时,实际会产生什么结果? 请解释实际运行结果产生的原因. 修改代码以得出正确结果. 一:先讨论参数为有符号类型. 此函数显然为叠加求数组元素的和,在不发... 参与评论您还未登录，请先登录后发表或查看评论深入了解计算机系统课后习题 m0_51271123的博客 05-26 1158 关于有符号数与无符号数的建议有符号数到无符号数的隐式类型转换导致了某些非直观的行为。 float sum_elements(float a[], unsigned length) { int i; float result=0; for(i=0;i<=length-1;i++) result += a[i]; return result; } 当参数length等于0时，运行这段代码应该返回0.0，但实际上，运行时会遇到一个内存错误。为什么会发生这样的错误？从. 深入理解计算机系统练习题2.25-隐式强制类型转换导致的数组越界 weixin_34307464的博客 01-26 221 1 #include <stdio.h> 2 #include <iostream> 3 using namespace std; 4 5 float sum_elements(float a[], unsigned length) { 6 int i; 7 float result = 0; 8 cout... CSAPP-第二章学习笔记 weixin_44349851的博客 09-19 235 无 CSAPP-第三章学习笔记 weixin_44349851的博客 09-26 268 1 CSAPP---第七章-链接 m0_53157173的博客 03-27 523 链接是将各种代码和数据片段收集并组合为一个单一文件的过程，这个文件可以被加载到内存中执行。链接器在软件开发中扮演着一个关键的角色,因为它们使得分离编译(separate compilation)成为可能。我们不用将一个大型的应用程序组织为一个巨大的源文件,而是可以把它分解为更小、更好管理的模块,可以独立地修改和编译这些模块。编译时: 源代码通过编译期翻译为机器码加载时: 程序被加载器加载到内存中并执行时运行时: 应用程序执行时1 , 2 };return val;i < n; 【学习笔记】CSAPP-第一章计算机系统漫游雨儿的博客 09-16 112 深入理解计算机系统学习笔记-第一章 csapp笔记-第二章飞云不坠___博客 12-05 139 csapp-chapter01-Englsh-note 深入理解计算机系统第一章英文笔记 12-28 总结来说，深入理解计算机系统的第一章主要涵盖了信息的位表示、文本和二进制文件的区别、程序的翻译过程、编译系统的作用以及处理器如何执行指令。这些基本概念构成了计算机科学的基础，对于学习和优化任何计算机... CSAPP-Labs：计算机系统实验室的解决方案和说明：程序员的观点第三版《深入理解计算机系统》第三版的实验文件，解答与笔记 01-31 基于书上第五，六章对程序进行优化，主要用了循环分块消除缓存不命中和消除分支预测错误等方法。 A部分要求写一个缓存模拟器，B部分要求优化矩阵转置函数，减少缓存不命中数。这个实验室可以加深对缓存的理解。已写... CSAPP：CSAPP的学习笔记和代码 03-03 《CSAPP：CSAPP的学习笔记和代码》是一个与计算机科学基础课程相关的资源包，主要针对的是《Computer Systems: A Programmer's Perspective》（简称CSAPP）这本书。这本书是计算机科学领域的一本经典教材，广泛用于... CSAPP读书笔记与习题作业练习-第2章 yakumosumi的博客 06-28 1865 啊串流分屏 - 两台笔记本电脑屏幕共享 11-04 串流分屏 - 两台笔记本电脑屏幕共享 tornado-6.3.2-cp38-abi3-musllinux_1_1_x86_64.whl 11-04 tornado-6.3.2-cp38-abi3-musllinux_1_1_x86_64.whl 基于java的银行业务管理系统答辩PPT.pptx 11-04 基于java的银行业务管理系统答辩PPT.pptx TA_Lib轮子无需编译-TA_Lib-0.4.17-cp35-cp35m-win32.whl.zip 最新发布 11-04 TA_lib库（whl轮子），直接pip install安装即可，下载即用，非常方便，各个python版本对应的都有。使用方法： 1、下载下来解压； 2、确保有python环境，命令行进入终端，cd到whl存放的目录，直接输入pip install TA_lib-xxxx.whl就可以安装，等待安装成功，即可使用！优点：无需C++环境编译，下载即用，方便机器学习（大模型）：法律领域预训练的大型语言模型（LLM）微调而设计的数据集 11-04 "Turkish Law Dataset for LLM Finetuning" 是一个专为法律领域预训练的大型语言模型（LLM）微调而设计的数据集。这个数据集包含了大量的土耳其法律文本，旨在帮助语言模型更好地理解和处理土耳其法律相关的查询和文档。该数据集的特点包括：专业领域：专注于土耳其法律领域，提供了大量的法律文本和案例，使模型能够深入学习法律语言和术语。大规模：数据集规模庞大，包含了超过1000万页的法律文档，总计约135.7GB的数据，这为模型提供了丰富的学习材料。高质量：数据经过清洗和处理，去除了噪声和非句子文本，提高了数据质量，使得模型训练更加高效。预训练与微调：数据集支持预训练和微调两个阶段，预训练阶段使用了大量的土耳其语网页数据，微调阶段则专注于法律领域，以提高模型在特定任务上的表现。多任务应用：微调后的模型可以应用于多种法律相关的NLP任务，如法律文本摘要、标题生成、文本释义、问题回答和问题生成等。总的来说，这个数据集为土耳其法律领域的自然语言处理研究提供了宝贵的资源，有助于推动土耳其语法律技术的发展，并为法律专业人士提供更精准的技术支持。通过微调，农业信息化服务平台 SSM毕业设计附带论文.zip 11-04 农业信息化服务平台 SSM毕业设计附带论文启动教程:https://www.bilibili.com/video/BV1GK1iYyE2B "CSAPP-lab3-缓冲区溢出攻击实验报告总结【BUPT计算机系统基础】CSAPP-lab3-缓冲区溢出攻击实验总结本次实验的主要目的是通过进行缓冲区溢出攻击，来加深对C语言程序的机器级表示、GDB调试器的用法、x86-64机器代码生成以及软件漏洞危害的理解。实验的... 该博客已停用 CSDN认证博客专家 CSDN认证企业博客码龄8年暂无认证 114 原创 52万+ 周排名 169万+ 总排名 26万+ 访问等级 3284 积分 136 粉丝 86 获赞 42 评论 311 收藏私信关注热门文章 vscode上的vim使用 50888 叠加等边三角形的绘制 11441 重复元素判定 A 11277 自拟题目大作业 10221 大多数元素 A 9024 分类专栏 2017程序设计实践 37篇博弈 6篇 2017小学期python 18篇 2017DS 20篇 2018软件工程基础&软件需求工程与建模 9篇 2018算法设计与分析 10篇 Java相关 3篇 VS Code相关 2篇其他 3篇 Qt 3篇 Visual Studio 1篇最新评论 28. 退治大赛 Pr037H3um797: 车万众狂喜（）天天向上的力量 B 湔裙梦断续应难: 第一天能力值为1；第二天才是(1+0.001n)*1，一次方；第三天是二次方，所以第365天是364次方；那个是千分比，右下角两个圈圈，所以是0.001N。 2.一元多项式相乘曲奇饼饼子: 天天向上的力量 B Tjohn9: 1.为什么364就正确了呢？365和366都不正确 2.为什么 N%不是0.01N，而是0.001N呢？重复元素判定 A Ja_ck: counts = {} counts[i] = counts.get(i, 0)+1 您好，这两句话什么意思啊，谢谢最新文章 QML程序发布/打包 QML-练习-LL(1)分析器 win10磁盘管理相关 2019年4篇 2018年44篇 2017年67篇目录目录分类专栏 2017程序设计实践 37篇博弈 6篇 2017小学期python 18篇 2017DS 20篇 2018软件工程基础&软件需求工程与建模 9篇 2018算法设计与分析 10篇 Java相关 3篇 VS Code相关 2篇其他 3篇 Qt 3篇 Visual Studio 1篇目录评论被折叠的条评论为什么被折叠? 到【灌水乐园】发言查看更多评论添加红包祝福语请填写红包祝福语或标题红包数量个红包个数最小为10个红包总金额元红包金额最低5元余额支付当前余额3.43元前往充值 > 需支付：10.00元成就一亿技术人! 领取后你会自动成为博主和红包主的粉丝规则 hope_wisdom 发出的红包实付元使用余额支付点击重新获取扫码支付钱包余额 0 抵扣说明： 1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。余额充值

0 == 0 U

$0 == 0U$ 无符号

1 1 $1$

- 1 < 0

$-1 < 0$ 有符号

1 1 $1$

−1<0U − 1 < 0 U $-1 < 0U$ 无符号

0 0 $0$

2147483647>−2147483647−1 2147483647 > − 2147483647 − 1 $2147483647>-2147483647-1$ 有符号

1 1 $1$

2147483647U>−2147483647−1 2147483647 U > − 2147483647 − 1 $2147483647U>-2147483647-1$ 无符号

0 0 $0$

2147483647>(int)2147483648U 2147483647 > ( i n t ) 2147483648 U $2147483647>(int)2147483648U$ 有符号

1 1 $1$

−1>−2 − 1 > − 2 $-1>-2$ 有符号

1 1 $1$

(unsigned)−1>−2 ( u n s i g n e d ) − 1 > − 2 $(unsigned)-1>-2$ 无符号

1 1 $1$

就像我们看到的那样，有符号数到无符号数的隐式强制类型转换导致了某些非直观的行为。而这些非直观的特性经常导致程序错误，并且这种包含隐式强制类型转换的细微差别的错误很难被发现。因为这种强制类型转换是在代码中没有明确指示的情况下发生的，程序员经常忽视了它的影响。
下面两个练习题说明了某些由于隐式强制类型转换和无符号数据类型造成的细微的错误。
练习题1

#include<iostream>

float sum_elements(float a[], unsigned length) {
    int i;
    float result = 0;

    for (i = 0; i <= length - 1; i++)
        result += a[i];
    return result;
}

int main() {
    float a[5] = { 1,1,1,1,1 };
    printf("%f\n", sum_elements(a, 0));
    system("pause");
}

当参数length等于0时，运行这段代码应该返回0.000000。但实际上，运行时会遇到一个内存错误，如下图所示。
这里写图片描述
原因：
将参数length作为一个无符号数来传递看上去是件相当自然的事情，因为没有人会想到使用一个长度为负数的值。停止条件i <= length - 1看上去也很自然。但是把这两点组合到一起，将产生意想不到的结果！
因为参数length是无符号的，计算0-1将使用无符号运算，这等价于模数加法。结果得到 $UMax_w$ 。 $\leqslant$ 比较同样使用无符号数比较，而因为任何数都是小于或者等于 $UMax$ 的，所以这个比较总是为真！因此，代码将试图访问数组a的非法元素。
解决方法：
将length声明改为int类型。
这里写图片描述
练习题2

#include<iostream>
#include<string.h>

int strlonger(char *s, char *t){
    return strlen(s) - strlen(t) > 0;
}

int main() {
    char *s = "333", *t = "55555";
    printf("%d\n", strlonger(s, t));
    system("pause");
}

一般以为会打印0，结果是1，如下图所示。
这里写图片描述
原因：
首先我们看字符串库函数strlen的声明，如下：

/* Prototype for library function strlen */
size_t strlen(const char *s);

在头文件stdio.h中数据类型size_t是定义成unsigned int的。由于strlen被定义为产生一个无符号的结果，差和比较都采用无符号运算来计算。当s比t短的时候，strlen(s)-strlen(t)的差会为负，但是变成了一个很大的无符号数，且大于0。
解决方法：
改成return strlen(s) > strlen(t);
这里写图片描述