如何能保证不溢出

软件和网站开发以及相关技术探讨
回复
头像
冲浪板
论坛版主
帖子: 7513
注册时间: 2007-05-06 8:19

如何能保证不溢出

#1

帖子 冲浪板 » 2018-02-26 10:48

例如
long long k=1;
k=1*2*3*4*5*6*7*8*9*10*11*12*13;
k=K*1*2*3*4*5*6*7*8*9*10*11*12*13;
k=(long long)1*2*3*4*5*6*7*8*9*10*11*12*13;

这几个k是不同的结果,sizeof(k)可是不同的(后面俩是第一个的2倍).

那么我咋知道代码里有没有隐患的?
头像
bzimage
帖子: 716
注册时间: 2006-03-14 10:25

Re: 如何能保证不溢出

#2

帖子 bzimage » 2018-02-26 11:54

第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
头像
冲浪板
论坛版主
帖子: 7513
注册时间: 2007-05-06 8:19

Re: 如何能保证不溢出

#3

帖子 冲浪板 » 2018-02-26 17:16

bzimage 写了:第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96
头像
bzimage
帖子: 716
注册时间: 2006-03-14 10:25

Re: 如何能保证不溢出

#4

帖子 bzimage » 2018-02-27 1:51

冲浪板 写了:
bzimage 写了:第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96
第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题
头像
冲浪板
论坛版主
帖子: 7513
注册时间: 2007-05-06 8:19

Re: 如何能保证不溢出

#5

帖子 冲浪板 » 2018-02-28 12:16

bzimage 写了:
冲浪板 写了:
bzimage 写了:第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96
第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题
编译机器将比较=两边的类型,短的向长的去加长(升级);
但是这里不用强制类型的话,就出错了,没进行自动类型转换。(这个自动类型不是我说的,是文章说的)
头像
bzimage
帖子: 716
注册时间: 2006-03-14 10:25

Re: 如何能保证不溢出

#6

帖子 bzimage » 2018-02-28 14:12

冲浪板 写了:
bzimage 写了:第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题
编译机器将比较=两边的类型,短的向长的去加长(升级);
但是这里不用强制类型的话,就出错了,没进行自动类型转换。(这个自动类型不是我说的,是文章说的)
有先后的问题,"编译器将比较=两边的类型,短的向长的去加长",这是在计算完表达式之后才做的事。
第一行的表达式计算的结果已经溢出,然后,这个溢出的结果再应用这个原则赋值给k,这时才进行了"自动类型转换"。
换句话说进行"自动类型转换"是在等号右侧有明确的值而不是表达式时才进行的。
头像
冲浪板
论坛版主
帖子: 7513
注册时间: 2007-05-06 8:19

Re: 如何能保证不溢出

#7

帖子 冲浪板 » 2018-02-28 17:44

我都不知道咋说了,
没有=也有这个问题,不是=的问题,
long a,b;
sizeof(a*b)是4,
sizeif((long long)a*b)就是8了;

说文档里说的,表达式会按使用的类型,向高阶看齐,个别是向短看齐。
但是,稳当的话,自己设置强制转换为好,因为这样自己是知道会发生什么。而我就碰到这个了。
头像
qgymib
帖子: 539
注册时间: 2010-04-02 16:44
系统: openSUSE 13.2 x64

Re: 如何能保证不溢出

#8

帖子 qgymib » 2018-02-28 19:03

冲浪板 写了:我都不知道咋说了,
没有=也有这个问题,不是=的问题,
long a,b;
sizeof(a*b)是4,
sizeif((long long)a*b)就是8了;

说文档里说的,表达式会按使用的类型,向高阶看齐,个别是向短看齐。
但是,稳当的话,自己设置强制转换为好,因为这样自己是知道会发生什么。而我就碰到这个了。
你这个代码和主题里面的代码完全不是一回事。

sizeof操作符是在编译期间执行的,和运行时没关系,所以无论你k赋值为什么,sizeof(k) == sizeof(long long)

而在上面的代码里面,由于a和b的类型都是long,所以a*b自动推断为类型long,估计你的机器是32位的,所以sizeof(long) == 4。
sizeif((long long)a*b)则是告诉sizeof操作符,它的参数类型是long long,所以输出为8
正在建设中的个人博客
头像
冲浪板
论坛版主
帖子: 7513
注册时间: 2007-05-06 8:19

Re: 如何能保证不溢出

#9

帖子 冲浪板 » 2018-03-01 10:31

那些自然数,默认为4字节了;
long a=b=123456;
long long k;
k = a * b;
这k就有可能溢出的,起码我这碰到了.

按文档说,类型会按最长的来的;加了一句.自动不一定是你认为的那样,所以为稳妥加上强制类型转换,建议吧,
头像
qgymib
帖子: 539
注册时间: 2010-04-02 16:44
系统: openSUSE 13.2 x64

Re: 如何能保证不溢出

#10

帖子 qgymib » 2018-03-02 8:08

冲浪板 写了:那些自然数,默认为4字节了;
long a=b=123456;
long long k;
k = a * b;
这k就有可能溢出的,起码我这碰到了.

按文档说,类型会按最长的来的;加了一句.自动不一定是你认为的那样,所以为稳妥加上强制类型转换,建议吧,
谁告诉你自动类型转换是这么来的?那照你这么说,`float n = 3 / 2;`,这里面的n就是1.5喽?
http://en.cppreference.com/w/c/language/conversion
正在建设中的个人博客
头像
qgymib
帖子: 539
注册时间: 2010-04-02 16:44
系统: openSUSE 13.2 x64

Re: 如何能保证不溢出

#11

帖子 qgymib » 2018-03-02 8:14

还有谁告诉你自然数为4字节了?
你sizeof(18446744073709551615)试试?
正在建设中的个人博客
回复