c++ - 为什么向此方法添加 cout 行会阻止我的程序在 Windows 中触发缓冲区溢出异常？

Question

我有一个具有以下方法的对象:

int PathSubstitution::updateField(Field4memo &field, int record_id, int field_id) const
{
    int type = field.type();
    if((type == r4str) || (type == r4memo) || (type == r4unicode))
    {
        string value = field.str();
        trim(value);
        if(!substituteDriveLetters(value))
            return -1;
        if(!substituteGridMount(value))
            return -1;

        return field.assign(value.c_str(), value.length());
    }
    return r4success;
}

当我在 Visual Studio C++ 2010 中使用调试配置文件构建此代码时，一切正常。此方法在四个唯一的 Field4memo 对象上被调用 4 次，并且有效。

当我使用我的 Release 配置文件构建此代码时，该方法在第一次调用时起作用，但会导致 Vista Enterprise 显示“program.exe 已停止工作”对话框窗口。窗口的“查看问题详细信息”区域显示:

Problem signature:
  Problem Event Name:   BEX
  Application Name: program.exe
  Application Version:  0.0.0.0
  Application Timestamp:    4ef4edc6
  Fault Module Name:    program.exe
  Fault Module Version: 0.0.0.0
  Fault Module Timestamp:   4ef4edc6
  Exception Offset: 0000668a
  Exception Code:   c0000409
  Exception Data:   00000000
  OS Version:   6.0.6002.2.2.0.256.4
  Locale ID:    1033
  Additional Information 1: 6243
  Additional Information 2: 0d5daf38e26c963685a835e6f40ff03d
  Additional Information 3: aa53
  Additional Information 4: 5d02a603659cce53ff840117c3a9c7a7

BEX 事件名称表示缓冲区溢出。但是我不知道是哪个缓冲区。

虽然这对我来说很奇怪......

当我更改此方法并向其添加不必要的 cout 行时，它可以与 Release 配置文件一起使用:

int PathSubstitution::updateField(Field4memo &field, int record_id, int field_id) const
{
    int type = field.type();
    if((type == r4str) || (type == r4memo) || (type == r4unicode))
    {
        // THIS IS THE NEW LINE I ADDED RIGHT BELOW HERE!!!
        cout << endl;
        string value = field.str();
        trim(value);
        if(!substituteDriveLetters(value))
            return -1;
        if(!substituteGridMount(value))
            return -1;

        return field.assign(value.c_str(), value.length());
    }
    return r4success;
}

我不知道为什么该方法会因 Release 配置文件而崩溃，或者为什么添加 cout 行可以解决崩溃问题。我只是接受“cout 修复它”的答案感到不舒服——有人可以帮助我理解我的问题是什么以及为什么 cout 修复它吗？ cout 调用如何避免缓冲区溢出？

编辑:要求调用此方法的一些额外上下文。它被循环调用。使用我正在使用的测试输入，它被调用了 4 次。调用它的函数如下所示:

int PathSubstitution::updateRecord(Data4 &dbf, int record_id) const
{
    // Update all fields
    int numFields = dbf.numFields();
    for(int i = 1; i <= numFields; i++ )
    {          
        Field4memo field(dbf, i);
        int rc = updateField(field, record_id, i);
        if(rc != r4success)
            return rc;
    }
    return r4success;
}

编辑 2:只要从 PathSubstitution::updateField< 中调用 cout.flush()，刷新 cout 缓冲区也可以解决溢出问题 方法和 return field.assign(value.c_str(), value.length()); 行之前。

编辑 3:这很有希望。如果我注释掉对 substituteDriveLetters() 和 substituteGridMount() 方法的调用，程序不会崩溃。所以这与那些方法调用有关(使用 pcre 进行一些正则表达式字符串替换)。

编辑 4:如果我注释掉 just substituteDriveLetters() 方法，它就会起作用。所以我现在有了一个主要嫌疑人。此方法应该用相应的 UNC 值替换路径中的驱动器号。我的测试输入中的所有字段都不是文件路径，因此就数据转换而言，这应该是一个空操作。

bool PathSubstitution::substituteDriveLetters(string &str, string::size_type offset) const
{
    int offsets[6];
    int groups = pcre_exec(drivePattern, NULL, str.c_str(), str.size(), 0, 0, offsets, sizeof(offsets));
    if(groups < 0)
    {
        switch(groups)
        {
        case PCRE_ERROR_NOMATCH:
        case PCRE_ERROR_PARTIAL:
            return true;
        case PCRE_ERROR_NOMEMORY:
            cerr << "WARNING: Out of memory." << endl;
            break;
        case PCRE_ERROR_BADUTF8:
        case PCRE_ERROR_BADUTF8_OFFSET:
            cerr << "WARNING: Bad UNICODE string." << endl;
            break;
        default:
            cerr << "WARNING: Unable to substitute drive letters (Err: " << groups << ")" << endl;
            break;
        }
        return false;
    }

    char driveLetter = toupper(str[offsets[2]]);
    DriveMap::const_iterator i = driveMap.find(driveLetter);
    if(i == driveMap.end())
    {
        cerr << "ERROR: The " << driveLetter << " drive is not mapped to a network share." << endl;
        return false;
    }

    string::iterator start = str.begin() + offsets[0];
    string::iterator end = str.begin() + offsets[1];
    str.replace(start, end, i->second);

    return substituteDriveLetters(str, offsets[1]);
}

Answer 1

如果没有完整的测试用例，几乎不可能说出确切的问题是什么，但考虑到行为，您的代码很可能具有某种形式的未定义行为并且可以在调试和额外 cout通过盲目的陈述。

您应该分析代码并修复潜在问题，否则相关错误很可能会在最不方便的时刻再次出现。

如果您需要帮助分析实际问题，那么您需要发布一个完整的可编译示例。目前我们对Field4memo一无所知, trim , substituteDriveLetters或 substituteGridMount对于初学者。

编辑您可能希望为您执行的字符串操作插入更多检查。

// need to check that offsets[2] >= 0 and < str.size()
char driveLetter = toupper(str[offsets[2]]);

// need to check that offsets[0] >= 0 and <= str.size()
string::iterator start = str.begin() + offsets[0];

// need to check that offsets[1] >= 0 and <= str.size()
string::iterator end = str.begin() + offsets[1];