Warum kann ich einem Zeiger eine Zeichenfolge zuweisen?

Question

Warum funktioniert der folgende Code? Sollte das ein Übersetzungsfehler (oder zumindest ein Laufzeitfehler) sein?

#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; 
} 

ich es kompiliert und bekam nur eine Warnung:

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

Answer 1

Sie immer mit -Wall -Werror -Wextra (mindestens) zusammenstellen sollte. Dann erhalten Sie folgende:

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' 

Es „funktioniert“, weil in der Praxis gibt es keinen Unterschied gibt zwischen einem char * und einem float * unter der Haube auf Ihrer Plattform. Ihr Code ist wirklich nicht anders zu:

#include <stdio.h> 

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

Dies ist wohldefinierte Verhalten, es sei denn, die Ausrichtungsanforderungen von float und char unterscheiden, in welchem ​​Fall es in undefinierten Verhalten führt (siehe C99, 6.3.2.3 p7).

Answer 2

Dieses Programm ist nicht streng konform, ein Compiler muss eine Diagnose ausgeben und hat das Recht, die Kompilierung abzulehnen. Also tu es nicht.

Answer 3

Dies ist ein unglückliches Verhalten von gcc, und wenn jemand es behoben werden könnte, würden wir alle mit viel weniger Buggy-Software beschäftigen. Leider fehlt es am Willen, viele Dinge wie diese zu beheben. Das Einreichen eines Fehlerberichts würde nicht schaden.