Binary “什么是”呢；减法产生了一个借来的结果；及；无符号下溢“；情况与此有关吗？

什么是无符号下溢，以及借入的

减法的关系是什么？这是ARM体系结构参考手册的摘录

对于减法，包括比较指令CMP，设置C
如果减法生成借用（即，无符号
下溢），否则为1

从中，整数下溢意味着从负有符号值中减去一个值以获得正值（例如，对于2位系统，b10[-2]-b01[1]=b10+b10+1=b01=+1）。在2的补码系统中，减法是位反转+1的加法

无符号未定义下溢应不同于整数下溢，因为相同的操作会产生正确的下溢（例如b10[2]-b01[1]=b10+b10+1=b01=+1）。但我不确定是什么造成了无符号下溢的情况。我也看不出这与
减法生成借来的条件有什么关系

补充
我有点理解，当b00[0]-b01[1]=b00+b10+1=b11=3时，会发生无符号下溢。但理解起来很混乱，因为它是无符号下溢，但似乎不会产生借位（没有生成进位）——从约翰·布林格的回答来看，“借位”是“进位”的减法类似物。
那么，借钱是进位的对立面吗

在初等算术中，进位是从一列数字转移到另一列更有效数字的数字。这是标准算法的一部分，通过从最右边的数字开始向左边累加数字。例如，当将6和7添加到13中时，“3”写入同一列，“1”被带到左侧。当在减法中使用时，该操作称为借用操作


无符号整数减法没有本质上的区别

术语下溢来自浮点运算，定义如下：

b） 下溢：未取整结果的绝对值小于最小正常值，取整后的结果可能因非规范化而失去准确性（如果指数范围是无界的，则比普通取整损失的更多）。

IEC 10967§4.1.3

“整数下溢”一词实际上是对“下溢”一词的滥用。实际上的意思是减法的结果不能用固定宽度的整数类型表示

在初等算术中，进位是从一列数字转移到另一列更有效数字的数字。这是标准算法的一部分，通过从最右边的数字开始向左边累加数字。例如，当将6和7添加到13中时，“3”写入同一列，“1”被带到左侧。当在减法中使用时，该操作称为借用操作


无符号整数减法没有本质上的区别

术语下溢来自浮点运算，定义如下：

b） 下溢：未取整结果的绝对值小于最小正常值，取整后的结果可能因非规范化而失去准确性（如果指数范围是无界的，则比普通取整损失的更多）。

IEC 10967§4.1.3

“整数下溢”一词实际上是对“下溢”一词的滥用。实际上，减法的结果不能用固定宽度整数类型来表示。
二值减法是加运算，是两个补码的美。从小学开始，我们就知道a-b=a+（-b）和两个补码告诉我们-b=~b+1（倒过来加一）。所以a-b=a+（~b）+1，这可以通过反转b并设置进位来实现，而不是清除进位。（反转b并反转进位）

所以5-4

 1111
  101
+ 011
=====
  001

如果小学数学是这样的话，就不会有借来的

和4-5

 0001
  100
+ 010
=====
  111

你们可以对其他位模式重复这个过程，你们会看到一个借位导致不进位，而不借位导致进位

我们知道，当它是加法时，进位是一个无符号溢出，一些处理器反转减法的进位（就像反转进位和第二个操作数一样），一些处理器则不需要查看arms的详细信息，但该位通常会在进位标志中结束（如果处理器甚至有标志）。因此，根据文件或有时你不得不通过黑客你的方式通过这个（做实验），但没有进行反演是的，借用和携带是相反的

我假设未签名的下溢与借钱相同，4-5表示你下溢。正如我们上面看到的，未消化的4-5=7。但是有符号4-5=-1，对于加法/减法，处理器不知道有符号和无符号，这些是与程序员和/或更高级语言相关的概念。二元补码的美。
二元减法是用加法完成的，这就是二元补码的美。从小学开始，我们就知道a-b=a+（-b）和两个补码告诉我们-b=~b+1（倒过来加一）。所以a-b=a+（~b）+1，这可以通过反转b并设置进位来实现，而不是清除进位。（反转b并反转进位）

所以5-4

 1111
  101
+ 011
=====
  001

如果小学数学是这样的话，就不会有借来的

和4-5

 0001
  100
+ 010
=====
  111

你们可以对其他位模式重复这个过程，你们会看到一个借位导致不进位，而不借位导致进位

我们知道，当它是加法时，进位是一个无符号溢出，一些处理器在减法（ju）上反转进位