• 如果您觉得本站非常有看点,那么赶紧使用Ctrl+D 收藏吧

包含多态对象的向量:静态断言错误

c/c++ 来源:MGreene 18次浏览

自大学以来没有使用C++后,我试图使用具有两种类型的子对象的向量,而且我显然得到了一些错误。包含多态对象的向量:静态断言错误

最初我使用了一个可以工作的指针向量,但是如果我理解正确,那么在清除时会泄漏内存。

我得到的错误导致我相信它与类中的静态计数器有关(与最后一个成员一起销毁?),但删除并没有解决它。

错误会导致在此,在stl_construct.h:

#if __cplusplus >= 201103L 
     // A deleted destructor is trivial, this ensures we reject such types: 
     static_assert(is_destructible<_Value_type>::value, 
      "value type is destructible"); 
#endif 

嗯,好吧,但我的析构函数都明确声明。我记得父类应该使用虚拟析构函数并修复它,但问题依然存在。

将构造函数/析构函数移到公共虚拟父类上不应该(事实上也没有)改变它。

现在我假设我以某种方式滥用向量。这是我的例子:

主:

#include <stdio.h> 
#include "Foo.h" 
#include <iostream> 
Bar buildBar(); 

int main(int argc, char **argv) 
{ 
    std::vector<Foo> Foos; 
    Foos.reserve(1); 
    Foos.push_back(buildBar()); 
    for (int idx=(0);sizeof(Foos);idx++) 
    { 
     try { 
      std::cout << "x = " << Foos.at(idx).getLoc().at(0); 
     } 
     catch (std::exception& e) { 
       std::cout << idx << ": Index out of range" << std::endl; 
      } 
    } 
Foos.clear(); 
return 0; 
} 

Bar buildBar() 
{ 
    Bar* temp = new Bar(5,6); 
    return *temp; 
} 

foo.h中,用构造移到头:

#ifndef FOO_H 
#define FOO_H 
#include <vector> 
class Foo 
{ 
public: 
    //int maxoID(){return lastoID;} //0-indexed 
    /* Other things */ 
    virtual std::vector<int> getLoc(){ return {x_Base,y_Base};} 
    Foo(): 
    //oID(-1), 
    x_Base(-1), 
    y_Base(-1){} 
    virtual ~Foo(){} 
protected: 
    int x_Base; 
    int y_Base; 
}; 

class Bar : public Foo 
{ 
public: 
    Bar(int x1, int y1): 
     x_End(-1), 
     y_End(-1) 
     { 
      x_Base = x1; 
      y_Base = y1; 
     } 
    ~Bar(){} 
    std::vector<int> getLoc() {return {x_Base,y_Base,x_End,y_End};} 
protected: 
    int x_End; 
    int y_End; 

}; 

#endif // FOO_H 


===========解决方案如下:

首先,良好的对你进行讯问的原始指针的使用!人们往往盲目地使用它们,并最终导致其他问题。

您现在的问题是你有object slicing。当您将Bar插入vector<Foo>时,您将失去有关Bar的重要信息。如果您调用只需要一个Foo而不是Foo&Foo*的函数,则会发生同样的情况。

根据您的使用,您可以使用std::unique_ptrstd::shared_ptr,或std::reference_wrapper

请注意,您可以使用原始指针,他们将不只是自动内存泄漏,但vector概不负责用于存储器(这是使用智能指针我指出之一的美容)

这是完全可以接受的:

int main() 
{ 
    Foo* f = new Foo; 
    { 
     std::vector<Foo*> v; 
     v.push_back(f); 
    } // v goes out of scope and is cleaned up 
    delete f; // the vector won't have cleaned this up, it's our responsibility  
} 

使用unique_ptr取而代之只是使这一整件事情变得更加简单。当然,在这样的光例如原始指针是易于使用,但在较大的程序能失控:

还要注意,并作为@juanchopanza points out in the comments,你buildBar函数泄漏内存。当你调用

return *temp; 

您创建一个副本,你会失去temp的内存地址,因此无法将其删除。

Bar buildBar() 
{ 
    Bar* temp = new Bar(5,6); 
    return *temp; 
} 

Bar b = buildBar(); 
Bar* p = &b; // this only reference the copy, b 
delete p; // this is bad, this will (double) delete the memory from b, which is not the same as temp. 

b将被清理时自动超出范围(这是坏的,如果你还试图将其删除),但你没有办法删除temp


版权声明:本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系管理员进行删除。
喜欢 (0)