C++ 通过以非抽象子类为参数的方法重写引用抽象类作为参数的纯虚方法

我有以下代码：

struct A{ f()=0; };
struct Aa : A{ f(){} };
struct B{
   void foo(A&)=0;
};
struct Bb : B{
   void foo(Aa&);
};

现在我无法创建Bb类实例，因为我没有覆盖foo从课堂上B与所需的参数。我怎样才能让它发挥作用？

让我们假设这是可能的/编译并添加额外的类：

struct A{ void f()=0; };

struct Aa : A{ int x; void f(){} };
struct Ab : A{ double x; void f(){} };

struct B{
   void foo(A&)=0;
};
struct Bb : B{
   void foo(Aa&);
};

现在这应该如何运作？

std::unique_ptr<B> p = std::make_unique<Bb>;
Ab a;
p->foo(a); // ???

如何重写函数Bb::foo应该处理这种情况吗？它期待某种类型的东西Aa，但是得到了Ab哪个不是Aa. From B::foo从这个角度看，这个电话完全没问题，因为Ab是的孩子A.

这应该会提示您为什么编译器没有执行您所期望的操作。