c++ - 使用基类指针作为方法的参数

Question

以下测试代码演示了我在更大的应用程序中遇到的问题。在应用程序中，我有一项服务“提供”多个服务器，这些服务器全部派生自一个基类。然后，我使用 createInstance 根据服务器类型(下面使用的“n”)“访问”特定服务器。然后使用dynamic_cast 来转换为适当的服务器。这一切都运行良好。

问题是当我尝试使用deleteInstance 返回服务并将其删除时，清理所有内部服务器相关数据。我似乎找不到一个好的传递机制，或者它是否是实现我正在做的事情的有效方法。

#include <iostream>
#include <string>

class MM
{
public:
    virtual ~MM() {}

    virtual void start() = 0;
};

class M1 : public MM
{
public:
    void start()
    {
        std::cout << "M1 start" << std::endl;
    }
};

class M2 : public MM
{
public:
    void start()
    {
        std::cout << "M2 start" << std::endl;
    }
    void start( const std::string strName )
    {
        std::cout << "M2 start - " << strName << std::endl;
    }
};

MM * createInstance( int n )
{
    if( 2 == n )
    {
        return new M2;
    }
    else
    {
        return new M1;
    }
}

void deleteInstance( MM * & pInstance )
{
    delete pInstance;
    pInstance = NULL;
}

void deleteInstance2( MM ** ppInstance )
{
    delete *ppInstance;
    *ppInstance = NULL;
}

int main( int argc, char *argv[] )
{
    M1 *pM1 = dynamic_cast<M1 *>( createInstance( 1 ) );
    M2 *pM2 = dynamic_cast<M2 *>( createInstance( 2 ) );

    pM1->start();

    pM2->start();
    pM2->start( "test" );

    deleteInstance( pM1 );
    deleteInstance( pM2 );
    //deleteInstance2( &pM1 );
    //deleteInstance2( &pM2 );

    return 0;
}

要完成信息，我收到的删除实例实现错误:

68:25: error: invalid initialization of reference of type ‘MM*&’ from expression of type ‘M1*’
46:6: error: in passing argument 1 of ‘void deleteInstance(MM*&)’
69:25: error: invalid initialization of reference of type ‘MM*&’ from expression of type ‘M2*’
46:6: error: in passing argument 1 of ‘void deleteInstance(MM*&)’

对于deleteInstance2:

70:27: error: invalid conversion from ‘M1**’ to ‘MM**’
70:27: error:   initializing argument 1 of ‘void deleteInstance2(MM**)’
71:27: error: invalid conversion from ‘M2**’ to ‘MM**’
71:27: error:   initializing argument 1 of ‘void deleteInstance2(MM**)’

Answer 1

问题在于，将派生类型的指针与基类型指针的引用绑定(bind)起来会破坏类型系统。考虑这个激励人心的例子:

void resetPtr( base*& b ) {
   static base instance;
   b = &instance;
}
int main() {
   derived *d;
   resetPtr( d );        // Now d points to a base, not a derived object!!!!
}

虽然您可以像其他答案指出的那样解决这个问题(例如通过使用将推断适当类型的模板等)，但我建议您重新设计并通过按值指针。

为什么删除后将指针重置为 NULL 是一个坏主意？

将指针重置为 NULL 的问题在于它并没有真正解决任何问题，而且还增加了它自己的问题。

它并没有解决了解指针在应用程序中是否有效的问题，因为在一般情况下，您可以有多个指向给定对象的指针，并且因为您只删除其中一个，所以只删除其中一个指针将被重置为 NULL，并且您(至少在大多数情况下)将面临与开始时相同的情况。

它可以帮助隐藏应用程序逻辑中的错误:将指针重置为 NULL 后，应用程序中因两次删除指针而导致的任何潜在问题都将被隐藏，因为它是这样的可以安全地删除 NULL 指针。虽然您可能认为这是一个好主意——毕竟，它避免了应用程序崩溃——但从长远来看，这是一个坏主意，因为核心问题仍然存在:设计无法提供适当的所有权语义。