C++重载解析问题

Question

我有以下结构：

struct  A
{
    A();
    virtual ~A();
    
    virtual void    Foo() =0;
};

struct  E;
struct  F;

struct  B:  public A
{
    B();
    virtual ~B();
    
    virtual void    Bar(E*) =0;
    virtual void    Bar(F*) =0;
};

struct  C:  public B
{
    C();
    virtual ~C();
    
    void    Bar(E*);
};

struct  D:  public C
{
    D();
    virtual ~D();
    
    void    Foo();
    void    Bar(F*);
};

struct  E:  public A
{
    E();
    virtual ~E();
    
    void    Foo();
    /* ... */
};

struct  F:  public A
{
    F();
    virtual ~F();
    
    void    Foo();
    /* ... */
};

template <class _Base>
struct  G:  public _Base
{
    G(const _Base &b)
    :   _Base(b)
    {}

    virtual ~G()
    {}
    
    using _Base::Bar; // doesn't help
    /* ... */
};

当我尝试对 G类型的对象调用 Bar() 时，使用 E* 时，我收到以下编译时错误：

错误：没有匹配的函数可用于调用“G::Bar(E*&)”

注意：候选者是：virtual void D::Bar(F*)

如果我重命名 (virtual) void Bar( 的声明F*)，代码编译良好并按预期工作。

用法：

typedef std::list<E*> EList;
typedef std::list<F*> FList;
EList es;
FList fs;

G<D> player(D());

es.push_back(new E); // times many
fs.push_back(new F); // times many

for(EList::iterator i0(es.begin()), i1(es.end()); i0 != i1; ++i0)
{
  player.Bar(*i0);
}

for(FList::iterator i0(fs.begin()), i1(fs.end()); i0 != i1; ++i0)
{
  player.Bar(*i0);
}

1、使用不同参数的成员函数的多个重载有什么问题？

2、为什么编译器无法区分它们之间的区别？

Answer 1

只有最派生类中包含 Bar 重写的 Bar 版本才会被考虑进行重载解析，除非您添加 using 声明。如果你尝试的

struct  D:      public C
{
    D();
    virtual ~D();

    void        Foo();
    void        Bar(F*);
    using C::Bar;
};

话它应该会起作用。

Answer 2

从您的代码中：

• G 扩展了 G 中的 D，
• 您在 Bar(E*) 上调用 <代码>G -> G 确实
  没有 Bar 方法，所以看看基础
  类
• 基类是 D
• D 有 Bar(F*) 但没有 Bar(E*) --> ;
  struct E 与以下类型不同
  struct F 所以你会得到一个错误

回答你的问题：E 与 F 的类型无关，编译可以分辨出差异，这就是你收到错误的原因。

我不确定您添加了哪个 Bar，但是如果基类已经将 Bar 声明为 virtual，则扩展它的所有类都已经具有 Bar virtual，因此如果您将单词（虚拟）添加到扩展类中并不重要。

如果您展示如何实例化对象以及如何在其上调用 Bar(F*) 将会有所帮助。运行时决策取决于您如何调用方法以及传递哪些参数。