d的类似重载集

原文

class S {}
class A:S {}

class Visitor
{
    void visit(S s) {}
    void visit(A a) {}
}

class Derived : Visitor
{
}

void main()
{
   auto v = new Derived;
   v.visit(A.init); // 调用visit(A)
   v.visit(S.init); // 调用visit(S)
}

现在,加个假设"隐藏"函数:

class Derived : Visitor
{
   override void visit(A a) {}
//A
}

现在,用这两行:

v.visit(A.init);//工作,像以前一样调用visit(A)
v.visit(S.init); // 编译失败,无S重载

隐藏函数在哪?如果你认为它未出现在重载集中,那不重要.再把两个访问参数改成string和int,编译:

class Visitor
{
    void visit(string s) {}
    void visit(int a) {}
}

class Derived : Visitor
{
    override void visit(int a) {} //即使不含串例,也无问题
}

现在,如果你这样做了:

class Derived : Visitor
{
   override void visit(S s) {}
}

现在有个隐藏函数,因为visit(A.init)将调用子类visit(S),而之前它会调用Visitor.visit(A).
但事实并非如此.
规范说:如果通过隐式转换基类的,确实调用了其他函数,但这是非法的.
规范似乎未涵盖此例,并且它规定规则并不全是编译器当前实现的.我不确定错误在哪–规范或实现–肯定存在分歧.
说明使S接受终函数将解决问题.