* 和 & 是什么意思什么时候应用于变量名？

Question

在 C++ 中，以下之间有什么区别：

 void func(MyType&); // declaration

 //...
 MyType * ptr;

 func(*ptr); // compiler doesnt give error

 func(ptr); // compiler gives error i thought & represents memory address so 
            // this statement should correct as ptr is only a pointer
            // or address of some real var.

Answer 1

一元前缀运算符&应用于对象时，会生成地址 > 对象：&obj.
类型修饰符&，当应用于即将声明的变量时，会将变量的类型修改为 >引用类型：int&。

这同样适用于 *：当作为一元前缀运算符应用于指针时，它将取消引用 指针，产生引用的对象：*ptr。
当用作要声明的变量的类型修饰符时，* 会将类型修改为指针：int*。

类似地，应用于正在声明的变量的类型修饰符[]会将变量的类型修改为数组，而<应用于数组类型的对象的strong>二元中缀运算符[]将访问该数组的子对象之一。

---

类型修饰符应用于声明的变量，而不是应用于声明它们的类型，这没有什么帮助。例如，这

int *p, **pp, i, a[10], &r = i; 

定义了一个 int 指针、一个指向 int 指针的指针、一个普通的 int、一个包含 10 个 的数组int 和一个 int 引用。 （后者会立即初始化，因为您不能拥有未初始化的引用。）请注意，类型修饰符在语法上属于它们要修改其类型的声明变量，而不是属于声明变量的类型。尽管如此，类型修饰符（* 和 &）会修改变量的类型。
但是，在以下情况下，p、i 和 a 被假定为已声明的变量

*pp = &i;
a[0] = i;

* 和 & 是一元前缀运算符，解引用 pp 并生成 i 的地址，而 [] 生成数组a 中的第一个int 对象。

事实上，C 和 C++ 并不关心类型修饰符周围的空格，这导致了在放置它们时出现不同的阵营并没有真正让事情变得更容易。
有些人将类型修饰符放在靠近类型的位置。他们认为它修改了类型，因此应该放在那里：

int* ptr;

缺点是在声明多个对象时这会变得混乱。这

int* a, b;

将 a 定义为指向 int 的指针，而将 b 定义为 int。这就是为什么有些人更喜欢写

int *ptr;
int *a, *b;

“我建议永远不要在同一个语句中声明多个对象”。 IMO 使代码更易于阅读。此外，您还可以自由选择任一约定。

---

让事情变得更复杂的是，除了类型修饰符和一元前缀运算符&和*之外，还有还有二元中缀运算符 & 和 *，意思是“按位与”和“乘法”。雪上加霜的是，在 C++ 中，您可以重载 这些运算符的一元前缀和二进制中缀变体（以及二进制中缀[]）对于用户定义的类型，并且其语义完全自由。