练习2.38：说明由decltype指定类型和由auto指定类型有何区别。请举出一个例子，decltype指定的类型与auto指定的类型一样；再举一个例子，decltype指定的类型与auto指定的类型不一样。
【出题思路】
auto和decltype是两种类型推断的方式，本题旨在考查二者的区别和联系。
【解答】
auto和decltype的区别主要有三个方面：
第一、auto类型说明符用编译器计算变量的初始值来推断其类型，而decltype虽然也让编译器分析表达式并得到它的类型，但是不实际计算表达式的值。
第二、编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。例如，auto 一般会忽略掉顶层const,而把底层const保留下来。与之相反，decltype会保留变量的顶层const。
第三、与auto不同，decltype的结果类型与表达式形式密切相关，如果变量名加上了一对括号，则得到的类型与不加括号时会有不同。如果decltype使用的是一个不加括号的变量，则得到的结果就是该变量的类型；如果给变量加上了一层或多层括号，则编译器将推断得到引用类型。
一个用以说明的示例如下所示：
#include <iostream>
#include <typeinfo>
int main()
{
int a = 3;
auto c1 = a;
decltype(a) c2 = a;
decltype((a)) c3 = a;
const int d = 5;
auto f1 = d;
decltype(d) f2 = d;
std::cout << typeid(c1).name() << std::endl;
std::cout << typeid(c2).name() << std::endl;
std::cout << typeid(c3).name() << std::endl;
std::cout << typeid(f1).name() << std::endl;
std::cout << typeid(f2).name() << std::endl;
c1 ++ ;
c2 ++ ;
c3++ ;
f1 ++ ;
//f2 ++ ; //错误：f2是整型常量，不能执行自增操作
std::cout<<" "<<c1<<" "<<c2<<" "<<c3<<" "<<f1<<" "<<f2<<std::endl;
return 0;
}
/*
i
i
i
i
i
4 4 4 6 5
*/
对于第一组类型推断来说，a是一个非常量整数，c1的推断结果是整数，c2的推断结果也是整数，c3的推断结果由于变量a额外加了一对括号所以是整数引用。c1、c2、c3依次执行自增操作，因为c3是变量a的别名，所以c3自增等同于a自增，最终a、cl、c2、c3的值都变为4。
对于第二组类型推断来说，d是一个常量整数，含有顶层const,使用auto推断类型自动忽略掉顶层const,因此f1的推断结果是整数；decltype则保留顶层const,所以f2的推断结果是整数常量。f1可以正常执行自增操作，而常量f2的值不能被改变，所以无法自增。
本页共48段，2252个字符，3518 Byte(字节)