>>277
型に互換性があるとは、どういうことでしょうか？
A型とB型に継承関係がある時に、互換性があるというのでしょうか？
class A {
}
class B: A {
}
の時、A型、B型に互換性があるト言うことでしょうか？

Cの場合には、cp, vpが互換性があるとは、例えば次の様な場合の様ですが。
int *const cp;
int *volatile vp;