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 << "線(" << '\t';m_p1.draw();
        cout << '\t';
        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;
}