如何能保证不溢出
- bzimage
- 帖子: 716
- 注册时间: 2006-03-14 10:25
Re: 如何能保证不溢出
第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
- 冲浪板
- 论坛版主
- 帖子: 7513
- 注册时间: 2007-05-06 8:19
Re: 如何能保证不溢出
按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96bzimage 写了:第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
- bzimage
- 帖子: 716
- 注册时间: 2006-03-14 10:25
Re: 如何能保证不溢出
第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题冲浪板 写了:按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96bzimage 写了:第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
- 冲浪板
- 论坛版主
- 帖子: 7513
- 注册时间: 2007-05-06 8:19
Re: 如何能保证不溢出
编译机器将比较=两边的类型,短的向长的去加长(升级);bzimage 写了:第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题冲浪板 写了:按说这个类型是自动向上靠的,可是实际就不是了,起码这里就没进阶到(long long) ; gcc version 2.96bzimage 写了:第一行的表达式中是1到13这13个int相乘,其值也是int,这个int值(已溢出)被赋值给k
第二和第三行的表达式中的第一个值都是long long,所以整个表达式的值也是long long,最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的,都是sizeof(long long)
但是这里不用强制类型的话,就出错了,没进行自动类型转换。(这个自动类型不是我说的,是文章说的)
- bzimage
- 帖子: 716
- 注册时间: 2006-03-14 10:25
Re: 如何能保证不溢出
有先后的问题,"编译器将比较=两边的类型,短的向长的去加长",这是在计算完表达式之后才做的事。冲浪板 写了:编译机器将比较=两边的类型,短的向长的去加长(升级);bzimage 写了:第一步是计算表达式,然后才是赋值,第一行的表达式就是13个int相乘,不存在"自动向上靠"的问题
但是这里不用强制类型的话,就出错了,没进行自动类型转换。(这个自动类型不是我说的,是文章说的)
第一行的表达式计算的结果已经溢出,然后,这个溢出的结果再应用这个原则赋值给k,这时才进行了"自动类型转换"。
换句话说进行"自动类型转换"是在等号右侧有明确的值而不是表达式时才进行的。
- 冲浪板
- 论坛版主
- 帖子: 7513
- 注册时间: 2007-05-06 8:19
Re: 如何能保证不溢出
我都不知道咋说了,
没有=也有这个问题,不是=的问题,
long a,b;
sizeof(a*b)是4,
sizeif((long long)a*b)就是8了;
说文档里说的,表达式会按使用的类型,向高阶看齐,个别是向短看齐。
但是,稳当的话,自己设置强制转换为好,因为这样自己是知道会发生什么。而我就碰到这个了。
没有=也有这个问题,不是=的问题,
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: 如何能保证不溢出
你这个代码和主题里面的代码完全不是一回事。冲浪板 写了:我都不知道咋说了,
没有=也有这个问题,不是=的问题,
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: 如何能保证不溢出
那些自然数,默认为4字节了;
long a=b=123456;
long long k;
k = a * b;
这k就有可能溢出的,起码我这碰到了.
按文档说,类型会按最长的来的;加了一句.自动不一定是你认为的那样,所以为稳妥加上强制类型转换,建议吧,
long a=b=123456;
long long k;
k = a * b;
这k就有可能溢出的,起码我这碰到了.
按文档说,类型会按最长的来的;加了一句.自动不一定是你认为的那样,所以为稳妥加上强制类型转换,建议吧,
- qgymib
- 帖子: 539
- 注册时间: 2010-04-02 16:44
- 系统: openSUSE 13.2 x64
Re: 如何能保证不溢出
谁告诉你自动类型转换是这么来的?那照你这么说,`float n = 3 / 2;`,这里面的n就是1.5喽?冲浪板 写了:那些自然数,默认为4字节了;
long a=b=123456;
long long k;
k = a * b;
这k就有可能溢出的,起码我这碰到了.
按文档说,类型会按最长的来的;加了一句.自动不一定是你认为的那样,所以为稳妥加上强制类型转换,建议吧,
http://en.cppreference.com/w/c/language/conversion
正在建设中的个人博客
- qgymib
- 帖子: 539
- 注册时间: 2010-04-02 16:44
- 系统: openSUSE 13.2 x64