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;
}

要完成信息，我收到的deleteInstance实现错误：

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

问题是，通过引用指向基类型的指针来绑定指向派生类型的指针会破坏类型系统。考虑这个激励性的例子：

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后，您的应用程序中delete指针两次的任何潜在问题都将被隐藏，因为它对{ {1}}一个NULL指针。虽然您可能认为这是一个好主意 - 毕竟，它避免了崩溃您的应用程序 - 从长远来看这是一个坏主意，因为核心问题仍然存在：设计无法提供正确的所有权语义。 / p>

Answer 2

该问题与基类与派生类指针无关;问题很简单，你已经声明你的方法接受指向MM的指针作为参数，并且你只传递一个指向MM的指针。

您可以通过引用传递指向MM的指针 - 即。，

void deleteInstance( T* &pInstance ) ...

Answer 3

我不确定我喜欢你想做什么，但我无法理解为什么 - 我认为这个想法很好。 ..但是你可以用它来实现它。

template<typename T>
void deleteInstance( T * & pInstance )
{
  // This conversion is here so you get a nice error if 
  // you try to use it on a type that isn't derived from MM.
  MM* tmp = pInstance;
  delete tmp;
  pInstance = NULL;
}

Answer 4

deleteInstance无法正常工作的原因是您对通过将M1 *或M2 *转换为MM *而创建的临时值进行非const引用。

deleteInstance2不起作用的原因是Derived **不能转换为Base **。 This faq解释得非常好。

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

4 个答案: