为何带类型别名的指针声明加const会生成常量指针而非指向常量的指针

核心原理：类型别名是独立的整体类型，不是文本替换 #

typedef char* pstring 定义的pstring是一个独立的完整类型，语义为「指向char类型的指针」。C++处理类型别名时不会将其简单展开为文本替换，而是把它当作不可拆分的类型单元处理，这是理解问题的核心前提。 #

const修饰符的作用规则 #

const修饰符的作用对象是其紧跟的类型单元，如果const放在声明的最开头，则会修饰其后方的第一个完整类型单元：

• 当你写const pstring cstr时，const修饰的完整类型是pstring，也就是给指针类型本身加上const限定，最终得到的类型是常量指针，等价于char* const：指针本身的指向不能修改，但指向的char对象（如果本身没有const限定）可以修改。
• 你预期的「指向常量的指针」const char*，是const直接修饰char类型得到的，只有当const和char处于同一个类型层级时才会生效，而类型别名pstring把char*打包成了一个整体，const没有机会修饰到char。

示例代码报错原因分析 #

你的代码如下：

const char numm = 11;   
typedef char* pstring;
const pstring cstr = &numm; //Error

报错的核心是类型不匹配：

1. numm是const char类型，取地址&numm的类型是const char*，属于指向常量char的指针
2. 而const pstring的实际类型是char* const，要求指向的是可修改的普通char类型
3. C++不允许将const char*隐式转换为char*（会丢失const限定，存在意外修改常量的风险），因此编译报错。

补充验证 #

如果你需要用类型别名定义指向常量的指针，可按如下方式声明：

typedef const char* pconst_string;
pconst_string cstr = &numm; // 合法，此时类型为const char*

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