如何解决C++ MFC代码C6385警告：读取pAryStrCustom无效数据

我正在处理下述方法中出现的代码分析警告：

CStringArray* CCreateReportDlg::BuildCustomAssignArray(ROW_DATA_S &rsRowData)
{
    INT_PTR         iAssign, iNumAssigns, iUsedAssign;
    CStringArray    *pAryStrCustom = nullptr;
    CUSTOM_ASSIGN_S *psAssign = nullptr;

    if (rsRowData.uNumCustomToFill > 0)
    {
        pAryStrCustom = new CStringArray[rsRowData.uNumCustomToFill];
        iNumAssigns = m_aryPtrAssign.GetSize();
        for (iAssign = 0, iUsedAssign = 0; iAssign < iNumAssigns; iAssign++)
        {
            psAssign = (CUSTOM_ASSIGN_S*)m_aryPtrAssign.GetAt(iAssign);
            if (psAssign != nullptr)
            {
                if (!psAssign->bExcluded)
                {
                    pAryStrCustom[iUsedAssign].Copy(psAssign->aryStrBrothersAll);
                    iUsedAssign++;
                }
            }
        }
    }

    return pAryStrCustom;
}

触发警告的代码行如下：

pAryStrCustom[iUsedAssign].Copy(psAssign->aryStrBrothersAll);

我同时为32位和64位环境编译该代码，收到的警告为：

警告（C6385）从pAryStrCustom读取无效数据：可读大小为(size_t)*40+8字节，但可能读取80字节。

不确定是否相关，一并附上CUSTOM_ASSIGN_S结构体的定义：

typedef struct tagCustomAssignment
{
    int             iIndex;
    CString         strDescription;
    CString         strHeading;
    BOOL            bExcluded;
    CStringArray    aryStrBrothersAll;
    CStringArray    aryStrBrothersWT;
    CStringArray    aryStrBrothersSM;
    BOOL            bIncludeWT;
    BOOL            bIncludeTMS;
    BOOL            bFixed;
    int             iFixedType;
} CUSTOM_ASSIGN_S;

该代码已稳定运行多年，请问可以做哪些代码优化来消除该警告？我已查阅官方文档及同类C6385警告问题，仍不清楚如何适配本场景。

警告根因 #

C6385是Visual Studio静态代码分析的缓冲区越界预警，触发原因是分析器无法推导得出iUsedAssign的取值一定小于你申请的pAryStrCustom数组长度rsRowData.uNumCustomToFill，认为存在数组下标越界的风险。
代码能稳定运行多年是因为你的业务逻辑隐含了「符合条件的CUSTOM_ASSIGN_S数量一定不超过rsRowData.uNumCustomToFill」的约束，但静态分析器无法识别这类业务层面的隐含约定，所以会触发误报。

优化方案 #

你可以根据实际场景选择以下任意一种方案消除警告：

• 方案1：增加显式边界校验（最推荐）
  直接在访问数组前增加边界判断，既可以给静态分析器明确的边界保证消除警告，也能提升代码健壮性，避免后续业务逻辑迭代时意外触发越界崩溃：

  if (!psAssign->bExcluded)
  {
      // 显式校验下标不超过数组长度
      if (iUsedAssign < rsRowData.uNumCustomToFill)
      {
          pAryStrCustom[iUsedAssign].Copy(psAssign->aryStrBrothersAll);
          iUsedAssign++;
      }
      // 可选：else分支增加断言/错误日志，方便排查业务逻辑异常
  }
  

• 方案2：增加静态分析注解
  如果你100%确定业务逻辑不会出现越界情况，不想增加额外的运行时判断，可以用VS专属的编译期注解告诉静态分析器你的约束，不会产生任何运行时代码：

  #include <sal.h> // 如有需要先引入sal头文件
  
  // ...
  if (!psAssign->bExcluded)
  {
      __analysis_assume(iUsedAssign < rsRowData.uNumCustomToFill);
      pAryStrCustom[iUsedAssign].Copy(psAssign->aryStrBrothersAll);
      iUsedAssign++;
  }
  

• 方案3：替换原生数组为容器类
  彻底放弃原生数组内存管理，改用MFC CArray 或者标准库std::vector来管理字符串数组，自动处理边界校验和内存生命周期，从根源上避免原生数组越界、内存泄漏的风险：

  // 示例：方法返回值改为CArray<CStringArray>
  void CCreateReportDlg::BuildCustomAssignArray(ROW_DATA_S &rsRowData, CArray<CStringArray>& aryCustom)
  {
      aryCustom.RemoveAll();
      INT_PTR iNumAssigns = m_aryPtrAssign.GetSize();
      for (INT_PTR iAssign = 0; iAssign < iNumAssigns; iAssign++)
      {
          CUSTOM_ASSIGN_S *psAssign = (CUSTOM_ASSIGN_S*)m_aryPtrAssign.GetAt(iAssign);
          if (psAssign != nullptr && !psAssign->bExcluded)
          {
              CStringArray strAry;
              strAry.Copy(psAssign->aryStrBrothersAll);
              aryCustom.Add(strAry);
              // 可选：如果需要和原有逻辑一致限制最大数量，在这里判断aryCustom.GetCount() < rsRowData.uNumCustomToFill即可
          }
      }
  }
  

额外提示：原有代码中用new[]分配的CStringArray数组返回给调用方，需要确保调用方用delete[]释放，否则会出现内存泄漏，改用容器类可以完全避免这类手动内存管理的问题。

内容的提问来源于stack exchange，提问作者Andrew Truckle