注册 登录  
 加关注
   显示下一条  |  关闭
温馨提示!由于新浪微博认证机制调整,您的新浪微博帐号绑定已过期,请重新绑定!立即重新绑定新浪微博》  |  关闭

linux 学习

 
 
 

日志

 
 

一次stl sort调用导致的进程崩溃(zz)  

2017-07-08 10:29:47|  分类: 应用编程 |  标签: |举报 |字号 订阅

  下载LOFTER 我的照片书  |

近期我们开发的一个工具在调用c++ sort函数对数组进行排序时居然会导致进程崩溃,此问题细节我觉得对于类似我这种不常用stl的同学可能不容易觉察,这里简单总结下。

出错代码

因为代码太复杂不好展示,我这里就用下面这个简单的示例来描述。

一次stl sort调用导致的进程崩溃(zz)

不知你是否直觉上也会觉得这段代码没什么问题,但是这段代码运行后会core dump。查看core文件可以看到内存里的栈被写坏了,这说明sort调用导致了内存越界访问,在这么少的代码行下,不难判定应该是comp函数实现可能不符合c++标准库的某种规则(C++ STL是基于concept的设计和实现)。

comp函数应该怎么写

带着这个疑问我去查了下c++ stl手册(http://www.cplusplus.com/reference/algorithm/sort/),发现sort函数对于comp函数还真有一个特殊的要求,叫做“Strict Weak Ordering”。什么意思呢,它大概可以这么解释:如果一个comp函数要满足“Strict Weak Ordering”,意味着它应该满足如下特征(更多细节可以参见SGI版实现相关描述http://www.sgi.com/tech/stl/StrictWeakOrdering.html):

(a)  反自反性:也即comp(x, x)必须是false

(b)  非对称性:也即如果comp(x, y)和comp(y, x)的结果必然相反

(c)   可传递性:也即如果comp(x, y)为true,comp(y, z)为true,那么comp(x, z)必然为true

 这么看到,示例代码的comp定义明显违反了(a)\(b)两条,所以sort使用它时就可能工作不正常。解决办法也很简单,去掉那个“=”再对照下”Strict Weak Ordering”的定义,应该是满足了的。

  评论这张
 
阅读(50)| 评论(0)
推荐 转载

历史上的今天

在LOFTER的更多文章

评论

<#--最新日志,群博日志--> <#--推荐日志--> <#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇,下一篇--> <#-- 热度 --> <#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->
 
 
 
 
 
 
 
 
 
 
 
 
 
 

页脚

网易公司版权所有 ©1997-2017