warning: the address of ‘i’ will always evaluate as ‘true’
警告:’i’のアドレスは常に真として評価されます。
[-Waddress]
■1．if(&変数名 != NULL)は必ず成立
#include <stdio.h>
int f1(void) {
int i = 0 ;
if(&i)
return 1;
if(&i != NULL)
return 1;
return 0;
}
アドレスの無い変数はありません。
変数には必ずアドレスがあるので、
変数のアドレスの有無を判定するif文は意味がありません。
■2．if(&引数名 != NULL)は必ず成立
warning: the comparison will always evaluate as ‘false’ for the address of ‘ptr’ will never be NULL
int f2(int *ptr)
{
if(&ptr == NULL){//ダメ:アドレスの無い引数は無い
return 1;
}
if(ptr == NULL){//修正案
return 1;
}
return 0;
}
引数も変数です。
変数には必ずアドレスがあるので、
３行目if文は意味がありません。おそらく
if(&ptr ==NULL) ではなくて
if( ptr ==NULL) としたかった？
■3．if(&配列名[0]!=NULL)は必ず成立
warning: the address of ‘ary’ will always evaluate as ‘true’
int f3(void)
{
char ary[1024] = "" ;
if(ary){//ダメ:アドレスの無い配列は無い
return 1;
}
if(ary == NULL){//clangが警告してくれる
return 1;
}
if(&ary[0] == NULL){//残念:警告してくれない
return 1;
}
if(ary[0] == '\0'){//修正案
return 1;
}
return 0;
}
配列も変数です。
変数には必ずアドレスがあるので、
４行目if文は意味がありません。
おそらく
if(ary) ではなくて
if(ary[0] ==’\0′) としたかった?
注意:なぜか、
if(&ary[0] == NULL)と記述すると
コンパイラが警告を出してくれません。
■4．if(関数名 != NULL）は必ず成立
warning: the address of ‘func’ will always evaluate as ‘true’
警告:’func’ のアドレスは常に ‘true’ として評価されます。
static int func(void)
{
return 0;
}
int f4(void)
{
if(func) { //ダメ:関数のアドレスは無くならないので常に真になる
return 1;
}
if(func()) { //修正例
return 1;
}
return 0;
}
if(func)は
if(関数funcのアドレス) の意味なので常に成立します。
if(func)ではなくて
if(func())の誤りでしょう。
ただし関数ポインタはNULLになる事があるので
if(関数ポインタ）は意味のあるコードです。