c/c++ 中形式逻辑不成立。外貌 一样的 东西，放在声明里 和 放在 语句里 意思可能 不同。
例如：
int a=2; // 这是声明，a 是普通的整型变量, 初始化 为 2
int *p; // 这是声明，p 是指针，可用于指向整型变量
p = &a; // 语句, &a 是 a 的 地址， p 是 指针 p 指向的地址
x = *p+2; //语句, *p 是 值
错误形式： x = *a +2; 因为语句中 没 有 *a 这种形式
错误形式： y = &p; 因为语句中 没 有 &p 这种形式
======
&取地址符 用于普通的变量。
