4

我正在使用 stl map 来存储从 pcap 文件中提取的流信息。当数据包到来时，我使用 map.find 来查找数据包所属的流是否存在。我必须使用 map.find 两次，因为从 A 到 B 的数据包和从 B 到 A 的数据包属于同一流。

struct FiveTuple
{
unsigned short source_port;
unsigned short dest_port;
unsigned int source_ip_addr;
unsigned int dest_ip_addr;
unsigned char transport_proto_type;
};

FiveTuple 标识一个流。我使用 FiveTuple 作为地图中的关键元素。

map 是 map< FiveTuple, Flow, FlowCmp>，其中 FlowCmp 是一个结构体，使用 memcmp 来查看 FiveTuple a 是否小于 FiveTuple b，就像 operator<。为了查找数据包的流是否存在，我编写了如下代码，其中 m 是映射的名称，five_tuple 是从数据包中提取信息的 FiveTuple：

auto it = m.find(five_tuple);
if( it == m.end())
{
     //swap source and dest ip/port in five_tuple,
    it = m.find(five_tuple);

    if(it == m.end())
    {
          //do something
    }
}

在vs2010的debug版本中，结果是合理的。当我将其更改为发布版本时，我发现第二个 m.find 大部分时间都没有返回正确的迭代器，而是给了我 m.end。而且我发现没有初始化问题。如何解决发布版本问题？

4

1 回答 1

5

好像您正在对 FiveTuple 对象执行 memcmp() 。这是未定义的行为，因为 FiveTuple 包含尾随垃圾字节。这些尾随垃圾字节在调试版本和发布版本中是不同的，因此您会得到不同的结果。您应该重写 FlowCmp，使其不使用 memcmp()。

这是基于提供的有限信息的猜测，但如果您想测试一下，请尝试cout << sizeof(FiveTuple);。我打赌你会看到的sizeof(FiveTuple) > sizeof(short) + sizeof(short) + sizeof(int) + sizeof(int) + sizeof(char)。换句话说，你的结构中有垃圾，你不应该使用 memcmp。

当然 memcmp 不好还有另一个原因，因为这意味着您的代码将是不可移植的，因为它的行为将取决于您平台的字节序。这本身就是不为此目的使用 memcmp 的充分理由。

于 2012-10-19T06:43:16.510 回答