C++ 踩坑记录

1.StringPiece

StringPiece介绍:
https://blog.csdn.net/zxpoiu/article/details/117258047

分析下面代码的错误:

StringPiece comp[2] = std::to_string(FLAGS_io_exchange_expire_time);

这样赋值存在异常,阅读 butil::StringPiece的构造函数源码可知

这个地方指针是浅拷贝,当std::to_string(FLAGS_io_exchange_expire_time)这个函数return之后,就会导致栈空间的生命周期结束,
而导致ptr_指向指针出现异常。
为解决该问题,因此申明一个局部变量去存储std::to_string(FLAGS_io_exchange_expire_time),然后再去进行构造butil::StringPiece对象。

2.memcopy问题

遇到一个问题,如下:

ERROR: AddressSanitizer: strcpy-param-overlap: memory ranges [0x0001102f767c,0x0001102f7687) and [0x0001102f767c, 0x0001102f7687) overlap
    #0 0x1042d15f4 in wrap_strcpy+0xb8 (/private/var/containers/Bundle/Application/65AC0456-70F4-43F1-B980-041CBD0AC837/SamplePlayer.app/Frameworks/libclang_rt.asan_ios_dynamic.dylib:arm64e+0x395f4)

原来是memcopy的问题;
解决方法:把memcopy换成memmove。

memcopy和memmove函数在linux下看了一下两个函数的源码。
两个函数都在头文件string.h中定义,函数原型为:

void * __cdecl memcpy ( void * dst,const void * src,size_t count);
void * __cdecl memmove ( void * dst,const void * src,size_t count);

void * __cdecl memcpy ( void * dst,const void * src,size_t count)
{
   void * ret = dst;
   while (count--)
   {  // 注意, memcpy函数没有处理dst和src区域是否重叠的问题
      *(char *)dst = *(char *)src;
      dst = (char *)dst + 1;
      src = (char *)src + 1;
   }
   return(ret);
}
void * __cdecl memmove ( void * dst,const void * src,size_t count)
{
   void * ret = dst;
   if (dst <= src || (char *)dst >= ((char *)src + count))
   {  // 若dst和src区域没有重叠,则从起始处开始逐一拷贝
      while (count--)
      {
         *(char *)dst = *(char *)src;
         dst = (char *)dst + 1;
         src = (char *)src + 1;
      }
   }
   else
   {  // 若dst和src 区域交叉,则从尾部开始向起始位置拷贝,这样可以避免数据冲突
      dst = (char *)dst + count - 1;
      src = (char *)src + count - 1;
      while (count--)
      {
         *(char *)dst = *(char *)src;
         dst = (char *)dst - 1;
         src = (char *)src - 1;
      }
   }
   return(ret);
}

原因:
分析:memmove函数是的标准函数,其作用是把从source开始的num个字符拷贝到destination。最简单的方法是直接复制,但是由于它们可能存在内存的重叠区,因此可能覆盖了原有数据。
比如当source+count>=dest&&source<dest时,dest可能覆盖了原有source的数据。解决办法是从后往前拷贝,对于其它情况,则从前往后拷贝。
当src和dst区域没有重叠时,两个函数是完全一样的。没有重叠的条件是:dst <= src || (char )dst >= ((char )src + count。否则,memcpy是不能正常工作的,memmove是可以正常工作的。
因为memcpy不需要判断重叠,所以它运行速度比memmove快,在确定dst和src不重叠的情况下,可以用memcpy。
参考链接:
https://stackoverflow.com/questions/58217308/fixing-addresssanitizer-strcpy-param-overlap-with-memmove

3.局部静态变量线程不安全问题

举个例子

void Func() {
  static std::string ip = GetIp();
}

这里的ip因为只有一份实例,在多线程中,每个线程调用GetIp()后都在写ip这一个静态局部变量。造成线程不安全。

发表评论

您的邮箱地址不会被公开。 必填项已用 * 标注

Contents
滚动至顶部