[問題] vector erase out of range error (Done)

[s4300026 (s4300026)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1534735623.A.068.html
推 damody: iterator erase後本來就會壞掉
我知道你說的狀況，我的解決方法如下：
    return socketVector.erase(i);

參考文獻如下：
https://blog.csdn.net/dgyanyong/article/details/21268469

※ 編輯: s4300026 (60.250.235.221), 08/20/2018 11:33:14
→ bluesoul: 呼叫erase後，不應該++i，因為已經跳到下一個了
這方面我是用break, 所以應該沒這個問題。

(不過這確實是個BUG，我會修改成 continue )
※ 編輯: s4300026 (60.250.235.221), 08/20/2018 12:00:44
→ bluesoul: 你傳進去的iterator和使用的是不同的 vector
→ bluesoul: listener應該是個reference指向MySocketListener
→ bluesoul: 而非object
參考行數 與 關鍵內容

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 是模糊的

但是用電腦看卻可以放大...

推 legendmtg: 198行 delete[]
推 legendmtg: 你對new[]出來的東西用了delete
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
推 LPH66: delete 帶中括號寫成 delete[]
→ sarafciel: delete recvBuffer(X)=>delete [] recvBuffer(O)
→ LPH66: 因為你是 new[] 一個陣列出來要用 delete[]
→ s4300026: 好，感謝樓上
→ bluesoul: 回傳reference或是指標都可以
→ bluesoul: 內容是一樣沒錯，但是iterator是不同的
→ sarafciel: 研究了一下 應該是bluesoul講的那樣沒錯
→ bluesoul: 不同containter的iterator不能混用
→ sarafciel: 你看到的記憶體位置是MySocketStruct *指到的位置
受到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
→ sarafciel: 79行的listener也必須是reference或指標
→ s4300026: 可是79行是宣告耶...
→ sarafciel: 想辦法解囉 不然你對listener做assign就還是傳值
確實，第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