为何C++中整数引用不被视为整数类型？代码示例解析

先看你给出的代码示例：

int x = 10;
std::cout << "Is Integral = " << std::is_integral_v<decltype(x)> << std::endl;
int & y = x;
std::cout << "Is Integral  = " << std::is_integral_v<decltype(y)> << std::endl;

这段代码里，x的类型是int，属于基础整数类型，所以std::is_integral_v返回true；而y的类型是int&（整数引用），它和原始的int是完全不同的类型范畴，所以不会被判定为整数类型，具体原因如下：

• 引用是"别名类型"，并非基础整数类型：C++里的引用本质是变量的别名，它本身不是独立的数值类型，而是依附于原始变量的一种类型修饰。std::is_integral模板的设计目标就是识别基础整数类型（比如int、char、long等），引用不在它的匹配范围内。
• decltype的返回特性：decltype(y)会准确返回y的实际类型int&，而非被引用的int类型，所以传入std::is_integral_v时，自然不会匹配整数类型的判断逻辑。

如果想判断引用的底层类型是不是整数，可以用std::remove_reference_t剥离引用属性，示例代码如下：

std::cout << "Is Underlying Integral = " << std::is_integral_v<std::remove_reference_t<decltype(y)>> << std::endl;

这段代码会返回true，因为它先把int&转换为int，再进行整数类型判断。

内容的提问来源于stack exchange，提问作者Arun