strcpy 字符串拷贝函数解析

描述：

实现 strcpy，字符串拷贝函数，函数原型如下：

char* my_strcpy(char *to, const char *from);

分析：

• 函数原型
  
  • 该原型默认存储空间足够
  • const：表明其为输入参数，防止其在函数体内被意外修改
  • 返回值：使函数能够支持链式表达式，额外增加了函数的可用性
• 函数流程
  
  • 检查输入指针的有效性，防止访问出错
  • 用指针把to指针接过来，保存原始的to指针
  • 边界条件的检查，字符串复制要把最后一个字符‘\0’复制过来
  • 返回原始的to指针

示范代码：

char* my_strcpy(char *to, const char *from) {
    assert(to != NULL && from != NULL);
    char *p = to;
    while((*p++ = *from++) != '\0') { }

    return to;
}

1、检查有效性

assert(to != NULL && from != NULL);

• 使用 NULL 而不用字面常量 0 。字面常量会降低程序的可维护性。而且 NULL 可以避免拼写错误。
• 不要使用类型的隐式转换，例如 ！to ，把 char* 转换成 bool 即类型隐式转换，这种方法增加了灵活性，但是出错概率增大，维护成本上升。
• 做判断时，to != NULL 和 NULL != to 两者都是可取的，但若是 to == NULL 和 NULL == to 取后一种表达式。原因是，若后者表达式写成了赋值语句 = 则马上报错，而前者检查不出来，将导致意外的结果。

2、保存原始的to指针

char *p = to;

3、边界条件的检查

(*p++ = *from++) != '\0'

赋值结束条件要非常注意检查，最重要的是要注意字符串末尾的 ‘\0’有没有赋值成功。
= 和 * 和 ++ 这三个符号里，* 和 ++ 的优先级相同，高于 =，同时由于右 ++ 的特点是滞后使用，所以先赋值再指针增加。所以顺序是：

• *p = *from;
• p++; from++;

所以可以看到，当检查到 ‘\0’ 时，已经赋值完毕。