c - 检查符号链接(symbolic link)文件中链接大小是否太大的条件如何在这段代码中起作用？

Question

这是 GNU Coreutils 中 lib/xreadlink.c 文件中的一段代码..

  /* Call readlink to get the symbolic link value of FILENAME.
   +   SIZE is a hint as to how long the link is expected to be;
   +   typically it is taken from st_size.  It need not be correct.
       Return a pointer to that NUL-terminated string in malloc'd storage.
       If readlink fails, return NULL (caller may use errno to diagnose).
       If malloc fails, or if the link value is longer than SSIZE_MAX :-),
       give a diagnostic and exit.  */

 char * xreadlink (char const *filename)
 {
    /* The initial buffer size for the link value.  A power of 2
       detects arithmetic overflow earlier, but is not required.  */
    size_t buf_size = 128;

    while (1)
    {
      char* buffer = xmalloc(buf_size);
      ssize_t link_length = readlink(filename, buffer, buf_size);
      if(link_length < 0)
      {
         /*handle failure of system call*/
      }

      if((size_t) link_length < buf_size)
      {
           buffer[link_length] = 0;
           return buffer;
      }

      /*size not sufficient, allocate more*/
      free (buffer);
      buf_size *= 2;
      /*Check whether increase is possible*/
      if (SSIZE_MAX < buf_size || (SIZE_MAX / 2 < SSIZE_MAX && buf_size == 0))
          xalloc_die ();
   }
}

代码是可以理解的，除了我无法理解检查链接大小是否太大的工作原理，即行:

      if (SSIZE_MAX < buf_size || (SIZE_MAX / 2 < SSIZE_MAX && buf_size == 0))

更进一步，怎样才能

     (SIZE_MAX / 2 < SSIZE_MAX) 

条件在任何系统上都为真？？？

Answer 1

SSIZE_MAX 是 size_t 的有符号变量的最大值。例如，如果 size_t 只有 16 位(现在不太可能)，SIZE_MAX 是 65535 而 ssize_max 是 32767。更有可能是 32 位(分别给出 4294967295 和 2147483647)，甚至 64 位(给出的数字太大而无法在此处输入 :-))。

这里要解决的基本问题是 readlink 返回一个带符号的值，即使 SIZE_MAX 是一个无符号的值 ... 所以一旦 buf_size超过 SSIZE_MAX，则无法读取链接，因为较大的正值将导致负返回值。

至于“进一步”部分:它很可能不能，也就是说，你是对的。无论如何，至少在任何健全的系统上。 (理论上可能有，例如，一个 32 位的 SIZE_MAX 但是一个 33 位的有符号整数，这样 SSIZE_MAX 也是 4294967295。大概编写这段代码是为了防止理论上可能的，但永远不会-实际看到的，系统。)