小白在看c++prime中遇到的问题,
int a = 3, b = 4,d=0;
decltype(a = b)c = a;
cout << a <<c; //结果是3 3
a = b;
cout << a << c;//结果是4 4
if (a = d);
cout << a << d;//结果是0 0
同样是赋值语句被作为表达式,此时表达式的类型是一个int&,
那为什么decltype(a=b)中a没有被b赋值,但if(a=d)中a却被d赋值为0了?
小白在看c++prime中遇到的问题,
int a = 3, b = 4,d=0;
decltype(a = b)c = a;
cout << a <<c; //结果是3 3
a = b;
cout << a << c;//结果是4 4
if (a = d);
cout << a << d;//结果是0 0
同样是赋值语句被作为表达式,此时表达式的类型是一个int&,
那为什么decltype(a=b)中a没有被b赋值,但if(a=d)中a却被d赋值为0了?
原因非常简单:C++是静态类型的语言,这意味着类型是编译期(compile time)而非运行期(runtime)确定的。decltype的作用是要求编译器推导表达式类型,但是并不会对表达式求值。在样例代码中,C++表达式a=b的返回值是int&型,也就是产生一个int引用c,c=a就是说引用c绑定到了a上。这个过程其实没有任何求值。
sizeof也是一个道理,你可能注意到下面的代码输出结果是1而不是2:
int i = 1;
sizeof(i++);
printf("%d", i);
这是因为sizeof的原理也仅仅是在编译期进行表达式类型推导,给出对应类型占用的空间,这个过程与该表达式在运行期的值一点关系也没有。
总结:decltype、auto(C++11中的)、模板、sizeof等等原理上是编译期类型推导的,其运行结果都在编译期确定,有关表达式在编译成的可执行代码中根本不存在,对运行期结果不产生任何影响。(包括经典的模板斐波那契数列也是一样的,模板算出的fib数列也是编译期计算的,产生的是数百个不同的类,而不是一个在运行期进行计算的类。这样的类运行原理是编译期计算好了,到了运行期直接调取数据,相当于Look-Up Table,而不是当场计算的。)