cv限制符
decltype可以带走cv限制符，这一点跟auto不同，auto带不走。
但cv限制符不会扩散到成员变量，也比较好理解。
#include <type_traits>
#include <iostream>
using namespace std;
const int ic = 0;
volatile int iv;
struct S { int i; };
const S a = {0};
volatile S b;
volatile S* p = &b;
int main() {
cout << is_const<decltype(ic)>::value << endl; // 1
cout << is_volatile<decltype(iv)>::value << endl; // 1
cout << is_const<decltype(a)>::value << endl; // 1
cout << is_volatile<decltype(b)>::value << endl; // 1
cout << is_const<decltype(a.i)>::value << endl; // 不会扩散到成员变量，0
cout << is_volatile<decltype(p->i)>::value << endl; // 不会扩散到成员变量，0
}
冗余符号
与auto一样，decltype后面可以跟着&和，多余的&不会变成右值引用，而是被吃掉，但多余的会累加上，变成指针的指针**，与auto不一样。
#include <type_traits>
#include <iostream>
using namespace std;
int i = 1;
int & j = i;
int * p = &i;
const int k = 1;
int main() {
decltype(i) & var1 = i; // int&
decltype(j) & var2 = i; // 也是int&，多余的一个&被吃掉
cout << is_lvalue_reference<decltype(var1)>::value << endl; // 1
cout << is_rvalue_reference<decltype(var2)>::value << endl; // 0
cout << is_lvalue_reference<decltype(var2)>::value << endl; // 1
// decltype(p)* var3 = &i; // compile err
decltype(p)* var3 = &p; // var3是int**
auto* v3 = p; // v3是int*，auto跟decltype不一样，会吃掉多余的*
v3 = &i;
const decltype(k) var4 = 1; // 多余的const被吃掉，理所应当
}
