C ++中的函数签名和继承

Question

假设我有两个类A和B而B派生A

A类：

class A
{
public:
    virtual const unsigned char* getArray()
    {
        return array;
    }

protected:
    unsigned char array[250];
};

B级：

class B : public A
{
public:
    virtual unsigned char* getArray()
    {
        return array;
    }
};

我可以创建C类来做到这一点吗？

class C
{
public:
    const unsigned char* getArrayMiddle(A &a)
    {
        return (a.getArray() + 125);
    }

    unsigned char* getArrayMiddle(B &b)
    {
        return (b.getArray() + 125);
    }
};

通过这个简单的示例，我试图知道是否可以在类C创建两个方法，如果接收到的对象的类型要求，则其中一个可以返回const指针。

即使B派生A ，编译器是否也会根据参数的类型自动在C调用正确的方法？

澄清一下，如果我有

A* obj = new B();
C c;
c.getArrayMiddle(*obj);

哪个函数会被调用？ 会造成意想不到的情况吗？

Answer 1

即使B派生A ，编译器是否也会根据参数的类型自动在C调用正确的方法？

编译器将根据参数表达式的静态 （编译时）类型将方法调用解释为对这两个方法中的任何一个。 我想，确定您是否认为这是正确的方法是要调用的方法。

如果参数的静态类型为B & ，则将调用第二个变体（返回unsigned char * ）。 如果不是B &而是A &则将调用第一个变体（返回const unsigned char * ）。

确定在哪种情况下调用哪种重载方法的精确规则非常复杂，但是通常，通常首选更具体的合适候选对象。 在这种情况下， B &比A &更具体，因此，如果确实是B & ，则将调用该参数，即使在这种情况下A &由于继承层次结构，该参数可以微转换为A & 。

但是 ，值得注意的是（根据cpplearner的评论）发布的代码不应编译。 B不能使用删除const限定符的版本覆盖getArray 。 G ++ 5.4将其诊断为错误。 相反，您不能让一个方法替代另一个方法：删除virtual说明符，或给它们指定不同的名称，或将A中的方法标记为const方法。