2

以下测试代码演示了我在更大的应用程序中遇到的问题。在应用程序中，我有一项服务“提供”了几个服务器，这些服务器都派生自一个基类。然后，我使用 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**)’
4

4 回答 4

2

问题在于，将指向派生类型的指针与对基类型指针的引用绑定会破坏类型系统。考虑这个鼓舞人心的例子：

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都将被隐藏，因为它对deleteNULL 指针是安全的。虽然您可能认为这是一个好主意——毕竟，它避免了你的应用程序崩溃——但从长远来看，这是一个坏主意，因为核心问题仍然存在：设计未能提供适当的所有权语义。

于 2012-05-19T02:21:05.933 回答
1

这个问题与基类与派生类指针无关；问题只是你已经声明你的方法接受一个指向 MM 的指针作为参数，而你只是传递了一个指向 MM 的指针。

您可以通过引用传递一个指向 MM 的指针——即

void deleteInstance( T* &pInstance ) ...
于 2012-05-19T01:19:26.670 回答
0

我不确定我是否喜欢你正在尝试做的事情，但我无法解释为什么 - 我认为这个想法很好。..但是这是一种可以实现它的方法。

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;
}
于 2012-05-19T01:14:51.197 回答
0

deleteInstance不起作用的原因是您正在对由 M1* 或 M2* 转换为 MM* 创建的临时对象进行非常量引用。

不起作用的原因deleteInstance2是 Derived** 不能转换为 Base**。这个常见问题解答很好地解释了它。

于 2012-05-19T01:18:26.417 回答