c++ - 为什么更改 visual studio 版本后我的函数会崩溃？

Question

我有一个旧的 32 位 C++ MFC 应用程序，它是用 Visual Studio 2010 编写的。它运行没有问题。现在我不得不升级到 Visual Studio 2017，当我点击 TreeView 窗口时它经常崩溃。我有一个 dmp 文件，当我打开它时，我看到它在此处崩溃:

 BOOL CObject::IsKindOf(const CRuntimeClass* pClass) const
 {
     ENSURE(this != NULL);
     // it better be in valid memory, at least for CObject size
     ASSERT(AfxIsValidAddress(this, sizeof(CObject)));

     // simple SI case
         CRuntimeClass* pClassThis = GetRuntimeClass(); //---->HERE Crash 

     ENSURE(pClassThis);
     return pClassThis->IsDerivedFrom(pClass);
 }

当我返回通话列表时，我会在这里结束:

//m_pTheModel is initialized with NULL
if (bValidValue == true)
    m_pTheModel = GetModel((WORD)lHint);

if (m_pTheModel == NULL || !AfxIsValidAddress(m_pTheModel, sizeof(m_pTheModel)))
{
   lock.Unlock();
   return;
}

try
{
    if ((m_pTheModel->IsKindOf(RUNTIME_CLASS(CMyClassModel))))
    ...
}
catch (...)
{
}

m_pTheModel 不是 NULL，但当我查看调试器中的值时，对于某些值，内存不可读。

可能是什么问题？使用旧版本的 visual studio 我没有这个问题。我只是重新编译了这个项目，我不得不将目标操作系统设置为 Windows XP。

错误消息是“线程试图读取或写入它没有适当访问权限的虚拟地址。”

我也不明白为什么我不能用我的 try-catch 解决这个访问冲突。

更新: 我找到了原因。这是一个覆盖我的指针的 strcpy。

Answer 1

AfxIsValidAddress的使用非常令人担忧。

Tests any memory address to ensure that it is contained entirely within the program's memory space.

更糟糕的是，它只适用于调试构建。

In non-debug builds, nonzero if lp is not NULL; otherwise 0.

这并不能保证它就是您想要的。如果您删除一个对象，内存可能仍在应用程序中准备重新使用，而不是返回给操作系统，AfxIsValidAddress 之类的内容将返回 true。更糟糕的是，当您的分配器确实重用该内存时，它仍将返回 true，而指针现在实际上指的是一些完全不同的未知对象，从而导致堆损坏。

这适用于所有类似的函数，例如 IsBadReadPtr。 Raymond Chen 有一篇 Microsoft 博客文章 IsBadXxxPtr should really be called CrashProgramRandomly .

您可能必须在 IDE 中对此进行调试并找到特定问题，这几乎可以肯定是释放后使用问题，或者程序中其他地方覆盖对象的更严重问题。您可以直接在 IDE 中生成它而不是获取转储文件吗？

I also don't understand why I can't catch this access violation with my try-catch around this

各种平台上的访问冲突等都不是 C++ 异常。而且由于它们通常仅在程序内存损坏后发生，因此基本上无法从中恢复。通常有一些特定于平台的方法可以与它们交互。