与库函数 gets() 混淆

Question

下面是库函数gets()的实现

// I know gets() can cause buffer overflow easily, just use this fuction for demo purpose

char *gets(char *s)
{
   int c;
   char *dest = s;

   while ((c = getchar()) != ’\n’ && c != EOF)
      *dest++ = c;
   if (c == EOF && dest == s)
      return NULL;
   *dest++ = ’\0’;
   return s;
}

void echo()
{
   char buf[8];
   gets(buf);
}

我有两个问题：

Q1-对于这条语句*dest++ = c;，我们知道后缀自增的优先级高于解引用，所以*dest++等价于*(dest++)，但是我们不是丢失了第一个元素buf[0]吗？

Q2-为什么gets() 需要返回一个字符指针？返回指针与参数s 不一样吗？将gets() 方法签名设为：

void gets(char *s)

Answer 1

Q1-对于这条语句*dest++ = c;，我们知道后缀自增的优先级高于解引用，所以*dest++等价于*(dest++)，但不是我们丢了第一个元素buf[0]吗？

不，因为后增量返回变量的旧值，而不是增量值。所以我们取消引用原始的dest 值，然后增加它。相当于

*dest = c;
dest++;

如果是*(++dest) = c;你就对了

Q2-为什么gets() 需要返回一个char 指针？返回指针和参数 s 不一样吗？将 gets() 方法签名设置为：

返回值可以用来判断是否有错误。如果有错误，它会返回NULL。

它可以被设计成返回一个整数状态。但设计者认为，如果返回值比这更有意义，那会更有用。

许多 C 字符串函数同样是多余的。例如，strcat() 和 strcpy() 都返回目标字符串指针。

Answer 2

Q1-对于这个语句*dest++ = c;，我们知道后缀自增的优先级高于解引用，所以*dest++等价于*(dest++)，但不是说我们丢失了第一个元素buf[0 ]?

操作dest++将返回dest的值在操作之前

Q2-为什么gets() 需要返回一个char 指针？返回指针和参数 s 不一样吗？将 gets() 方法签名设置为：

你可以，但是你会丢失返回值给出的信息。如果返回一个 NULL 指针，那么你就知道发生了什么事。