星号在c++指针声明中是类型修饰符，作用是将变量声明为指向某类型的指针；它绑定到每个变量名而非整个类型，故int p, q;中仅p是指针、q是int变量。
星号 * 在 C++ 指针声明中，不是乘法运算符，而是类型修饰符，作用是“把右边的变量名声明为指向某类型的指针”。
声明时的 * 是类型的一部分，不是变量名的前缀
很多人误以为 int* p; 中的 * 属于变量 p，所以写成 int* p, q; 时会错以为 q 也是指针——其实只有 p 是指针，q 是普通 int 变量。
原因在于：C++ 声明语法中，* 绑定的是每个变量名，而非整个类型。更清晰的写法是：
int *p; // 明确：*p 是 int 类型 → p 是 int* 类型<br>int *p, *q; // 两个指针<br>int* p, *q; // 同上，但 * 靠近变量更不易误解
常见错误现象：int* p, q; 导致后续对 q 使用 *q 编译失败，报错 invalid type argument of unary '*'。
* 在声明和表达式中含义完全不同
同一个符号 *，在不同上下文语义彻底切换：
- 在声明语句中（如
int *p;）：是类型构造符，参与构成int*这一完整类型 - 在表达式中（如
*p = 5;）：是解引用运算符，表示“取指针所存地址处的值” - 在算术表达式中（如
a * b;）：才是乘法运算符
编译器靠位置和上下文区分——它不“记住”p 是指针，而是在每次遇到 * 时根据语法结构判断其角色。这也是为什么 int *p = &x; 合法，但 int* p = &x; 和 int * p = &x; 都等价，空格不影响解析。
为什么不能写成 int* p, q; 来批量声明多个指针
因为 C++ 的声明语法本质是“每个标识符单独解释”，int* p, q; 等价于：
int* p;<br>int q;
想同时声明多个指针，必须为每个变量显式加 *：
-
int *p, *q, *r;✔️ -
int* p, *q;✔️（推荐，*靠近变量名） -
int* p, q;❌（q是int，不是指针）
这个坑几乎每个初学者都踩过。根源不在星号本身，而在 C++ 声明语法的设计逻辑：它优先绑定到变量名，而不是类型关键字。
void* 中的 * 为什么能脱离类型约束
void* 是唯一允许隐式接收任意对象指针类型的指针类型，它的 * 仍表示“指针”，但基类型 void 表示“不指定所指对象的类型与大小”。这意味着：
-
void* p = &x;合法（x是任何对象） -
*p非法——因为编译器不知道该读几个字节、怎么解释内容 - 必须先强制转回具体类型才能解引用：
int* ip = static_cast<int>(p); *ip = 42;</int>
换句话说：* 始终代表“可解引用”，但能否安全解引用，取决于它前面的类型是否提供了足够的内存布局信息。
真正容易被忽略的点是：声明中的 * 不改变变量本身的存储方式（它只是个地址数字），但它直接决定了编译器后续如何生成地址计算指令——比如 p + 1 是加 4 还是加 8，全看 * 左边的类型。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
