将方法参数类型更改为子类中的派生类

Change method argument type to a derived class in child class

本文关键字：子类 派生 方法 参数 类型      更新时间：2023-10-16

我正在创建一个数据库接口，并有两个不同的数据库实现来使用此接口

例如：

class DBOptions {
protected:
DBOptions();
};
class SQLliteDBOptions : public DBOptions { bool verySpecificSQLiteOption; };
class MySQLDBOptions : public DBOptions{ bool verySpecificMySQLOption; };
class DBIface {
public:
enum FileMode {
READ = 1,
WRITE = 2,
READWRITE = 3
};
public:
virtual bool connect(char * filename, DBIface::FileMode mode, DBOptions * opt) = 0;
virtual bool disconnect() = 0;
};
class SQLiteDB : public DBIface {
public:
bool connect(char * filename, DBIface::FileMode mode, SQLliteDBOptions * options)
{ std::cout << "connect form sqliten"; }
bool disconnect() { std::cout << "disconnect from sqliten"; }
};
class MySQLDB : public DBIface {
public:
bool connect(char * filename, DBIface::FileMode mode, MySQLDBOptions * options)
{ std::cout << "connect form mysqln"; }
bool disconnect() { std::cout << "disconnect from mysqln"; }
};
int main() {
DBIface * sqlitedb = new SQLiteDB();
SQLliteDBOptions * opt = new SQLliteDBOptions();
sqlitedb->connect("file", DBIface::READ, opt);
return 0;
}

两个派生类中connect的方法不被视为父类中纯方法的实现。我应该怎么做才能解决此问题？

我希望我的类接受正确的数据库选项实例。我想我可以将 DB 选项动态转换为我需要的类型，但我想这不是最好的解决方案。

我是否应该创建一个 setter 方法来设置每个数据库实现的数据库选项？

我会说让选项参数成为派生数据库类型构造函数的参数。这样，派生类型就可以要求正确的选项类型，而不必担心匹配基签名。 只要选项参数在任何虚拟方法上，那么它就必须是相同的(或通过逆变的基类型(。

您必须在派生类中声明一个与纯虚拟方法 connect(( 具有相同参数的方法。也就是说，派生类也将被视为抽象类，除非您重写所有纯虚函数。

我尝试了SoronelHaetir提出的解决方案。正如预期的那样，它有效，我认为它以优雅的方式解决了您的问题。

class SQLiteDB : public DBIface{
public:
SQLiteDB(SQLliteDBOptions* opt) { pOtps = opt; }
bool connect(char * filename, SQLiteDB::FileMode mode)
{
std::cout << "connect form sqliten";
}
bool disconnect() { std::cout << "disconnect from sqliten"; }
private:
SQLliteDBOptions * pOtps;
};

int main() {
SQLliteDBOptions * opt = new SQLliteDBOptions();
DBIface * sqlitedb = new SQLiteDB(opt);
sqlitedb->connect("file", DBIface::READ);
return 0;
}

当然，抽象基类中的虚函数必须相应地修改：

virtual bool connect(char * filename, DBIface::FileMode mode) = 0;

我会完全摆脱connect和disconnect。此功能应分别移动到派生类的构造函数和析构函数。每个构造函数可能有不同的签名，这完全没问题，因为它们不是虚拟的。

这样，如果你有一个派生自DBIface的对象，你可以绝对确定它是连接的。

此解决方案符合 RAII 习惯用法，因此可以推荐作为首选选项。

相关文章：