如果因为溢出导致了结果为负，那么逻辑上真正的结果必然为正

80 阅读 0 评论 53 点赞

我是靠谱客的博主包容鞋垫，最近开发中收集的这篇文章主要介绍如果因为溢出导致了结果为负，那么逻辑上真正的结果必然为正，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

如果因为溢出导致了结果为负，那么逻辑上真正的结果必然为正语出王爽汇编语言

简单分析一下, cmp 语法如下

cmp 操作数1，操作数2

	cmp 命令操作数正负情况
操作数1/2	正数	负数
正数	正 - 正	正 - 负
负数	负 - 正	负 - 负

能够产生溢出的情况：正-负 和 负-正，符号相同的减法为抵消关系，一定不会溢出。

按字节型数据来看，数字范围应在-128 ~ 127之间而二进制数据的减法为 [X-Y]补 = [X]补 + [-Y]补

正 - 负 情况下，相当于两个正数在做加法所以逻辑结果必然为正。有符号字节数所能表示的最大正数为127，对应补码为0111 1111。考虑下溢出的情况：最小溢出数字 127 - （-1） = 127 + 1 = 0111 1111 + 0000 0001 = 1000 0000 所得到的结果为-128。溢出情况下最大的数字为：127 - （-128） = 0111 1111 + 1000 0000 = 1111 1111 结果为-1。可见该种情况的溢出结果总为负

负 - 正情况下，相当于两个负数在做加法所以逻辑结果必然为负。溢出情况：-128 -1 = 1000 0000 + 1111 1111 = 0111 1111 结果为正127 最大的情况下 -128 - 127 = 1000 0000 + 1000 0001 = 0000 0001 。可见溢出结果总为正

所以说溢出的情况下，结果为负，逻辑结果必然为正；结果为正，逻辑结果必然为负