Ubuntu中文论坛

例如
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倍).

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

第一行的表达式中是1到13这13个int相乘，其值也是int，这个int值（已溢出）被赋值给k
第二和第三行的表达式中的第一个值都是long long，所以整个表达式的值也是long long，最后表达式的值被赋值给k
另外sizeof(k)应该都是一样的，都是sizeof(long long)

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 写了：第一行的表达式中是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 写了：

冲浪板 写了：

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 写了：第一步是计算表达式，然后才是赋值，第一行的表达式就是13个int相乘，不存在"自动向上靠"的问题

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

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

我都不知道咋说了，
没有=也有这个问题，不是=的问题，
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了；

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

你这个代码和主题里面的代码完全不是一回事。

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

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

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

冲浪板 写了：那些自然数,默认为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

还有谁告诉你自然数为4字节了？
你sizeof(18446744073709551615)试试？