Question

我正在尝试解决这个问题，这似乎是我在超出范围的索引中访问，但是VS无法停止发生错误的地方，让我对造成这种情况的原因感到困惑。

错误：

调试断言失败！程序：....文件：c：\ program files \ microsoft visual studio 10.0 \ vc \ include \ vector行：1440表达式：字符串下标超出范围

该计划的作用：

有两个主题：

主题1：

第一个线程使用GetForegroundWindow()查看当前窗口中的更改（除此之外），检查不是在循环上发生，而是在触发WH_MOUSE_LL事件时发生。数据被拆分为固定大小的结构，以便可以通过tcp将其发送到服务器。第一个线程并将数据（Window Title）记录到当前结构中的std::list。

if(change_in_window)
{
    GetWindowTextW(hActWin,wTitle,256);
    std::wstring title(wTitle);
    current_struct->titles.push_back(title);
}

主题2：

调用第二个线程查找尚未发送的结构，并将其内容放入char缓冲区，以便可以通过tcp发送它们。虽然我不确切地知道错误的位置，但是从错误的类型来看，它是用字符串或列表来做的，这是我整个应用程序中使用列表/字符串的唯一代码（其余是常规数组）。另外注释代码注释中提到的if块会阻止错误发生。

  BOOL SendStruct(DATABLOCK data_block,bool sycn)
    {
    [..]

                int _size = 0;
// Important note, when this if block is commented the error ceases to exist, so it has something to do with the following block
                if(!data_block.titles.empty()) //check if std::list is empty
                {

                    for (std::list<std::wstring>::iterator itr  = data_block.titles.begin(); itr != data_block.titles.end() ; itr++) {
                        _size += (((*itr).size()+1) * 2); 
                    } //calculate size required. Note the +1 is for an extra character between every title
                    wchar_t* wnd_wbuffer = new wchar_t[_size/2](); //allocate space
                    int _last = 0;
    //loop through every string and every char of a string and write them down
                    for (std::list<std::wstring>::iterator itr = data_block.titles.begin(); itr != data_block.titles.end(); itr++)
                    {
                        for(unsigned int i = 0; i <= (itr->size()-1); i++)
                        {

                            wnd_wbuffer[i+_last] = (*itr)[i] ;
                        }
                        wnd_wbuffer[_last+itr->size()] = 0x00A6; // separator
                        _last += itr->size()+1;
                    }

                    unsigned char* wnd_buffer = new unsigned char[_size];
                    wnd_buffer = (unsigned char*)wnd_wbuffer;
                    h_io->header_w_size = _size;
                    h_io->header_io_wnd = 1;
                    Connect(mode,*header,conn,buffer_in_bytes,wnd_buffer,_size);
                    delete wnd_wbuffer;
                }
                else
            [..]
                return true;
            }

我尝试进行线程同步： 有一个指向创建的第一个data_block的指针（db_main）指向当前data_block（db_cur）

的指针

//datablock format
    typedef struct _DATABLOCK
        {
            [..]
            int logs[512];
            std::list<std::wstring> titles;
            bool bPrsd; // has this datablock been sent true/false
            bool bFull; // is logs[512] full true/false
            [..]
            struct _DATABLOCK *next;
        } DATABLOCK;    


//This is what thread 1 does when it needs to register a mouse press and it is called like this:
    if(change_in_window)
    {
        GetWindowTextW(hActWin,wTitle,256);
        std::wstring title(wTitle);
        current_struct->titles.push_back(title);
    }
    RegisterMousePress(args);
    [..]
//pseudo-code to simplify things , although original function does the exact same thing. 
    RegisterMousePress()
        {
            if(it_is_full)
            {
                db_cur->bFull= true;
                if(does db_main exist)
                {
                    db_main = new DATABLOCK;
                    db_main = db_cur;
                    db_main->next = NULL;
                }
                else
                {
                    db_cur->next = new DATABLOCK;
                    db_cur = db_cur->next;
                    db_cur->next = NULL;

                }
                SetEvent(eProcessed); //tell thread 2 there is at least one datablock ready
            }
            else
            {
            write_to_it();
            }
        }
//this is actual code and entry point of thread 2 and my attempy at synchronization
    DWORD WINAPI InitQueueThread(void* Param)
    {
        DWORD rc;
        DATABLOCK* k;
        SockWClient writer;
        k = db_main;
        while(true)
        {
            rc=WaitForSingleObject(eProcessed,INFINITE);
            if (rc== WAIT_OBJECT_0)
            {   
                do
                {
                    if(k->bPrsd)
                    {
                        continue;
                    }
                    else
                    {   
                        if(!k)
                        {break;}
                        k->bPrsd = TRUE;
    #ifdef DEBUG_NET
                        SendStruct(...);
    #endif

                    }
                    if(k->next == NULL || k->next->bPrsd ==TRUE || !(k->next->bFull))
                    {
                        ResetEvent(eProcessed);
                        break;
                    }

                } while (k = k->next); // next element after each loop
            }
        }
        return 1;

    }

详细信息：

现在有些东西让我相信错误不存在，因为子串错误非常罕见。当按下Mouse_Down + Wnd + Tab滚动窗口并保持按下一段时间时，我只能有100％的机会重现它（当然它也确实发生在其他情况下）。我避免发布整个代码，因为它有点大，混乱是不可避免的。如果错误不在这里，我将编辑帖子并添加更多代码。

提前致谢

Answer 1

此处似乎没有任何线程同步。如果一个线程在另一个写入时从结构读取，则可能在初始化期间读取，其中包含空字符串的非空列表（或其间无效的字符串）。

如果发布的函数外没有互斥锁或信号量，则可能是问题所在。

所有尺寸计算似乎对Windows都有效，但我没有尝试在<= … -1和<中运行{... i <= (itr->size()-1)而不是2 sizeof (wchar_t)中的new wchar_t[_size/2]();有点奇怪。

Answer 2

你的代码的问题在于，当线程2正确地等待数据并且线程1正确地通知它们时，线程2不会阻止线程1在它仍在处理数据的同时用它们做任何事情。用于解决此类问题的典型设备是监控模式。

它由一个互斥锁（用于保护数据，在您访问它们时随时保存）和条件变量（= Windows术语中的事件）组成，它将向消费者传达有关新数据的信息。

制作人通常会获取互斥锁，生成数据，释放互斥锁，然后触发事件。

消费者更棘手 - 它必须获取互斥锁，检查新数据是否可用，然后使用暂时释放互斥锁的SignalObjectAndWait函数等待事件，然后处理新获取的数据，然后释放互斥。

调试断言失败：使用std :: vector下标超出范围

2 个答案: