auto 和 decltype

一, auto

1, auto的作用

    一般来说, 在把一个表达式或者函数的返回值赋给一个对象的时候, 我们必须要知道这个表达式的返回类型, 但是有的时候我们很难或者无法知道这个表达式或者函数的返回类型. 这个时候, 我们就可以使用auto关键字来让编译器帮助我们分析表达式或者函数所属的类型. 比如:

1 2	auto item = val1 + val2; 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 2 3

const int i = 5; auto a = i;        // 变量i是顶层const, 会被忽略, 所以b的类型是int auto b = &i;    // 变量i是一个常量, 对常量取地址是一种底层const, 所以b的类型是const int *

    因此, 如果希望推断出的类型是顶层const的, 那么就需要在auto前面加上cosnt:

1	const auto c = i;

 

3, auto和引用

① 如果表达式是引用类型, 那么auto的类型是这个引用的对象的类型.

1 2	int i = 2, &ri = i; auto k = ri;            // k是int类型, 而不是引用类型

② 如果要声明一个引用, 就必须要加上&, 如果要声明为一个指针, 既可以加上*也可以不加*

1 2 3 4

int i = 3; auto &refi = i;        // refi是一个int类型的引用 auto *p1 = &i;       // 此时推断出来的类型是int, p1是指向int的指针 auto p2 = &i;        // 此时推断出来的类型是int*, p2是指向int的指针

二, decltype

1, decltype的作用

    decltype只是为了推断出表达式的类型而不用这个表达式的值来初始化对象.

1 2 3

decltype(func()) sum = x; // sum的类型是函数func()的返回值的类型, 但是这时不会实际调用函数func() int i = 0; decltype(i) j = 4; // i的类型是int, 所以j的类型也是int

 

2, decltype和const

    不论是顶层const还是底层const, decltype都会保留   

1 2	const int i = 3; decltype(i) j = i; // j的类型和i是一样的, 都是const int

 

3, decltype和引用

① 如果表达式是引用类型, 那么decltype的类型也是引用

1 2	const int i = 3, &j = i; decltype(j) k = 5; // k的类型是 const int &

② 如果表达式是引用类型, 但是想要得到这个引用所指向的类型, 需要修改表达式:

1 2	int i = 3, &r = i; decltype(r + 0) t = 5; // 此时是int类型

③ 对指针的解引用操作返回的是引用类型

1 2	int i = 3, j = 6, *p = &i; decltype(*p) c = j; // c是int类型的引用, c和j绑定在一起

④ 如果一个表达式的类型不是引用, 但是我们需要推断出引用, 那么可以加上一对括号, 就变成了引用类型了

1 2	int i = 3; decltype((i)) j = i; // 此时j的类型是int类型的引用, j和i绑定在了一起