语言基础（10）：auto与decltype
一, auto
1, auto的作用
一般来说, 在把一个表达式或者函数的返回值赋给一个对象的时候, 我们必须要知道这个表达式的返回类型, 但是有的时候我们很难或者无法知道这个表达式或者函数的返回类型.(特别在模板中) 这个时候, 我们就可以使用auto关键字来让编译器帮助我们分析表达式或者函数所属的类型. 比如:
1 auto item = val1 + val2;
2 auto red = LayerColor::create(Color4B(255, 100, 100, 255), 200, 100);
如果val1和val2都是int类型, 那么item也是int类型, 如果val1和val2是double类型, 那么item就是double类型. 而create()的返回值类型有可能会很复杂, 我们可以不用管, 这就使我们编程更加方便简单
2, auto和const
auto会忽略掉顶层const, 保留底层const. 举例:
1 const int i = 5;
2 auto a = i; // 变量i是顶层const, 会被忽略, 所以b的类型是int
3 auto b = &i; // 变量i是一个常量, 对常量取地址是一种底层const, 所以b的类型是const int *
因此, 如果希望推断出的类型是顶层const的, 那么就需要在auto前面加上cosnt:
1 const auto c = i;
3, auto和引用
anto会忽略表达式的引用类型，返回引用所指对象的类型
① 如果表达式是引用类型, 那么auto的类型是这个引用的对象的类型.
1 int i = 2, &ri = i;
2 auto k = ri; // k是int类型, 而不是引用类型
② 如果要声明一个引用, 就必须要加上&, 如果要声明为一个指针, 既可以加上也可以不加
1 int i = 3;
2 auto &refi = i; // refi是一个int类型的引用
3 auto p1 = &i; // 此时推断出来的类型是int, p1是指向int的指针
4 auto p2 = &i; // 此时推断出来的类型是int, p2是指向int的指针
二, decltype
1, decltype的作用
decltype只是为了推断出表达式的类型而不用这个表达式的值来初始化对象.
1 decltype(func()) sum = x; // sum的类型是函数func()的返回值的类型, 但是这时不会实际调用函数func()
2 int i = 0;
3 decltype(i) j = 4; // i的类型是int, 所以j的类型也是int
2, decltype和const
不论是顶层const还是底层const, decltype都会保留
1 const int i = 3;
2 decltype(i) j = i; // j的类型和i是一样的, 都是const int
3, decltype和引用
decltype直接返回表达式的实际类型，包括表达式的引用类型
① 如果表达式是引用类型或者返回引用类型, 那么decltype的类型也是引用
1 const int i = 3, &j = i;
2 decltype(j) k = 5; // k的类型是 const int &
decltype(i+0) p = i; // p的类型是 const int &
② 如果表达式是引用类型, 但是想要得到这个引用所指向的类型, 需要修改表达式:
1 int i = 3, &r = i;
2 decltype(r + 0) t = 5; // 此时是int类型
③ 对指针的解引用操作返回的是引用类型
1 int i = 3, j = 6, p = &i;
2 decltype(p) c = j; // c是int类型的引用, c和j绑定在一起
④ 如果一个表达式的类型不是引用, 但是我们需要推断出引用, 那么可以加上一对括号, 就变成了引用类型了
1 int i = 3;
2 decltype((i)) j = i; // 此时j的类型是int类型的引用, j和i绑定在了一起
