1.      初始题目

面试题:不用额外的变量,实现一个Swap函数,交换两个参数的值(问题)

这个题目太经典,也太简单,有很多人都会不假思索结出答案:

//Code 1
void Swap(int* a, int* b)
{
*a = *a + *b;
*b = *a - *b;
*a = *a - *b;
}

但真正的难点来了,接下来,就会有面试的第二问:指出code1算法的问题,并修正(问题)

2.      错误思路

一些毁人不倦的书,把其中的问题归结到了溢出(overflow)。修改方法是用异或替代加减,即:

//Code 2
void Swap(int* a, int* b)
{
*a = *a ^ *b;
*b = *a ^ *b;
*a = *a ^ *b;
}

诚然,在很多场合,大数的加法都会带来溢出的问题。但Code1 中的Swap函数真会构成溢出问题么?(问题)

2.1 错误的想法

大家都能清楚的描述加法溢出的产生原因:运算结果超出了变量的表示范围。

发生溢出时,结果会是多少呢?有很多人是知道的,但可能表述得不太清晰:舍弃超出变量内存范围的高位(加法只会舍弃最高位),保留在范围内的低位。

用这个概念,去分析问题3,恐怕是很难得到明确的答案的。很多人简单看看,认为执行两个很大的数的加法后,运算结果丢了最高位,所以会构成问题。

和问题3的知识点相同的,有另外一个问题:

判断两个int型变量相加,是否会溢出?不会溢出返回,否则返回非整数。下面的方法是否可行?(问题)

//Code 3
int IsOverFlow(int x, int y)
{
int sum = x + y;
return (sum - x == y) && (sum - y == x);
}

对问题3,回答“会构成问题”的同学。回答问题4时,应该会认为“方法可行”。理由是,认为溢出后,信息丢失,以后的运算都不再能得到正确结果。

2.2  加法的溢出

事实上,问题3的答案是:不会溢出;问题4的答案是:方法不可行。

用一下数学符号表述,可以清晰的得到正确答案。

假设一个整型变量有w位,那么,整型变量的表示范围是: -2w-1 ~ 2w-1-1。 当求和结果超出这个范围时,就发生溢出。即正数的绝对值大于2w-1-1时,发生正溢出,负数绝对值大于2w-1时,发生负溢出

加法的溢出,只会发生在两个求和参数同正负符号的时候。

第w-1位

(符号位)

第w-2位

第w-3位

…………

第2位

第1位

第0位

一正一负时,肯定不会发生溢出,因为这时:|x +y| < max{|x|, |y|}

对于两个很大的正数相加,发生正溢出时,第w-1位肯定为1,假设除去最高位时,剩下w-1位(第0至w-2位)的内存可以表示为数:r。即 x + y = r + 2w-1

由于是有符号数,第w-1位是符号位,由于符号位是1,说明结果是负数,采用补码,即运算结果为:sum =- (2w-1 – r) = r-2w-1。即于sum = r + 2w-1-2w=x + y - 2w

同时,两个绝对值很大的负数相加,发生负溢出后的结果是: s = x + y + 2w

当两个正数产生加法溢出时,运算结果s = x + y – 2w。 此时, s < 0。

再做减法:s – x = x + y - 2w - x = y + 2w 由于|y| <2w-1,有 |y - 2w| >2w-1 ,发生负溢出,在结果上又加上了 2w。即,x + y - 2w – x + 2w ,这个结果等于y。

因此问题3的答案是“不构成问题”,问题4的答案是:不可行。

判断两个int型变量相加,是否会溢出?不会溢出返回,否则返回非整数。这个函数需要怎么设计?(问题)

发生正溢出后,结果将是负数;发生负溢出后,结果将是正数。

因此可以这样做:

//Code 4
int IsOverFlow(int x, int y)
{
int sum = x + y;
int posOver = (x > 0) && (y > 0) && (x + y < 0);
int negOver = (x < 0) && (y < 0) && (x + y > 0);
return posOver || negOver;
}

3.      解决问题

回顾一个经典的算法,快排:

//Code 5
void QSort(int a[], int start, int end)
{
if (start >= end)
return;
int lastLessIdx = start;
for (int traveler = start + 1; traveler <= end; ++traveler)
{
if (a[traveler] < a[start])
{
Swap(&a[++lastLessIdx], &a[traveler]);
}
}
Swap(&a[lastLessIdx], &a[start]);
QSort(a, start, lastLessIdx - 1);
QSort(a, lastLessIdx + 1, end);
}

其中用到了Swap函数。但是,直接用code1中给出的Swap函数行吗?

不行。Code1中的Swap函数,没有考虑自己与自己换的情况。当需要自己与自己交换时(快排中lastLessIdx + 1 == traveler 时),Code1直接把值变成了0。

因此,修正方法很简单,判断是不是自己在和自己交换即可:

//Code 6
void Swap(int* a, int* b)
{
if (a == b)
return;
*a = *a + *b;
*b = *a - *b;
*a = *a - *b;
}

从Swap函数谈加法溢出问题的更多相关文章

  1. swap()函数的几种写法及优劣

    试用几种方法实现swap函数,比较效率高低. 首先说结果,最快的是赋值交换. 原因分析 gcc开启O2优化后,三个函数的汇编代码一样.是的,除了第一行的文件名,一模一样. 附代码 void swap1 ...

  2. 关于swap函数传值的问题

    #include <stdio.h> void swap(int * p3,int * p4); int main() {  int a = 9;  int b = 8;  int * p ...

  3. 自己写一个swap函数交换任意两个相同类型元素的值 对空指针的使用 字节大小的判断(二)了解原理

    验证的代码: #include <stdio.h> int main(){ char c = 'z'; ) + (c << ) + () + 'a'; printf(" ...

  4. swap函数的四种写法

    swap 函数的四种写法 (1)经典型 --- 嫁衣法 void swap(int *a, int *b) { int temp; temp = *a; *a = *b; *b = temp; } ( ...

  5. c++ swap 函数

    转载地址 1,最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符. template <class T> void swap ( T& a, T& b ) { T ...

  6. [转]谈谈C++中的swap函数

    1,最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符. template <class T> void swap ( T& a, T& b ) { T c(a) ...

  7. [Effective C++ --025]考虑写出一个不抛异常的swap函数

    引言 在我的上一篇博客中,讲述了swap函数. 原本swap只是STL的一部分,而后成为异常安全性编程的脊柱,以及用来处理自我赋值可能性. 一.swap函数 标准库的swap函数如下: namespa ...

  8. [020]转--C++ swap函数

    原文来自:http://www.cnblogs.com/xloogson/p/3360847.html 1.C++最通用的模板交换函数模式:创建临时对象,调用对象的赋值操作符 template < ...

  9. Linux Kernel ‘exitcode_proc_write()’函数本地缓冲区溢出漏洞

    漏洞名称: Linux Kernel ‘exitcode_proc_write()’函数本地缓冲区溢出漏洞 CNNVD编号: CNNVD-201311-061 发布时间: 2013-11-07 更新时 ...

随机推荐

  1. Spring 自动装配

    1.自动装配有 bytype 和byName两种模式. 2.可以使用autowire属性指定自动装配的方式,byName根据bean的名称和当前bean的setter风格属性进行自动装配:byType ...

  2. ruby Methods, Procs, Lambdas, and Closures

    define simple method定义简单方法 关键字def用于方法定义,在其后是方法名和可选的参数名列表,参数名列表会用一对圆括号括住.构成方法主体的代码放在参数列表之后,end用于结束方法定 ...

  3. hadoop多机安装YARN

    hadoop伪分布安装称为测试环境安装,多机分布称为生成环境安装.以下安装没有进行HA(热备)和Federation(联邦).除非是性能需要,否则没必要安装Federation,HA可以一试,涉及到Z ...

  4. active directory 学习和概念整理

    第一,在局域网内,如何管理计算机上的资源,需要一个管理策略. 微软提供了两种:工作组和域.两者区别就是,工作组是自治的,组内的计算机个个都作为独立.对等的自治实体而存在.恩,这也是以太网的设计初衷. ...

  5. 新建应用母版页的网页index.aspx,about.aspx,login.aspx

    转:http://www.netfoucs.com/liu_111111/article/details/8433491 -----------index.aspx:----------------- ...

  6. Android-adb shell 读取手机系统文件

    1.首先保证手机是root 状态 2.运行 adb shell 页面以后 su root 3.ls 就会发现目录结构可以显示了

  7. java 判断字符串是否为乱码

    import java.util.regex.Matcher; import java.util.regex.Pattern; public class MessyCodeCheck { public ...

  8. 开源cms

    提起开源cms,大家第一想到的是php的cms,因为php开源的最早,也最为用户和站长们认可,随着各大cms系统的功能的不断完善和各式各样的开源cms的出现,.net和java的高端的cms系统也逐渐 ...

  9. 员工部门表综合查询SQL

    --数据库的表设计如下: --部门:部门编号,部门名称,地址: --员工:员工编号,员工名字,职务,管理编号,入职日期,薪资,奖金,部门编号: --创建部门表: CREATE TABLE dept( ...

  10. Java之Arrays.asList陷阱

    Java.Util.Arrays可以将数组转换为List,具体的定义如下: @SafeVarargs public static <T> List<T> asList(T... ...