会员访问差异

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++'s operator precedence。 . 的优先级低于*，因此*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 表示同样的意思，但没有那么整洁。当您有一个结构而不是指向结构的指针时，您将使用*strct.fld，其中包含一个字段 (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 形式是一种缩写语法，用于直接从指针访问成员

更新：我想到您的原始意图不是链接而是绑定 如果这确实是您的目标，那么有 静态绑定 和 动态绑定 这与 -> 运算符 see here

有一些关系

Answer 3

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

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

但这与您提到的指针间接无关-实际上，这两个表达式是相同的。

Answer 4

我假设*ptr.field 是指(*ptr).field。

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

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

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

Answer 5

这与链接无关。

ptr->fld 

只是

的简写

(*ptr).fld

这是纯粹的语法糖；）

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

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

当您通过指针或引用调用方法时，将调用虚拟调用机制。星号运算符（AKA 取消引用运算符）返回对对象的引用（它实际上并不取消引用该对象）。所以当它被用来调用一个方法时，会调用虚调用机制，并调用该方法的最衍生版本。

Answer 8

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

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