1

次のプログラムは、警告なしでコンパイルされます (19 行目と 21 行目の配列インデックスを省略すると配列が事実上破棄されるため、これは望ましくありません)。-D CHECK_NONZERO を指定してコンパイルすると、23 行目が警告なしでコンパイルされないことがわかります。これは、列挙 BBB が 1 に評価され、AAA と aaa が 0 に評価されるためです。

列挙型が 0 に評価される場合、gcc はそれをシームレスに NULL ポインターにキャストするようです。

これはバグと見なす必要がありますか?

編集：私が問題であると認識していることについて、私ができるほど明確ではなかったと思います。列挙型を定数値に解決する前に、警告目的で列挙型を型チェックしても害はないように思えますが、これは現時点で gcc がどのように機能するかではありません。ただし、これが gcc プロジェクトへのバグ レポートまたは機能要求に値するかどうかはわかりません。

#include <stdio.h>
#include <stdlib.h>

typedef enum {
    AAA,
    BBB,
} alpha_e;

enum {
    aaa,
    bbb,
};

int main(void) {
    alpha_e *alpha_array = malloc(sizeof(*alpha_array) * 2);
    alpha_array[0] = AAA;
    alpha_array[1] = BBB;
    printf("1: alpha_array[0] == %u, alpha_array[1] == %u\n", alpha_array[0], alpha_array[1]);
    alpha_array = AAA;
    printf("2: alpha_array[0] == %u, alpha_array[1] == %u\n", alpha_array[0], alpha_array[1]);
    alpha_array = aaa;
#ifdef CHECK_NONZERO
    alpha_array = BBB;
#endif
    return 1;
}

gcc -v:

Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 4.4.3-4ubuntu5.1' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --program-suffix=-4.4 --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-plugin --enable-objc-gc --disable-werror --with-arch-32=i486 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1)
4

3 に答える 3

5

0 に評価される整数定数式は、NULL ポインターと見なす必要があります。列挙値は定数と見なされると思います-変更できる値ではありません。

ポインターを他の整数値に設定することはできません。

于 2012-05-03T19:17:52.140 に答える
0

整数リテラル0はヌル ポインター定数です。

(C99、6.3.2.3p3 ポインター): 「値が 0 の整数定数式、または型 void * にキャストされたそのような式は、NULL ポインター定数と呼ばれます。」

int *p = 0;   // p is a null pointer

(C99、6.3.2.3p3) 「ヌル ポインター定数がポインター型に変換される場合、ヌル ポインターと呼ばれる結果のポインターは、任意のオブジェクトまたは関数へのポインターと等しくないことが保証されます。」

于 2012-05-03T19:25:48.777 に答える
0
6.3.2.3 ポインター
...
3 値が 0 の整数定数式、または型にキャストされたそのような式 は、 NULL ポインター定数void *と呼ばれます。66) null ポインター定数がポインター型に変換される場合、null ポインターと呼ばれる結果のポインターは、任意のオブジェクトまたは関数へのポインターと等しくないことが保証されます。 4 null ポインターを別のポインター型に変換すると、その型の null ポインターが生成されます。任意の 2 つのヌル ポインターは、比較すると等しくなります。 5 整数は、任意のポインター型に変換できます。前に指定された場合を除き、結果は実装定義であり、正しく配置されていない可能性があり、参照された型のエンティティを指していない可能性があり、トラップ表現である可能性があります。



67)
...
66) マクロ NULL は、<stddef.h> (およびその他のヘッダー) で null ポインター定数として定義されます。7.19 を参照。

67) ポインタを整数に、または整数をポインタに変換するためのマッピング関数は、実行環境のアドレッシング構造と一致するように意図されています。

したがって、バグではありません。

于 2012-05-03T19:28:08.363 に答える