C中没有像MRO那样的MRO.如果一个方法是模糊的,那么这是一个编译时错误.一个方法是否是虚拟的不影响它,但虚拟继承会.

该算法在C标准§[class.member.lookup](10.2)中描述.基本上它将在超类图中找到最接近的明确的实现.该算法的工作原理如下：

假设你想在C类中查找一个函数f.

>我们定义一个查找集合S(f,C),它是一组表示所有可能性的集合(Δ,Σ). (§10.2/ 3)

>集合Δ称为声明集,这基本上都是可能的f.

>集合Σ被称为子对象集,它包含找到这些f的类.

>让S(f,C)包括C中直接定义(或使用ed)的所有f(如果有的话)(§10.2/ 4)：

Δ = {f in C};

if (Δ != empty)

Σ = {C};

else

Σ = empty;

S(f, C) = (Δ, Σ);

>如果S(f,C)为空(§10.2/ 5),

>计算S(f,Bi)其中Bi是C的基类,对于所有i.

将每个S(f,Bi)逐个合并成S(f,C).

if (S(f, C) == (empty, empty)) {

B = base classes of C;

for (Bi in B)

S(f, C) = S(f, C) .Merge. S(f, Bi);

}

>最后,声明集作为名称解析的结果返回(§10.2/ 7).

return S(f, C).Δ;

>两个查找集合(Δ1,Σ1)和(Δ2,Σ2)之间的合并定义为(§10.2/ 6)：

>如果Σ1中的每个类都是Σ2中至少一个类的基类,则返回(Δ2,Σ2).

(反之亦然)

>否则如果Δ1≠Δ2,则返回(模糊,Σ1∪Σ2).

>否则返回(Δ1,Σ1∪Σ2)

function Merge ( (Δ1, Σ1), (Δ2, Σ2) ) {

function IsBaseOf(Σp, Σq) {

for (B1 in Σp) {

if (not any(B1 is base of C for (C in Σq)))

return false;

}

return true;

}

if (Σ1 .IsBaseOf. Σ2) return (Δ2, Σ2);

else if (Σ2 .IsBaseOf. Σ1) return (Δ1, Σ1);

else {

Σ = Σ1 union Σ2;

if (Δ1 != Δ2)

Δ = ambiguous;

else

Δ = Δ1;

return (Δ, Σ);

}

}

例如(§10.2/ 10),

struct V { int f(); };

struct W { int g(); };

struct B : W, virtual V { int f(); int g(); };

struct C : W, virtual V { };

struct D : B, C {

void glorp () {

f();

g();

}

};

我们计算

S(f, D) = S(f, B from D) .Merge. S(f, C from D)

= ({B::f}, {B from D}) .Merge. S(f, W from C from D) .Merge. S(f, V)

= ({B::f}, {B from D}) .Merge. empty .Merge. ({V::f}, {V})

= ({B::f}, {B from D}) // fine, V is a base class of B.

和

S(g, D) = S(g, B from D) .Merge. S(g, C from D)

= ({B::g}, {B from D}) .Merge. S(g, W from C from D) .Merge. S(g, V)

= ({B::g}, {B from D}) .Merge. ({W::g}, {W from C from D}) .Merge. empty

= (ambiguous, {B from D, W from C from D}) // the W from C is unrelated to B.