为何模板约束中std::is_const_v求值为false，而static_assert中为true？

核心原因：模板参数推导忽略顶层const #

你遇到的矛盾点本质是值传递的函数参数在模板推导时会忽略顶层const：

• 变量p的实际类型是const int* const——这是一个顶层const指针（指针本身不可修改）。
• 当调用foo(p)时，因为函数参数是值传递（T t），C++模板推导规则会自动忽略参数的顶层const属性，所以推导出来的模板参数T是const int*（仅保留底层const，也就是指向的int是const的）。
• 这就导致模板里的std::is_const_v<T>检查的是const int*类型，这个类型的顶层是指针，并没有const修饰，所以返回false；而main里的decltype(p)直接获取变量的原始类型const int* const，所以std::is_const_v返回true。

如何检查指针本身是否为const（顶层const） #

如果你的需求是确保传入的指针本身是不可修改的（顶层const），可以通过以下两种方式实现：

1. 将函数参数改为引用传递
   引用传递的参数在模板推导时会保留顶层const，此时T会被正确推导为const int* const：

   template<typename T>
   requires std::is_pointer_v<T>
            && std::is_const_v<std::remove_pointer_t<T>>
            && std::is_const_v<T>
   void foo(const T& t) { std::cout << *t << '\n'; }
   

   调用foo(p)时，T推导为const int* const，所有约束都会满足。

2. 显式指定模板参数
   跳过自动推导，直接告诉编译器模板参数的具体类型：

   foo<const int* const>(p);
   

   此时T被指定为const int* const，std::is_const_v<T>会返回true。

补充：指针的const分类 #

和引用不同，指针的const分为两种：

• 底层const：指针指向的对象是const的（比如const int*），用std::is_const_v<std::remove_pointer_t<T>>检查。
• 顶层const：指针本身是const的（比如int* const或const int* const），需要直接检查T的const属性，但要注意模板推导时的顶层const忽略规则。

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