浮動小数点型のポインターに文字列を割り当てることができますか？

Question

以下のコードはなぜ機能していますか？これはコンパイルエラー（または少なくともランタイムエラー）ですか？

#include <stdio.h> 

int main(int argc, char** argv){ 
     float *buf = "happy holiday";  // notice the float 
     printf("content of buf = %s\n",buf); //its working 
     return 0; 
} 

私はそれをコンパイルし、単なる警告ました：あなたは常に-Wall -Werror -Wextra（最低でも）でコンパイルする必要があります

~/Desktop/cTest>gcc -o run run.c 
run.c: In function `main': 
run.c:4: warning: initialization from incompatible pointer type 

Answer 1

を。実際には、ご使用のプラットフォーム上のボンネットの下char *とfloat *の間に違いはありませんので

cc1: warnings being treated as errors 
test.c: In function 'main': 
test.c:4: warning: initialization from incompatible pointer type 
test.c:5: warning: format '%s' expects type 'char *', but argument 2 has type 'float *' 
test.c: At top level: 
test.c:3: warning: unused parameter 'argc' 
test.c:3: warning: unused parameter 'argv' 

また「作品」：そして、あなたはこれを取得します。あなたのコードは本当に違いはありません：

#include <stdio.h> 

int main(int argc, char** argv){ 
     float *buf = (float *)"happy holiday"; 
     printf("content of buf = %s\n",(char *)buf); 
     return 0; 
} 

floatとcharのアライメント要件は（C99、6.3.2.3 P7を参照）、それは未定義の動作になり、その場合には、異なるない限り、これは、明確に定義された動作です。

Answer 2

このプログラムは厳密には適合していません。コンパイラは診断結果を出力する必要があり、コンパイルを拒否する権利があります。そうしないでください。

Answer 3

これは残念なことですが、gccとなり、もし誰かが修正されれば、私たちはすべてバグの少ないソフトウェアを扱うことになります。残念ながら、このような多くの問題を修正する意思の欠如があります。バグレポートを送信しても問題はありません。