API09-C. 互換性のある値には同じ型を使用する

互換性のある値には、必ず、同じ型を使用する。ある関数の返り値が別の関数の引数に使用される場合、2 つの値は必ず同じ型にすべきである。互換性のある値に同じ型を使用することで、返り値を引数として別の関数に渡す際に型変換が発生せず、変換エラーを低減することができる。

違反コード

問題の潜在的な原因の1つは、POSIX が関数の返り値に様々な意味を持たせる傾向があることに端を発するとも考えられる。たとえば、エラーの場合の返り値は −1、成功の場合の返り値は 0、あるいは正の値で実行結果を示す、といったように(「ERR02-C. 正常終了時の値とエラーの値は別の手段で通知する」を参照)。read() システムコールのインタフェースはその好例である。このアプローチでは、符号無しと符号付きの値を自然と混在させることになるため、変換エラーの発生につながる可能性がある。

OpenSSH では、「割り込まれた場合は再試行」する関数 atomicio() を使用してほとんどの I/O 呼出しを行っている。次のコードは、atomicio.c,v 1.12 2003/07/31 をやや簡略化したものである。関数 f() は、read() と vwrite() のいずれかを示す。

ssize_t atomicio(f, fd, _s, n)
  ssize_t (*f) (int, void *, size_t);
  int fd;
  void *_s;
  size_t n;
{
  char *s = _s;
  ssize_t res, pos = 0;

  while (n > pos) {
    res = (f) (fd, s + pos, n - pos);
    switch (res) {
      case -1:
         if (errno == EINTR || errno == EAGAIN)
         continue;
      case 0:
        return (res);
      default:
        pos += res;
     }
   }
   return (pos);
}

この関数には非常に多くの問題点があるが、このレコメンデーションに関する事項のみ指摘すると次のようになる。

atomicio() 関数は ssize_t 型の値を返す(これは必ず符号付きの型である)。サイズが負の値になることはないため、ssize_t 型を使用している点にインタフェース設計の不備がはっきりと表れている。
res と pos がどちらも ssize_t として宣言されている。
式 n - pos では、通常の算術変換により pos が符号付き型から符号無し型に変換される(「INT02-C. 整数変換のルールを理解する」を参照)。

適合コード

atomicio.c,v 1.25 2007/06/25 の atomicio() では、常に符号無しの値を返し、エラー報告には errno を使用するように修正されている。

size_t atomicio(ssize_t (*f) (int, void *, size_t), int fd, void *_s, size_t n) {
  char *s = _s;
  size_t pos = 0;
  ssize_t res;
  struct pollfd pfd;

  pfd.fd = fd;
  pfd.events = f == read ? POLLIN : POLLOUT;
  while (n > pos) {
    res = (f) (fd, s + pos, n - pos);
    switch (res) {
      case -1:
        if (errno == EINTR)
          continue;
        if (errno == EAGAIN) {
          (void)poll(&pfd, 1, -1);
          continue;
        }
        return 0;
      case 0:
        errno = EPIPE;
        return pos;
      default:
        pos += (size_t)res;
      }
    }
  return (pos);
}

このバージョンの atomicio() 関数には次の変更が加えられている。