C/C++编程：decltype

梦里梦外; 2022-05-21 13:12 129阅读 0赞

# 一、decltype #

作用：**返回操作数指定表达式的类型。在这个过程中，编译器会分析表达式并得到它的类型，却不实际计算表达式的值**

在存在**初始化代码**的情况下，可以使用auto来自动决定变量的类型。还存在一种情况，我们希望变量的类型通过初始化代码之外的表达式推断得到。

假设有下面结构体：

struct Point{
       int x;
       int y;
    };

在其他地方，可能这样定义point类型的变量/变量：

Point point;
    Point* p1 = nullptr;

在C++中提供了另一种方式来决定变量的类型：decltype修饰符。利用它可以通过表达式的类型来决定变量的类型

decltype(point)* p2 = nullptr;

这两种方式有什么不同呢？**当point的类型发生变化时，p1的类型需要一起修改，p2的类型就不需要修改**

这和sizeof()的参数提倡使用变量名而不是数据类型是一样的道理。

# 二、auto与decltype #

(1)auto用来实现变量的拷贝，包括变量值和类型。decltype只是用来获取变量的类型，并没有用其值来初始化新变量。

#include <iostream>
    #include <typeinfo>
    using namespace std;
    extern const int a = 3;
    int  main()
    {
        auto ai(1);
        auto ato(ai);
        decltype(ai) dec;
        cout << typeid(ato).name() << " " << ato << endl;
        cout << typeid(dec).name();
        cout << typeid(dec).name() << " " << dec << endl;   // 23764（随机值）
        cin.get();
    }

总结：decltype根据一个变量获取数据类型，然后我们可以用数据类型来创建变量，数组，指针等。

#include <iostream>
    #include <typeinfo>
    
    using namespace std;
    extern const int a = 3;
    void main()
    {
    	auto ai(1);
    	auto ato(ai);
    	decltype(ai)  dec[10]{0};
    	cout << typeid(dec).name()  << endl; //	int[10]	
    	for (auto i:dec)
    	{
    		cout << typeid(i).name() << i << endl; //int0
    	}
    	cin.get();
    }

总结：auto只能拷贝一个变量，decltype本质是为了拷贝类型。

(2)与const的关系

#include <iostream>
    #include <typeinfo>
    
    using namespace std;
    
    int main()
    {
        const int ci(11);
    	auto ac(ci);     //ci是int。autu复制类型和值，但是会忽略顶层的cosnt
    	decltype(ci) dc(13);  //dc是const int。decltype是获取ci的类型，然后创建一个变量，const会带上
    
    	cin.get();
    }

总结：auto会忽略顶层const，decltype不会。auto编译器推断出的类型值可能会跟不同，比如顶层const，但是decltype会保留

# 三、模板指针 #

#include <iostream>
    
    using namespace std;
    template <typename T>
    void show(T *p)   //模板指针
    {
    	cout << *p << endl; //*根据指针地址取出指向的内存里的值，然后打印出来
    }
    
    int main()
    {
    	int a(10);
    	show(&a);  //传递a的指针
    	auto a1('c');
    	show(&a1);  //c
    	cin.get();
    }

decltype是内存拷贝

#include <iostream>
    
    
    using namespace std;
    template <class T>
    void show(T *p)   //模板指针
    {
    	decltype(*p) num(*p);  //在内存里面对数据进行部分
    	cout << num <<endl;
    	cout << *p << endl;
    }
    
    int main()
    {
    	int a(10);
    	show(&a);
    
    	cin.get();
    }

# 四、decltype根据引用创建数组 #

using namespace std;
    
    template <class T>
    void show(T *p)   //模板指针
    {
    	int a = *p;
    	decltype(a) num[5]{ *p, *p, *p, *p, *p };
    	for (auto i : num)
    	{
    		cout << i << endl;
    	}
    }
    
    int main()
    {
    	int a(10);
    	show(&a);
    	cin.get();
    }