我非常确定Visual Studio 2005中的优化器中存在一个错误。问题在于STL映射。
以下是相关代码：
MyMapIterator myIt = m_myMap.find(otherID);
if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_B && myIt->second.foo == FOO_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_B && myIt->second.foo == FOO_B && /*other meaningless conditions */)
{
//Prints stuff. No side-effects whatsoever.
}
在调试中完美运行，用于在发布时崩溃，并禁用全局优化“修复它”现在，没有任何作用。我得到了：
Microsoft Visual Studio C Runtime Library has detected a fatal error in [...]
Press Break to debug the program or Continue to terminate the program.
这发生在第一个MyMapIterator :: operator-＆gt;最后的其他内容
地图是空的，我知道find应该返回end（），前两个与该效果的比较工作。但不知何故，第三次'myIt！= m_myMap.end（）'返回true，右侧是＆amp;＆amp;被执行。
其他各种地方都失败了，因为'myIt！= m_myMap.end（）'的变体在同一个文件中返回true，但对我来说，这是排除其他大多数可能性的那个。我曾经认为这是在我的地图上踩踏的缓冲区溢出，但回顾一下代码。我很肯定没有其他线程在踩它，这是100％可再现的。
那么，我从这里做什么这丝毫不是性能敏感的。我只是需要它才能正常工作。任何选择都可以接受。是的我知道我可以用迭代器相等性检查来包围整个事情，它不是最好的代码。关键是，它应该仍然有效，如果失败，其他任何事情都可以。
修改
最后的else-if不会产生任何跳跃！
if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_A)
009270BE mov ecx,dword ptr [this]
009270C4 add ecx,0Ch
009270C7 lea eax,[ebp-90h]
009270CD call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::end (8A21E0h)
009270D2 mov esi,eax
009270D4 lea edi,[myIt]
009270D7 call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::const_iterator::operator!= (8A2220h)
009270DC movzx ecx,al
009270DF test ecx,ecx
009270E1 je lux::Bar::DoStuff+0E4h (927154h)
009270E3 lea esi,[myIt]
009270E6 call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::iterator::operator-> (8A21F0h)
009270EB cmp dword ptr [eax+8],1
009270EF jne lux::Bar::DoStuff+0E4h (927154h)
{
Stuff
}
else if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_B)
00927154 mov ecx,dword ptr [this]
0092715A add ecx,0Ch
0092715D lea eax,[ebp-98h]
00927163 call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::end (8A21E0h)
00927168 mov esi,eax
0092716A lea edi,[myIt]
0092716D call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::const_iterator::operator!= (8A2220h)
00927172 movzx edx,al
00927175 test edx,edx
00927177 je lux::Bar::DoStuff+17Ah (9271EAh)
00927179 lea esi,[myIt]
0092717C call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::iterator::operator-> (8A21F0h)
00927181 cmp dword ptr [eax+8],2
00927185 jne lux::Bar::DoStuff+17Ah (9271EAh)
{
//Stuff
}
else if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_C)
009271EA mov ecx,dword ptr [this]
009271F0 add ecx,0Ch
009271F3 lea eax,[ebp-0A0h]
009271F9 call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::end (8A21E0h)
009271FE mov esi,eax
00927200 lea edi,[myIt]
00927203 call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::const_iterator::operator!= (8A2220h)
00927208 lea esi,[myIt]
0092720B call std::_Tree<std::_Tmap_traits<unsigned __int64,lux::Foo,std::less<unsigned __int64>,std::allocator<std::pair<unsigned __int64 const ,lux::Foo> >,0> >::iterator::operator-> (8A21F0h)
{
//Stuff in the condition and after
答案 0 :(得分：2)
我怀疑你在其他地方有代码，其中包含缓冲区。
这个其他代码正在破坏已发布代码正在使用的内存。
在调试模式下，额外的内存填充将改变行为。
更改其他随机代码也会改变行为，因为它会改变事物的相对位置。
基本上，您需要查看大量代码或使用BoundsChecker之类的工具来查找错误。
专注于数组或任何原始指针数学。也可以使用删除的指针。
如果它们写入不会导致崩溃的地方，这样的错误可以隐藏很长时间。出于同样的原因，他们经常神秘地消失。
答案 1 :(得分：2)
if (myIt != m_myMap.end())
{
if (myIt->second.userStatus == STATUS_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_B && /*other meaningless conditions */)
{
//Prints stuff. No side-effects whatsoever.
}
}
然而，该错误仍然存在。这颗宝石修好了它：
if (myIt != m_myMap.end())
if (myIt != m_myMap.end())
{
if (myIt->second.userStatus == STATUS_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_B && /*other meaningless conditions */)
{
//Prints stuff. No side-effects whatsoever.
}
}
是。加倍if会导致测试后发出跳转指令。
答案 2 :(得分：1)
在您未显示的代码中，您可能还有一些其他条件导致地图填充了一些无效数据。
在调用find()之前尝试转储地图内容，并在其余代码中查找任何可能未初始化的值。
答案 3 :(得分：1)
关闭优化使用：
#pragma optimize("g", off)
将其重新打开，或者更改为开启或使用特殊情况
#pragma optimize("", on)
将您的优化设置重置为项目默认值。
答案 4 :(得分：1)
优化器真的搞砸了你的调试信息。 实际的线路很可能在不同的附近线路上发生故障。即使调试器告诉您&&运算符的后半部分发生异常，也可能不是。
要诊断真正的问题，您可能希望将最后一个if语句分解为：
else if (myIt != m_myMap.end())
{
printf("TEST 1\n");
if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_B && /*other meaningless conditions */)
{
//Prints stuff. No side-effects whatsoever.
}
}
printf("TEST 2\n");
如果输出“TEST 1”，则迭代器出现问题。如果输出“TEST 2”然后发生崩溃，那么很明显错误发生在后续代码中。如果“TEST 1”和“TEST 2”都没有打印并且它仍然在那里崩溃，那么某些东西真的错误。
答案 5 :(得分：1)
我想我遇到了同样的问题。
似乎只在x64版本中发生（完全优化）。我的STL映射被确认为空（size（）== 0），但是这行代码没有检测到空映射而是进入for循环：
typedef std::map<std::string,std::string> KeyValueMap;
printf( "size: %d\n", ExtraHeaders.size() ); // prints "size: 0"
for( KeyValueMap::iterator it= ExtraHeaders.begin(); it != ExtraHeaders.end(); it++ )
{
// this line is executed
printf( "%s\t%s\n", (*it).first.c_str(), (*it).second.c_str() );
}
感觉像编译器错误。
答案 6 :(得分：0)
是的我知道我可以用迭代器相等性检查来包围整个事情，它不是最好的代码。关键是，它应该仍然有效，如果失败，其他任何事情都可以。
当然，有了这个逻辑，你没有选择......你做的任何事都是一种解决方法。
我认为我的第一种方法是将这些内容包装在已经验证myIt有效的块中：
if (myIt != m_myMap.end())
{
if (myIt->second.userStatus == STATUS_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_B && /*other meaningless conditions */)
{
//Prints stuff. No side-effects whatsoever.
}
}
答案 7 :(得分：0)
我认为你做的假设可能是假的：在同一次迭代中成功检查myIt != m_myMap.end() && myIt->second.userStatus之后发生了崩溃。我敢打赌，在第一次检查这些值时，会立即发生崩溃。这是优化器，使您看起来已经清除了前两个if条件。
尝试将完全不同的代码块放入循环中，看看它是否崩溃（我的赌注是它会 - 我认为你不会在崩溃之前立即看到cerr的输出。 ）
// New code block
MyMapIterator yourIt = m_myMap.find(otherID);
if (yourIt != m_myMap.end() && yourIt->second.userStatus == STATUS_A ||
yourIt->second.userStatus == STATUS_B)
{
cerr << "Hey, I can print something! " << std::ios::hex << this << endl;
}
// Original code
MyMapIterator myIt = m_myMap.find(otherID);
if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_A)
{
//Prints stuff. No side-effects whatsoever.
}
else if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_B && /*other meaningless conditions */)
{
//Prints stuff. No side-effects whatsoever.
}
答案 8 :(得分：0)
if (myIt != m_myMap.end() && myIt->second.userStatus == STATUS_B && myIt->second->foo == FOO_A)
为什么要访问userStatus？和foo - ＆gt; ？