函数实现-memcpy-strcpy-memmove-memset

1. 函数原型（c++ reference）

    void * memcpy ( void * destination, const void * source, size_t num );  不能解决某些覆盖问题。
    char * strcpy ( char * destination, const char * source ); 不能解决某些覆盖问题，根据'\0'表示字符串复制终止。
    void * memmove ( void * destination, const void * source, size_t num );  能够解决所有覆盖问题。
    void * memset ( void * ptr, int value, size_t num );  其中value使用int传入，但是被解释为unsigned char。 

 2. 重叠问题

    ·dest == src 不需要拷贝
    ·dest<src，无论有没有重叠，正向拷贝即可。
    ·dest>src，且dest>=src+len，没有重叠，正向拷贝即可。
    ·dest>src，且dest<src+len，有重叠，需要逆向拷贝。
     对于memcpy和strcpy，都是正向拷贝，不能处理第四种情况。
     对于memmove，考虑到所有的情况即可。
     对于memset，相对简单，就是赋值就可以了。

3. 代码

void* memcpy(void* dest,const void* src, size_t num) { // const
  assert((dest != NULL) && (src != NULL) && (dest!=src)); // assert
  char* p_dest = (char*)dest; // copy
  const char* p_src = (const char*)src;
  while(num-- > 0)
    *p_dest++ = *p_src++;
  return dest; // address
}
char* strcpy(char* dest, const char* src) {
  assert((dest!=NULL) && (src!=NULL) && (dest!=src));
  char* address = dest;
  while((*dest++ = *src++) != '\0')
    NULL;
  return address; 
}
void* memmove(void* dest, const void* src,size_t num) {
  assert((dest!=NULL) && (src!=NULL) && (dest!=src));  
  char* p_dest = (char*)dest;
  const char* p_src = (const char*)src;
  if(p_dest>p_src && p_dest<p_src+num) { //p_dest>p_src，逆向拷贝
    p_dest += num - 1;
    p_src += num - 1;
    while(num--)
      *p_dest-- = *p_src--;     
  }
  else { //p_dest<=p_src，此时无论是否重叠都可以使用正向拷贝
    while(num--)
      *p_dest++ = *p_src++;
  }
  return dest;
}
void* memset(void* dest, int value, size_t num) {
  assert(dest != NULL);
  unsigned char* p_dest = (unsigned char*)dest;
  while(num-- > 0) 
    *p_dest++ = (unsigned char)value;
  return dest;
}

 4. 其他

    这几个函数常被用来测试编程人员的编程风格。实际上，函数库中的这些函数实现都是汇编搞定的，要更多的考虑机器指令方面的问题，来使用汇编，效率会更高，这就先到这里了。

5. 关于size_t

    size_t是标准C库中定义的，应为unsigned int。 实际上，对于本文的一系列函数，msdn的函数原型都是用size_t，而linux内核往往使用int。
    原因如下吧：
　 “数据类型"socklen_t"和int应该具有相同的长度。否则就会破坏 BSD套接字层的填充.POSIX开始的时候用的是size_t, Linus Torvalds(他希望有更多的人,但显然不是很多) 努力向他们解释使用size_t是完全错误的,因为在64位结构中 size_t和int的长度是不一样的,而这个参数(也就是accept函数的第三参数)的长度必须和int一致,因为这是BSD套接字接口标准.最终POSIX的那帮家伙找到了解决的办法,那就是创造了一个新的类型"socklen_t".Linux Torvalds说这是由于他们发现了自己的错误但又不好意思向大家伙儿承认,所以另外创造了一个新的数据类型 。
    在C++中，size_t的引入增强了程序在不同平台上的可移植性，经测试发现，在32位系统中size_t是4字节的，而在64位系统中，size_t是8字节的，这样利用该类型可以增强程序的可移植性。”

6. 参考资料

    C++ Reference    http://www.cplusplus.com/reference/clibrary/cstring/
    strcpy()、memcpy()、memmove()、memset()的实现    http://www.cnitblog.com/guopingleee/archive/2009/02/15/54581.html
    size_t 百度百科    http://baike.baidu.com/view/3236587.htm