段錯誤:: vector的

Question

我有一個Token類結構如下：

class Token { 
    public: 
     void* value; 
     token_type type; // enum to know which type of data is it storing inside value 
     unsigned int line; 

     Token() = default; 

     Token(void* new_value, token_type new_type): 
      value(new_value), type(new_type) 
      {} 

     ~Token() { 
      //free the memory occupied by the object pointed to by value based on it's type 
      //this also handles the case of the Token being an instantiation of Statement 
     } 
}; 

然後是類聲明一個聲明，內部令牌知道它持有一個聲明，因爲有一個特定的token_type類型。內部令牌做載體的清理工作在析構函數，因此必須有一個指向其value屬性是矢量，但我們也有在聲明該指針的拷貝，所以我們不需要從做演員void*至std::vector<Token>*每次;

現在，我試圖做的是這樣的：

std::string* value = new std::string("Sample text"); 
Token* to_be_pushed = new Token((void*) value, string); //the object pointed to by value will be deleted in this Token's destructor 

Statement* new_statement = new Statement; 

new_statement->list->push_back(to_be_pushed); 

delete new_statement; //Token destructor gets called; It knows it's a statement, 
//so it knows value is pointing to a std::vector<Token*> object, and it deletes each pointer in that vector and then the vector itself 

的問題，但是，我在哪裏我在new_statement->list末推to_be_pushed線得到一個分段錯誤。

我試過把這條線分成兩部分，我知道問題出在我打電話時list->push_back，而不是訪問new_statement->list。

這是我從GDB得到了回溯：

#0 0xb6e51410 in memmove() 
from /system/lib/libc.so 
#1 0x2a0066f8 in std::__copy_move<true, true, std::random_access_iterator_tag>::__copy_m<Token*> 
(__first=0x2a0198d0, __last=0x0, 
__result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_algobase.h:378 
#2 0x2a006640 in std::__copy_move_a<true, Token**, Token**> (__first=0x2a0198d0, __last=0x0, 
__result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_algobase.h:395 
#3 0x2a007070 in std::__copy_move_a2<true, Token**, Token**> (__first=0x2a0198d0, __last=0x0, 
__result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_algobase.h:432 
#4 0x2a007010 in std::copy<std::move_iterator<Token**>, Token**> (__first=..., __last=..., 
__result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_algobase.h:464 
#5 0x2a006fb0 in std::__uninitialized_copy<true>::__uninit_copy<std::move_iterator<Token**>, Token**> (__first=..., __last=..., 
__result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_uninitialized.h:93 
#6 0x2a006f70 in std::uninitialized_copy<std::move_iterator<Token**>, Token**> (__first=..., 
__last=..., __result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_uninitialized.h:123 
#7 0x2a006eec in std::__uninitialized_copy_a<std::move_iterator<Token**>, Token**, Token*> (
__first=..., __last=..., 
__result=0x2a019908) 
at /data/data/com.termux/files/usr/include/bits/stl_uninitialized.h:279 
#8 0x2a006dc0 in std::__uninitialized_move_if_noexcept_a<Token**, Token**, std::allocator<Token*> > (__first=0x2a0198d0, __last=0x0, 
__result=0x2a019908, __alloc=...) 
at /data/data/com.termux/files/usr/include/bits/stl_uninitialized.h:300 
#9 0x2a007264 in std::vector<Token*, std::allocator<Token*> >::_M_emplace_back_aux<Token* const&> (this=0x2a019908, 
__args=@0x2a0198e8: 0x2a0198d0) 
at /data/data/com.termux/files/usr/include/bits/vector.tcc:457 
#10 0x2a005b70 in std::vector<Token*, std::allocator<Token*> >::push_back (this=0x2a019908, 
__x=@0x2a0198e8: 0x2a0198d0) 
at /data/data/com.termux/files/usr/include/bits/stl_vector.h:1049 

這究竟是爲什麼？我究竟做錯了什麼？這是我發佈的錯誤代碼嗎？

Answer 1

Token((void*) list, statement); 

您期待這個調用超類的構造函數。這不會調用構造函數。所有這些都構造了一個臨時對象，然後立即被銷燬。調用父類的構造函數的唯一方法是在子類的初始化部分：

Statement() : Token(...) 

不過你的情況，你需要初始化子類，即其list成員，調用構造函數的超類之前。這不容易完成。雖然有這方面的解決方法，但這實際上是這個類層次結構中基本設計缺陷的一個症狀。

你有兩個選擇：

1. 重新實現你的類層次結構。你的課程設計的方式從根本上是錯誤的。正確設計的C++代碼應該永遠不需要像鑄造到void *這樣的技巧。

2. 手動初始化Token，在Statement的構造函數體中。使用Token的默認構造函數，然後修復它在Statement的構造體。

但是，即使你嘗試＃2的方法，你可能會發現後面的道路，特別是其他的問題：你的Statementviolates the Rule Of Three類。這幾乎可以肯定會導致很多難以追蹤的錯誤。

這裏的正確答案是退後一步，並完全重新設計您的班級層次。並且爲了正確使用C++庫容器而擺脫new分配也是一個優點。

有很多方法可以重新設計這個類的層次結構，沒有額外的信息，就不可能建議正確的類設計。