会员访问差异

Question

有人可以告诉我 (*ptr).field 和 ptr->field 之间有什么不同吗？ 我知道它以某种方式连接到静态和动态链接，但我不知道它是什么。 有人可以告诉我差异并举个例子吗？

编辑： 如果我有这个代码：

Point p;       //point is a class that derive from class shape 
Shape *s=&p; 
               //there is a diffrence if i write:

(*s).print();  //print is virtual func
s->print();    // the answers will not be the same, why?

TNX！

Answer 1

这与静态或动态链接无关。

请参阅 C++ 的运算符优先级。 . 的优先级低于 *，因此 *ptr.fld 和 ptr->fld 之间实际上有很大区别。例如，下面的代码演示了：

#include <iostream>

struct foo {
  int f;
};

int main() {
  struct foo *p = new struct foo;
  p->f = 42;
  std::cout << p->f << std::endl;
  std::cout << (*p).f << std::endl;
  // The following will not compile
  // std::cout << *p.f << std::endl;
}

正如 John Knoeller 指出的，ptr->fld 是 (*(ptr)).fld 的语法糖，但不是与 *ptr.fld 相同，它实际上会计算为 *(ptr.fld)，可能不是您想要的。

当您有一个指向结构的指针并想要访问其中包含的字段时，您可以使用ptr->fld。 (*(ptr)).fld 含义相同，但不那么整洁。当您有一个结构体（而不是指向结构体的指针）且包含一个字段 (fld)（该字段是您想要取消引用的指针）时，您可以使用 *strct.fld 。上面显示了ptr->fld的情况。 *strct.fld 的情况可以与以下结构一起使用：

struct foo {
  int *fld;
}

struct foo f;
f.fld = new int;
*f.fld = 42;

Answer 2

它与静态或动态链接无关
两个表达式都会返回 ptr.field 的值

ptr->field 形式是直接从指针访问成员的缩写语法

更新：我发现您的原始意图不是链接，而是绑定
如果这确实是您的目标，那么就有静态绑定和动态绑定
这与 -> 有一些关系运算符参见此处

Answer 3

静态链接是链接器将程序中使用的所有库例程复制到可执行映像的结果。这可能比动态链接需要更多的磁盘空间和内存，但速度更快且更便携，因为它不需要运行它的系统上存在库。

动态链接是通过将可共享库的名称放入可执行映像中来完成的。直到运行映像（此时可执行文件和库都放置在内存中）时，才会发生与库例程的实际链接。动态链接的一个优点是多个程序可以共享库的单个副本。

但它与你提到的指针间接无关——事实上，这两个表达式是相同的。

Answer 4

我假设 *ptr.field 您的意思是 (*ptr).field。

就仅考虑内置运算符而言，两者之间没有区别。不，它与“静态”或“动态”链接无关，无论这些术语暗示什么。

两者之间唯一的潜在区别是，在 ptr->field 变体中 -> 是 C++ 中的可重载运算符，而在 (*ptr) 中仅 .field 变体 * 是可重载的，而 . 则不可重载。

此外，这两种成员访问方法之间存在一些差异，这些差异存在于非常古老的 C 语言版本 (CRM C) 中，但我怀疑今天是否有人关心这些差异。

Answer 5

这与链接无关。

ptr->fld 

只是

(*ptr).fld

It's pure syntical Sugar 的简写;)

Answer 6

只要 ptr 是一个指针，一旦正确加上括号，两者就等效（正如其他人所说）。如果 ptr 是一个对象，而不是指针，则它们可能会有所不同，具体取决于 operator* 和 operator->（如果有）的定义) 来自对象的类或祖先。

Answer 7

形式->只是取消指针引用和访问成员的简写。

(*ptr).field;
// Equiv to 
ptr->field;

使用的一个很好的理由 ->是当你跟随一条链时：

int x = (*(*(*(*ptr).field1).field2).field3).field4;
// Equiv to 
int y = ptr->field1->field2->field3->field4;

第二个变得更具可读性。

至于你问题的第二部分。
我发现举一个例子真的很容易。

#include <iostream>

class Shape
{
    public:   virtual ~Shape()        {}
              virtual void Print()    {std::cout << "Shape\n";}
};
class Point: public Shape
{
    public:   virtual void Print()    {std::cout << "Point\n";}
};

int main ()
{
    Point   p;
    Shape*  s = &p;

    s->Print();
    (*s).Print();
}

> vi x.cpp
> g++ x.cpp
> ./a.exe
Point
Point

正如您所看到的，两种情况下的结果是相同的。

当您通过指针或引用调用方法时，将调用虚拟调用机制。星号运算符（又名解引用运算符）返回对对象的引用（它实际上并不解引用该对象）。因此，当它用于调用方法时，将调用虚拟调用机制并调用该方法的最派生版本。

Answer 8

它们都是一样的。
*ptr.field 取消引用变量 ptr，然后返回成员 field 的值。

-> 运算符是上述内容的简写符号。