C++ 中的参数多态性和包含多态性是什么？

Question

我正在地址 https 阅读一些 C++ 文本://cs.senecac.on.ca/~chris.szalwinski/archives/btp200.082/content/adhoc.html。

在UNIVERSAL POLYMORPHISM一节中，作者提到了Parametric和Inclusion多态性。我不太确定我是否理解这一点，特别是为什么Parametric多态性是在编译时实现的，而Inclusion多态性是在运行时实现的？

任何人都可以给我一个明确的解释或例子吗？

Answer 1

C++ 中的“参数多态性”表示模板。

我认为 C++ 中的“包含多态”是指标准所指的多态：虚拟方法、子类等。

我认为这些名字很笨拙，而且带有学术气息。

Answer 2

我认为“参数化”指的是方法/函数重载 - 我们可以通过查看参数的数据类型来确定在编译时使用哪种方法。

“包含”意味着方法/函数重写 - 在父子类关系中，如果父类和子类具有相同的函数，那么它将在运行时确定（取决于对象类型） ）将调用什么方法。

Answer 3

我理解通用多态性与我们在 C++ 中所期望的不同。 C++ 是临时多态性。

Universal 表示，无论类型数量如何，同一签名只能有多个版本。

我认为其他答案忽略了参数和包含是通用类别的细节。鉴于原文，我可以看出他们或我是如何感到困惑的。 ;)

给出以下内容：

struct Foo {
  virtual void foo();
};

struct Bar {
  virtual void bar();
  // virtual void foo(); // this would error
};

参数将类似于：

struct FooBar : public Foo, public Bar {};

FooBar 中包含的签名在编译时静态确定。

C++ 不直接支持包含多态性。它们更接近于您可能在函数是一阶的脚本语言中发现的注入。

请不要从字面上理解此代码，它只是用于演示。

struct FooBar {};

int main() {
  FooBar foob;
  foob.foo = Foo::foo;
  foob.bar = Bar::bar;
  return 0;
}

FooBar 在编译时并不知道它的接口，它是动态组合的。我在 javascript 和 Lua 中使用过类似的行为，并且我确信许多其他人也有类似的行为。