auto和decltype的用法总结以及主要区别

主要区别

具体区别：
        auto     通过变量的初始值来推断变量的类型            auto会忽略掉顶层const, 保留底层const. 
        decltype 用于从表达式的类型推断出要定义的变量的类型  不论是顶层const还是底层const, decltype都会保留   
        eg：
        std::string func() { return "hello";  }
        int main() 

{
               decltype(func()) s;
               s = "hh";
        }
        注意：decltype()括号中的表达式并不去执行


        decltype和auto还有一处重要的区别是：decltype的结果类型与表达形式密切相关。
        有一种情况需要特别注意：对于decltype 所用表达式来说，如果变量名加上一对括号，
        则得到的类型与不加上括号的时候可能不同。如果decltype使用的是一个不加括号的变量，
        那么得到的结果就是这个变量的类型。但是如果给这个变量加上一个或多层括号，
        那么编译器会把这个变量当作一个表达式看待，变量是一个可以作为左值的特殊表达式，
        所以这样的decltype就会返回引用类型：
        eg：   
        int i = 42;
        decltype(i)   int  类型   (不加括号)  返回变量的类型
        decltype( (i) ) int& 类型 (加括号)    返回引用类型,因为编译器把变量当做表达式来看待

一, 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绑定在了一起