3

実行環境は下記の通りです

CPU ryzen 5 3600
OS windows10 64bit上のvirtual boxでUbuntu 18.04.5 LTSを起動
コンパイラ clang
オプション -Werror -Wall -Wextra

#include <stdio.h>

int main()
{
    char c;
    char s[10] = {};

    s[0] = 'a';
    c = 0;
    printf("%c\n", s[c]);
}
array subscript is of type 'char' [-Werror,-Wchar-subscripts]
        printf("%c\n", s[c]);

以下のようにキャストするか、またはcharではなくint8_t, signed char型で宣言するとコンパイルは通るようになります。

s[(signed char)c]

char型がsignedで定義されている処理系で128以降がオーバーフローする可能性があるためこういった警告が出るようになっていると推測していますが、それを確認するために参照すべきドキュメントが見つけられませんでした。
私の理解は間違っていますか?また、こういったことを確認したい場合、参照するべきドキュメントがあれば教えていただきたいです。
よろしくお願いします。

2
  • 3
    参考までに、gcc にも同じオプション(-Wchar-subscripts)があって、gcc(1) には 'Warn if an array subscript has type "char". This is a common cause of error, as programmers often forget that this type is signed on some machines.' と記載されています。
    – user39889
    Commented 2021年4月7日 12:21
  • gccのmanにあるんですね、検索不足でした。ありがとうございます。
    – nora
    Commented 2021年4月7日 12:53

2 件の回答 2

5

K&R 2nd の 2.2 Data Types and Sizes に

Whether plain chars are signed or unsigned is machine-dependent, but printable charactoers are always positive.

と定義されています。つまり、charは符号付きの可能性もあるし、符号なしの可能性もある曖昧な型です。文字として扱うのであれば問題ありませんが、数値として扱うのは危険であり、それが警告されています。

INT07-C. 数値には符号の有無を明示した char 型のみを使用するで説明されていますが、具体例として

char c = 200;
int i = 1000;
printf("i/c = %d\n", i/c);

というコードがあった場合、 i/c = 5 もしくは i/c = -17 どちらの結果にもなり得るわけで、コードとして正しくても、プログラムとしては意味のないものになってしまいます。

s[(signed char)c] とするよりは signed char c; とすることをお勧めします。

1
  • ありがとうございます、勉強になりました
    – nora
    Commented 2021年4月7日 13:14
1

Clangのドキュメントはこれでしょう。

-Wchar-subscripts - Diagnostic flags in Clang

Diagnostic text:
                        lower bound
warning: array section ------------- is of type 'char'
                        length
warning: array subscript is of type 'char'

他のエラーも含めてソースコードからの機械抽出らしいので、あまり内容は期待できませんね。

Clang警告オプションとメッセージ一覧

LLVM/Clangコンパイラの警告オプション(-Wxxx)と出力メッセージの対応一覧表。Clangソースコードから機械抽出とのこと。


@metropolis さんコメントのように、解説としてはGCCの方に同じ警告があって記述があります。

3.8 Options to Request or Suppress Warnings

-Wchar-subscripts
 Warn if an array subscript has type char. This is a common cause of error, as programmers often forget that this type is signed on some machines. This warning is enabled by -Wall.

 配列の添え字の型がcharの場合に警告します。これはエラーの一般的な原因ですが、プログラマーはこの型が一部のマシンで符号付きであることを忘れがちです。
この警告は -Wallによって有効になります。

char型がsignedで定義されている処理系で128以降がオーバーフローする可能性があるためこういった警告が出るようになっていると推測しています

については、範囲外であるという意味では類似していますが、オーバーフローというよりもアンダーフローの方が相応しいと思われます。

この辺の記事から辿りました。
Warning: array subscript has type char
C++ Warning Array Subscript Has Type 'char'


この記事によると:
[C++] GCC/Clang/VisualStudio の警告をまとめているので紹介

こちらのリポジトリでコンパイラ横断的にまとめられているようです。
srz-zumix/awesome-cpp-warning

資料/説明が無ければ他のコンパイラの仕様を参照してみてはどうでしょう?

ただし、類似であろうとの調査結果?/推測?で表になっていると思われるし、変わる可能性も考えられるので、注意はしておいた方が良いでしょうね。

4

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。