如何调用精确的派生类方法？

Question

继续我之前的问题： How to return derived type?

我有一个 Validator 类和从它派生的类；当我尝试 返回指向派生类的指针，然后方法返回基 类（验证器）而不是派生。

我将我的班级修改为下一个：

class Validator
{
public:
    std::string m_name = "BaseValidator";

    static const std::map<std::string, Validator *> validators();

    void validateModel(Model &model, const std::vector<std::string> &attrNames);
    static Validator *getByName(std::string &name);

    virtual void validateAttribute(Model &model, const std::string &attribute);
    virtual ~Validator();

    virtual std::string name() const;
};

const std::map<std::string, Validator*> Validator::validators()
{
    std::map<std::string, Validator*> result;
    result["required"] = new RequiredValidator();
    return result;
}

void Validator::validateModel(Model &model, const std::vector<std::string> &attrNames)
{      
     validateAttribute(model, name.at(0));    
}

Validator* Validator::getByName(std::string &name)
{
    auto g_validators = Validator::validators();
    auto validator = g_validators.find(name);
    if(validator != g_validators.end()){
        return validator->second;
    }else{
        std::cerr << "Unknow type of validator: " << name << std::endl;
    }
    return nullptr;
}

void Validator::validateAttribute(Model &model, const std::string &attribute)
{
    (void)model;
    (void)attribute;
    std::cout << this->name() << std::endl;
}

//------------------

class RequiredValidator : public Validator
{
public:
    std::string m_name = "RequiredValidator";

    void validateAttribute(Model &model, std::string &attribute);
    ~RequiredValidator();
    std::string name() const;
};


std::string RequiredValidator::name() const
{
    return m_name;
}

void RequiredValidator::validateAttribute(Model &model, std::string &attribute)
{
    (void) model;
    (void) attribute;
    std::cout << "RequiredValidator!!!" << std::endl;
}

RequiredValidator::~RequiredValidator()
{

}


//------------------

auto validator = Validator::getByName("required");

validator->name();// will output RequiredValidator

//next i'm calling 

validator->validateModel(); // whos calling validateAttribute() inside
//and it's output Validator::validateAttribute() //but i wan't
//RequiredValidator::validateAttribute(); 
//where i was wrong with logic???

我想要的相同的虚拟方法 name() 工作，但是 validateAttribute() 仅从基类调用。

Answer 1

仔细看看你是如何定义void RequiredValidator::validateAttribute()

您可能会注意到签名与基数略有不同（std::string &attribute 不是 const）

有一个关键字 override 可以帮助编译器捕捉这些类型的拼写错误。

Answer 2

• 首先，正如其他人指出的那样，

§13.1 标准讨论了不能被 重载状态 -

仅在存在或不存在时不同的参数声明 const 和/或 volatile 是等价的。即 const 和 volatile 忽略每个参数类型的类型说明符 [...]

只有最外层的 const 和 volatile 类型说明符 以这种方式忽略参数类型规范；常量 以及隐藏在参数类型中的 volatile 类型说明符 规范是重要的，可以用来区分 重载函数声明。 [...]

在确定声明、定义或调用哪个函数时。 “特别是，对于任何类型 T，“指向 T”、“指向 const T 的指针”， 和“指向 volatile T 的指针”被认为是不同的参数类型， 就像“对 T 的引用”、“对 const T 的引用”和“对 挥发性T。”

因此，

void validateAttribute(Model &model, std::string &attribute) override;

不一样

void validateAttribute(Model &model, const std::string &attribute);

• 其次，如果您有C++11 或更新的版本，则可以在函数声明中使用override 关键字来避免遇到此类错误，如下所示。

使用 override 关键字，除非派生类中的函数签名与基类中的函数签名匹配，否则此代码不会让您编译！

class RequiredValidator : public Validator
{
public:
    std::string m_name = "RequiredValidator";

    void validateAttribute(Model &model, std::string &attribute) override;
    ~RequiredValidator();
    std::string name() const;
};

编辑：附言。 override 需要 virtual 关键字。因此，

virtual void validateAttribute(Model &model, std::string &attribute) override;

Answer 3

删除所有不相关的代码，让我们看看你的基类和继承类的签名：

class Validator {
public:
    virtual void validateAttribute(Model &model, const std::string &attribute);
};

class RequiredValidator : public Validator {
public:
    void validateAttribute(Model &model, std::string &attribute);
};

在基类的::validateAttribute() 中，有参数Model& model 和const std::string& attribute，在派生类的::validateAttribute() 中，有参数Model &model 和std::string& attribute。

这里的冲突是const std::string& 和std::string&。要么使这两个函数预先完全匹配，要么在你的情况下，因为你试图使用多态性，你可以在派生类中通过这样做来解决这个问题：

/*virtual*/ void validateAttribute( Model& model, std::string& string ) override;

这里的override 关键字将生成一个编译器错误，用于解释您的问题所在。如果您打算从这个派生类继承，请不要忘记添加virtual。