decltype关键字

decltype关键字：
1.计算表达式的类型
sizeof操作符的值是一个整数，表示类型的长度（字节数）
typeid操作符的值是一个对象，其中包含了类型的信息
decltype操作符的值是一个类型，可用于其它对象的声明

#include <iostream>
#include <typeinfo>
using namespace std;
int main (void)
{
   int a = 0;
   //int b = 1;
 　//auto b = a;
   //b:int，decltype的值就是表达式的类型本身
   decltype (a) b = 1;
   cout << typeid (b).name () << endl; // i
  // c:int，decltype只在编译期计算表达式的类型，不在运行期计算表达式的值
  decltype (a++) c = 2;
  cout << typeid (c).name () << endl; // i
  cout << a << endl; // 0
  int const& d = a;
  // e:int const&，decltype会保留表达式的引用属性和CV限定
  decltype (d) e = d;
  cout << &e << ' ' << &a << endl; // 地址相同
  /* e带有常属性
  cout << ++e << endl; */
  //f:int，auto会丢弃表达式的引用属性和CV限定
  auto f = d;
  cout << &f << ' ' << &a << endl; // 地址不同
  cout << ++f << endl; // 1
  //g:int*，h:int**，decltype可以和指针联用
  decltype (a) *g= &a, **h = &g;
  cout << typeid (g).name () << endl; // Pi
  cout << typeid (h).name () << endl; // PPi
  // h---->g---->a
  //int** int* int
  //i:int const&，decltype可以和引用以及CV限定联用
  decltype (a) const& i = a;
  cout << &i << ' ' << &a << endl; // 地址相同
  /* i带有常属性
  cout << ++i << endl; */
  return 0;
}

2.对于函数表达式，decltype将返回该函数返回值的类型，对于左值表达式，decltype返回该表达式的左值引用

#include <iostream>
#include <typeinfo>
using namespace std;
int max (int x, int y)
{
 6　　 return x < y ? y : x;
}
int* max (int* x, int* y)
{
　　return *x < *y ? y : x;
}
int const& min (int const& x, int const& y)
{
　　return x < y ? x : y;
}
int main (void) 
{
　　int a = 123, b = 456;
　　decltype (max (a, b)) c;
　　cout << typeid (a).name () << endl; // i
　　decltype (max (&a, &b)) d = NULL;
　　cout << typeid (d).name () << endl; // Pi
　　// e:int&
　　decltype (++a) e = a;
　　--e; // --a;
　　cout << a << endl; // 122
　　// f:int
　　decltype (b++) f = b;
　　--f;
　　cout << b << endl; // 456
　　// g:int&
　　decltype (a = b) g = a;
　　--g;
　　cout << a << endl; // 121
　　// h:int
　　decltype (b + a) h = b;
　　--h;
　　cout << b << endl; // 456
　　// i:int
　　decltype (a) i = a;    
　　// j:int&
　　decltype ((a)) j = a;//decltype的表达式如果是加上了括号的变量，结果将是引用
　　cout << &i << ' ' << &j << ' ' << &a << endl;
　　return 0;
}

注意：decltype((variable))(注意是双层括号)的结果永远是引用，
而decltype(variable)的结果只有当variable本身是一个引用时才是引用

3.何时使用decltype

#include <iostream>
#include <vector>
#include <list>
#include <map>
using namespace std;
template<typename C>
void print(C& c)
{
    for (decltype (c.begin()) it = c.begin(); it != c.end(); ++it)
        cout << *it << ' ';
    cout << endl;
}
int main(void) 
{
    int ai[] = { 10, 20, 30, 40, 50 };
    vector<int> vi(ai, ai + 5);
    print(vi);
    list<int> const li(vi.begin(), vi.end());
    print(li);
    map<string, vector<int> > msv;
    msv["张飞"].push_back(70);
    msv["张飞"].push_back(85);
    msv["赵云"].push_back(75);
    msv["赵云"].push_back(90);
    msv["关羽"].push_back(80);
    msv["关羽"].push_back(95);
    // .
    // .
    // .
    // 此处省略15000行代码
    // .
    // .
    // .
    //    int sum = 0;
    //key_type就表示map中key的类型,value_type表示具体值的类型,mapped_type表示map中value（pair）的类型
    decltype (msv)::mapped_type::value_type sum = 0;
    for (size_t i = 0; i < msv["张飞"].size(); ++i)
        sum += msv["张飞"][i];
    cout << sum << endl;
    return 0;
}

4.auto和decltype结合使用，返回类型后置

#include <iostream>
#include <typeinfo>
using namespace std;
double foo(int arg)
{
    return arg / 2.0;
}
int foo(double arg) 
{
    return int(arg * 2);
}
// 返回类型后置
template<typename T>
auto bar(T const& arg) -> decltype (foo(arg)) 
{
    return foo(arg);
}
// 返回类型后置
template<typename T>
auto add(T const& x, T const& y) -> decltype (x + y) 
{
    return x + y;
}

class Point 
{
public:
    Point(int x, int y) : m_x(x), m_y(y) {}
    void draw(void) const
    {
        cout << "点(" << m_x << ',' << m_y << ')' << endl;
    }
private:
    int m_x, m_y;
};

class Line 
{
public:
    Line(Point const& p1, Point const& p2) :m_p1(p1), m_p2(p2) {}
    void draw(void) const
    {
        cout << "线(" << '	';m_p1.draw();
        cout << '	';
        m_p2.draw();
        cout << ')' << endl;
    }
private:
    Point m_p1, m_p2;
};

Line const operator+ (Point const& p1, Point const& p2) 
{
    return Line(p1, p2);
}
int main(void) 
{
    cout << bar(1) << endl; // 0.5
    cout << bar(0.5) << endl; // 1
    Point p1(100, 200), p2(300, 400);
    Line line = add(p1, p2);
    line.draw();
    return 0;
}