作者s4300026 (s4300026)
看板C_and_CPP
標題[問題] vector erase out of range error (Done)
時間Mon Aug 20 11:27:00 2018
開發平台(Platform): (Ex: Win10, Linux, ...)
win10
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
VC 2017
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
#pragma comment(lib,"Ws2_32.lib")
#include <Winsock2.h>
#include <Ws2tcpip.h>
#include <string>
#include <vector>
#include <map>
#include <mutex>
問題(Question)：
vector 刪除元素時發生錯誤，最神奇的地方是：
vector 是有正確存放資料
想詢問有什麼特殊情況會發生這樣的事情呢?
且 iterator 也有正確指向資料
餵入的資料(Input)：
struct ptr
預期的正確結果(Expected Output)：
可以刪除元素
錯誤結果(Wrong Output)：
擲回例外狀況
程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔)
https://pastebin.com/W8eRsbef
補充說明(Supplement)：
https://imgur.com/a/2ScWsfO
思考想法：
int main 選擇要擔任 server 或 client, 然後就 getchar() 等關閉.
希望能實現 non-blocking socket recv/ send/ accept
因此採用 thread 和 select 去避免無回應的情況
問題出在當 client 斷線後，我會收到 recv <= 0
那我就要將該 clinet listener 砍除
問題發生在砍除的時候 vector.erease
但砍除前都有抓到 iterator , 因此覺得奇怪
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.250.235.221
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1534735623.A.068.html
1F：推 damody: iterator erase後本來就會壞掉 08/20 11:29
我知道你說的狀況，我的解決方法如下：
return socketVector.erase(i);
參考文獻如下：
https://blog.csdn.net/dgyanyong/article/details/21268469
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 11:33:14
2F：→ bluesoul: 呼叫erase後，不應該++i，因為已經跳到下一個了 08/20 11:41
這方面我是用break, 所以應該沒這個問題。
(不過這確實是個BUG，我會修改成 continue )
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 12:00:44
3F：→ bluesoul: 你傳進去的iterator和使用的是不同的 vector 08/20 12:13
4F：→ bluesoul: listener應該是個reference指向MySocketListener 08/20 12:14
5F：→ bluesoul: 而非object 08/20 12:14
參考行數 與 關鍵內容
L232 L239
class MySocketBase abstract
{
std::vector<MySocketStruct*> socketVector;
}
L353 L435
class MySocketServer :public MySocketBase
{
std::vector<MySocketStruct*> MySocketListener() { return socketVector; };
}
L76 L82
void ServerThread(...)
{
listener = mySocketServer->MySocketListener();
}
你是說 listener 與 mySocketServer->socketVector 是不相同的vector的意思嗎?
那我應該要怎麼寫才對呢? 宣告vector成指標，把回傳值改成指標嗎?
可是我在debug的時候他們指向是同樣的記憶體位置阿
PS: 我用我的手機看補充資料
https://imgur.com/a/2ScWsfO 是模糊的
但是用電腦看卻可以放大...
6F：推 legendmtg: 198行 delete[] 08/20 12:23
7F：推 legendmtg: 你對new[]出來的東西用了delete 08/20 12:25
new 出來的應該要 delete 吧? 我 delete 的方式應該要怎麼改才正確呢?
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 12:40:56
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 12:43:19
8F：推 LPH66: delete 帶中括號寫成 delete[] 08/20 12:47
9F：→ sarafciel: delete recvBuffer(X)=>delete [] recvBuffer(O) 08/20 12:47
10F：→ LPH66: 因為你是 new[] 一個陣列出來要用 delete[] 08/20 12:47
11F：→ s4300026: 好，感謝樓上 08/20 13:01
12F：→ bluesoul: 回傳reference或是指標都可以 08/20 14:19
13F：→ bluesoul: 內容是一樣沒錯，但是iterator是不同的 08/20 14:20
14F：→ sarafciel: 研究了一下 應該是bluesoul講的那樣沒錯 08/20 14:20
15F：→ bluesoul: 不同containter的iterator不能混用 08/20 14:20
16F：→ sarafciel: 你看到的記憶體位置是MySocketStruct *指到的位置 08/20 14:21
受到bluesoul的啟發，我目前做了兩種更動方式如下(一次可行，一次不可行)：
但我仍然不懂為什麼...
1. 不可行(照樣報相同的錯誤)，但預期可行，因為我覺得我是傳址啊!!!
目標：將所有覺得可能會影響的位置全部更改為 左值
L353 L435 L437
class MySocketServer :public MySocketBase
{
std::vector<MySocketStruct*>
& MySocketListener()
{ return socketVector; };
std::vector<MySocketStruct*>::iterator
&
DisConnectListener(std::vector<MySocketStruct*>::iterator
& i)
{ return MySocketBase::DisConnectSocketVector(i); };
}
L232 L313
class MySocketBase
{
std::vector<MySocketStruct*>::iterator
&
DisConnectSocketVector(std::vector<MySocketStruct*>::iterator
& i)
{
std::lock_guard<std::mutex> mLock(this->gMutex);
(*i)->DisConnect();
printf_s("\nuntil here is ok.\n");
return socketVector.erase(i);
//一樣死在這裡
};
}
2. 可行(至少沒報錯)，但很醜且違反關注點分離
L232 L313
class MySocketBase
{
std::vector<MySocketStruct*>::iterator*[33m&*[m
DisConnectSocketVector(std::vector<MySocketStruct*>::iterator*[33m&*[m i)
{
std::lock_guard<std::mutex> mLock(this->gMutex);
(*i)->DisConnect();
printf_s("\nuntil here is ok.\n");
//return socketVector.erase(i);
//刪除本行
return i;
};
}
L76 L146 L164
void ServerThread(...)
{
mySocketServer->DisConnectListener(i);
//不接收回傳值
i = listener.erase(i);
//在外面刪除，但違反關注點分離
}
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 15:57:57
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 15:58:52
17F：→ sarafciel: 79行的listener也必須是reference或指標 08/20 16:06
18F：→ s4300026: 可是79行是宣告耶... 08/20 17:48
19F：→ sarafciel: 想辦法解囉 不然你對listener做assign就還是傳值 08/20 17:58
確實，第79行添加 & 後就過了。
感謝在坐的所有大大讓問題順利解決了 (至少測個兩三次沒報錯)
問題的確是出在 兩個不相同的 vector 上面
感覺就像是
struct foo{int a;}
int main(){int b = foo.a;}
a 和 b 的值一樣，但 a 和 b 址不一樣
我以為我在對 a 操作，卻實際上是在對 b 操作
以至於出錯了
感謝大大 damody bluesoul legendmtg LPH66 sarafciel 們參與討論
讓小弟能快速修正問題，謝謝大家~
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 19:08:04