为何std::is_integral对int*指针t的decltype(*t)返回false？

先看这段代码：

#include<iostream>
using namespace std;
int main() {
  int* t;
  using T = decltype(*t);
  cout << is_integral<T>::value << endl;
  return 0;
}

核心原因出在decltype(*t)的类型推导逻辑上：

• t是int*类型的指针，对指针做解引用操作*t时，得到的是int类型的左值引用（也就是int&），而非单纯的int类型。
• is_integral<T>::value的作用是判断T是否属于C++标准定义的基础整数类型（比如int、char、long这类），但引用类型并不在整数类型的判定范围内，因此is_integral<int&>::value的结果为false，对应输出0。

如果希望输出结果为1（true），可以用std::remove_reference_t剥离引用属性，将代码改为using T = std::remove_reference_t<decltype(*t)>;，此时T会被推导为int类型，is_integral的判断结果就会是true。

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