Vinatorul

Но у меня сразу возникает мысль. Если компоновка имени внешняя, то это значит, что это имя доступно в других единицах трансляции. Однако, как с функциями не работает:

foo.cpp
----------
void foo() {}


bar.cpp
----------
void foo();

void bar()
{
   foo();
}

То есть я не могу написать так:

A.cpp
----------
class A
{
};


B.cpp
----------
class A;

void foo(A a) // A is an incomplete type
{
}

A.cpp
----------
class A
{
};


B.cpp
----------
class A;

void foo(A& a) // A is an incomplete type, but who cares
{
}

Вопрос: какой смысл тогда во внешней компоновке имени класса?

class ButtonControlled
{
public:
  virtual void decide() = 0;  
};

class Elevator : ButtonControlled
{
private:
  Button* button;
  virtual void decide();
};

class Button
{
private:
  ButtonControlled* controlled;
public:
  Button(ButtonControlled &controlled);
  void push()
  {
    controlled->decide();
  }
};

Elevator::Elevator()
{
  button = new Button(*this);
}

но компилятор не проглатывает.