bez uwzględnienia <stdio.h>

Question

poniżej podanego programu działa bez włączania <stdio.h>? Dlaczego to działa?

int main() 
{ 
    printf("integra"); 
    return 0; 
} 

Answer 1

Niektóre (stare?) Kompilatory nie wymagają prototypów przed wywołaniem funkcji.

Answer 2

w starszym standardzie, funkcja nieoznakowana przyjmuje argument int i zwraca wartość. Twój char* ma ten sam rozmiar (32-bitowy) co int, więc wszystko działa.

Po prostu tego nie rób.

Answer 3

printf() jest zdefiniowana tylko w libc.so

dynamiczny linker rozwiąże printf symbol() w libc, ponieważ nie obejmowały go

libc jest domyślny w gcc dla każdego programu

Answer 4

Gdy używasz funkcji, która nie została zadeklarowana, kompilator przyjmie, że ta funkcja zwraca wartość int i przyjmuje nieokreśloną, ale ustaloną liczbę argumentów.

Jeśli to przyporządkowanie pasuje do definicji funkcji, a podane argumenty również pasują (modulo domyślne promocje argumentów) do parametrów oczekiwanych przez funkcję, to wszystko jest w porządku.
Jeśli założenie jest niepoprawne (np. Dla printf, która jest funkcją variadic) lub gdy argumenty nie są zgodne, wyniki są niezdefiniowane. Jedną z nieprzyjemnych rzeczy o nieokreślonym zachowaniu jest to, że może działać zgodnie z oczekiwaniami.

Answer 5

Jak zauważył Abi, twój kod buduje się pomyślnie bez włączania stdio.h, ponieważ linker domyślnie stosuje systemową bibliotekę std dla niezdefiniowanego symbolu (printf). GCC zwykle ostrzega Cię o takich przypadkach.

Let test.c być: test.c

1: int main() 
2: { 
3: printf("test\n"); 
4: return 0; 
5: } 

Budynek z GCC 4.2.1 na Mac OSX:

$ gcc test.c 
test.c: In function ‘main’: 
test.c:3: warning: incompatible implicit declaration of built-in function ‘printf’ 
$ ./a.out 
test 

Można wyłączyć tę domyślną łączenie poprzez określenie opcji linkera GCC -nostdlib (lub -nodefaultlibs) wraz z -lgcc (jak instrukcja GCC zaleca)

$ gcc -nostdlib -lgcc test.c 
test.c: In function ‘main’: 
test.c:3: warning: incompatible implicit declaration of built-in function ‘printf’ 
Undefined symbols: 
    "_puts", referenced from: 
     _main in cc3bvzuM.o 
ld: symbol(s) not found 
collect2: ld returned 1 exit status 
$ 

Answer 6

Definicja printf() znajduje się w libc.so, a dynamiczny linker zajmie się tym, nawet jeśli nie uwzględnisz pliku nagłówkowego. Podczas kompilacji, printf() będzie niezdefiniowanym symbolem i zakłada, że ​​może znaleźć definicję później w bibliotece libc. Plik nagłówkowy po prostu nadaje typ proto i tłumi kompilator (ostrzeżenia), stwierdzając, że definicja prototypu jest obecna w glibc. Zasadniczo pliki nagłówkowe są uwzględniane tylko po to, aby upewnić się, że definicje są dostępne w naszych bibliotekach, aby pomóc programistom.