c++ - 多态 C 风格的转换有任何开销吗？

Question

• 将派生类实例的指针强制转换为实例基类在 C++ 中是否有任何运行时开销，还是在编译时解决？

• 如果有的话，在转换操作中究竟需要计算什么？

例子:

class Foo;
class Bar : public Foo;

Bar* y = new Bar;
Foo* x = (Foo*) y;

(我知道我应该使用 C++ 风格的强制转换，而且答案可能与它们相同)

Answer 1

是的，虽然可以忽略不计。

在这种情况下，C 风格转换被解释为 static_cast，这可能会导致指针调整。

struct Base {};

struct Derived: Base { virtual ~Derived(); } // note: introduced a virtual method

int main()
{
  Derived derived;
  Base* b = &derived;
  Derived* d = (Derived*) b;

  void* pb = b;
  void* pd = d;

  printf("%p %p", pb, pd);

  return 0;
}

只要基础子对象未在派生对象的同一地址对齐，就会发生这种开销，这种情况发生在:

• 介绍第一个虚方法
• 使用多重继承

当然，指针调整通常被认为是可以忽略不计的，编译器应该足够聪明，在不需要的时候将其消除(调整为 0)。

注意:这取决于实现，不是标准强制要求的