骑消防栓的女孩 发表于 2022-12-13 18:17:31

c++萌新询问decltype的问题

#include <iostream>
int main()
{
        int i = 1, * p = &i;
        decltype(*p) a = i;//为什么此处a是int&,必须初始化
        std::cout << typeid(a).name() << std::endl;
        return 0;
}

*p不是解引用后指针指的对象吗,那decltype(*p)不就应该是int?为什么a是int&,求解。

lvk 发表于 2022-12-13 18:17:32

一种理解就是表达式*p的求值结果是左值,C++规定对于左值,使用decltype得到的是那个类型的引用;
另外一种理解是内置的解引用运算符返回的结果的类型是带有引用的,所以decltype得到的就是带有引用的类型;

jhq999 发表于 2022-12-13 19:01:27

本帖最后由 jhq999 于 2022-12-13 19:08 编辑

decltype,在C++中,作为操作符,用于查询表达式的数据类型。decltype在C++11标准制定时引入,主要是为泛型编程而设计,以解决泛型编程中,由于有些类型由模板参数决定,而难以(甚至不可能)表示之的问题。

泛型编程在整个1990年代越发流行,对实现类型推导机制的需求也应运而生。为此,许多编译器厂商都基于程序语言现有的功能,自行实现了这类操作符,其实现如typeof,以及一些功能有限,但更易移植的实现。2002年间,比雅尼·斯特劳斯特鲁普提议在C++内标准化这类操作符,并将之加入C++;且建议命之为"decltype",以反映其具有获取表达式的"声明类型"(Declared Type)的功能。

从语义上说,decltype的设计适合于通用库编写者与编程新手。总体上说,对于目标对象或函数,由decltype推导出的类型与源码中的定义可精确匹配。而正如sizeof操作符一样,decltype亦不需对操作数求值。


在c++中,typeid用于返回指针或引用所指对象的实际类型。
很少看到都忘了,搜了一下
i

Process returned 0 (0x0)   execution time : 0.392 s
Press any key to continue.
页: [1]
查看完整版本: c++萌新询问decltype的问题