当前时区为 UTC + 8 小时



发表新帖 回复这个主题  [ 11 篇帖子 ] 
作者 内容
1 楼 
 文章标题 : 如何能保证不溢出
帖子发表于 : 2018-02-26 10:48 
头像

注册: 2007-05-06 8:19
帖子: 7467
送出感谢: 0 次
接收感谢: 5
例如
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倍).

那么我咋知道代码里有没有隐患的?


页首
 用户资料  
 
2 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-26 11:54 
头像

注册: 2006-03-14 10:25
帖子: 666
送出感谢: 1
接收感谢: 5
第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)


页首
 用户资料  
 
3 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-26 17:16 
头像

注册: 2007-05-06 8:19
帖子: 7467
送出感谢: 0 次
接收感谢: 5
bzimage 写道:
第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)


按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96


页首
 用户资料  
 
4 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-27 1:51 
头像

注册: 2006-03-14 10:25
帖子: 666
送出感谢: 1
接收感谢: 5
冲浪板 写道:
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相乘,不存在"自动向上靠"的问题


页首
 用户资料  
 
5 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-28 12:16 
头像

注册: 2007-05-06 8:19
帖子: 7467
送出感谢: 0 次
接收感谢: 5
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相乘,不存在"自动向上靠"的问题


编译机器将比较=两边的类型,短的向长的去加长(升级);
但是这里不用强制类型的话,就出错了,没进行自动类型转换。(这个自动类型不是我说的,是文章说的)


页首
 用户资料  
 
6 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-28 14:12 
头像

注册: 2006-03-14 10:25
帖子: 666
送出感谢: 1
接收感谢: 5
冲浪板 写道:
bzimage 写道:
第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题


编译机器将比较=两边的类型,短的向长的去加长(升级);
但是这里不用强制类型的话,就出错了,没进行自动类型转换。(这个自动类型不是我说的,是文章说的)


有先后的问题,"编译器将比较=两边的类型,短的向长的去加长",这是在计算完表达式之后才做的事。
第一行的表达式计算的结果已经溢出,然后,这个溢出的结果再应用这个原则赋值给k,这时才进行了"自动类型转换"。
换句话说进行"自动类型转换"是在等号右侧有明确的值而不是表达式时才进行的。


页首
 用户资料  
 
7 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-28 17:44 
头像

注册: 2007-05-06 8:19
帖子: 7467
送出感谢: 0 次
接收感谢: 5
我都不知道咋说了,
没有=也有这个问题,不是=的问题,
long a,b;
sizeof(a*b)是4,
sizeif((long long)a*b)就是8了;

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


页首
 用户资料  
 
8 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-02-28 19:03 
头像

注册: 2010-04-02 16:44
帖子: 540
系统: openSUSE 13.2 x64
送出感谢: 2
接收感谢: 11
冲浪板 写道:
我都不知道咋说了,
没有=也有这个问题,不是=的问题,
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


_________________
正在建设中的个人博客


页首
 用户资料  
 
9 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-03-01 10:31 
头像

注册: 2007-05-06 8:19
帖子: 7467
送出感谢: 0 次
接收感谢: 5
那些自然数,默认为4字节了;
long a=b=123456;
long long k;
k = a * b;
这k就有可能溢出的,起码我这碰到了.

按文档说,类型会按最长的来的;加了一句.自动不一定是你认为的那样,所以为稳妥加上强制类型转换,建议吧,


页首
 用户资料  
 
10 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-03-02 8:08 
头像

注册: 2010-04-02 16:44
帖子: 540
系统: openSUSE 13.2 x64
送出感谢: 2
接收感谢: 11
冲浪板 写道:
那些自然数,默认为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


_________________
正在建设中的个人博客


页首
 用户资料  
 
11 楼 
 文章标题 : Re: 如何能保证不溢出
帖子发表于 : 2018-03-02 8:14 
头像

注册: 2010-04-02 16:44
帖子: 540
系统: openSUSE 13.2 x64
送出感谢: 2
接收感谢: 11
还有谁告诉你自然数为4字节了?
你sizeof(18446744073709551615)试试?


_________________
正在建设中的个人博客


页首
 用户资料  
 
显示帖子 :  排序  
发表新帖 回复这个主题  [ 11 篇帖子 ] 

当前时区为 UTC + 8 小时


在线用户

正在浏览此版面的用户:没有注册用户 和 1 位游客


不能 在这个版面发表主题
不能 在这个版面回复主题
不能 在这个版面编辑帖子
不能 在这个版面删除帖子
不能 在这个版面提交附件

前往 :  
本站点为公益性站点,用于推广开源自由软件,由 DiaHosting VPSBudgetVM VPS 提供服务。
我们认为:软件应可免费取得,软件工具在各种语言环境下皆可使用,且不会有任何功能上的差异;
人们应有定制和修改软件的自由,且方式不受限制,只要他们自认为合适。

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
简体中文语系由 王笑宇 翻译