Dotaz: Jazyk C: multiple definition of id

[Alexander Krupka]

Dobry den,

napsal jsem program, ktery se sestava z techto souboru:

Makefile
scanner-test.c
scanner.c
scanner.h
str.c
str.h

a pri prekladu pres make mi to stale haze toto:

$ make
gcc -Wall -std=c99 -pedantic -lm -c scanner-test.c
gcc -Wall -std=c99 -pedantic -lm -c scanner.c
gcc -Wall -std=c99 -pedantic -lm -c str.c
gcc -Wall -std=c99 -pedantic -lm scanner-test.o scanner.o str.o -o scanner-test
scanner.o:(.data+0x0): multiple definition of `keywords'
scanner-test.o:(.data+0x0): first defined here
collect2: ld returned 1 exit status
make: *** [scanner-test] Error 1

keywords je pole, ktere je definovane POUZE jednou v souboru scanner.h. Mam podezreni, ze za toto muze muj Makefile. Ten vypada takto:

CC=gcc
CFLAGS=-Wall -std=c99 -pedantic -lm

all: scanner-test

scanner-test: scanner-test.o scanner.o str.o
	$(CC) $(CFLAGS) scanner-test.o scanner.o str.o -o scanner-test

scanner.o: scanner.c str.h
	$(CC) $(CFLAGS) -c scanner.c 

str.o: str.c str.h
	$(CC) $(CFLAGS) -c str.c

scanner-test.o: scanner-test.c str.h scanner.h
	$(CC) $(CFLAGS) -c scanner-test.c

clean:
	rm -f *.o *.out $(PRJ)

Nezda se mi vsak, ze by se tam neco natahovalo 2x. Uz jsem z toho zoufaly, hledani teto priciny mi uz zabralo vice casu nez samotne napsani programu, muzete mi prosim poradit? Dekuji.

Odpovědi

[petr]

Je to tim, ze scanner.h mate naincludovany i do scanner.c. To neni problem v Makefilu, proste mate blbe kod. Najdete si na netu nebo v jakekoliv ucebnici C klicova slova extern a static.

[Alexander Krupka]

Jeste dodam, ze jsem zkusil zmenit Makefile na tento, ale stale stejny vysledek:

CC=gcc
CFLAGS=-Wall -std=c99 -pedantic -lm

all: str.o scanner.o scanner-test.o
	$(CC) $(CFLAGS) -o scanner-test str.o scanner.o scanner-test.o

clean:
	rm -f *.o *.out $(PRJ)

Jeste popisu co jednotlive souboru includuji:

scanner.c     <-- scanner.h
                  str.h

str.c         <-- str.h

scanner-test  <-- str.h
                  scanner.h

Vsechny hlavickove soubory jsou opatreny konstrukci

#ifndef XXX
#define XXX
...
#endif

[XSimi]

mas .h v nejakym takovymdle tvaru?

#ifndef TESTYTESTY_H
#define TESTYTESTY_H

cosi

#endif

[XSimi]

ups slepej sem

[burlog]

Toto je sice take potreba, ale tazatel potrebuje skutecne danou promenou udelat extern:

a.h
----

extern int a;

a.c
----

int a = 0;

pak to zacne fungovat.

[Alexander Krupka]

Tak jsem pole keywords definoval jak extern (extern const char*):

$ make
gcc -Wall -std=c99 -pedantic -lm   -c -o str.o str.c
gcc -Wall -std=c99 -pedantic -lm   -c -o scanner.o scanner.c
In file included from scanner.c:5:
scanner.h:12: warning: ‘keywords’ initialized and declared ‘extern’
gcc -Wall -std=c99 -pedantic -lm   -c -o scanner-test.o scanner-test.c
In file included from scanner-test.c:4:
scanner.h:12: warning: ‘keywords’ initialized and declared ‘extern’
gcc -Wall -std=c99 -pedantic -lm -o scanner-test str.o scanner.o scanner-test.o
scanner-test.o:(.data+0x0): multiple definition of `keywords'
scanner.o:(.data+0x0): first defined here
collect2: ld returned 1 exit status
make: *** [all] Error 1

Nepomohlo:/

[Alexander Krupka]

Jeste dodam, ze promenna keywords je definovana v souboru scanner.h a jeji jedine pouziti je v souboru scanner.c.

[petr]

Pokud to pouzivate jen v jednom souboru, tak to nadeklarujte jako static.

[Alexander Krupka]

scanner.h:

static const char* keywords[] = {
    ...
};

make:

$ make
gcc -Wall -std=c99 -pedantic -lm   -c -o str.o str.c
gcc -Wall -std=c99 -pedantic -lm   -c -o scanner.o scanner.c
gcc -Wall -std=c99 -pedantic -lm   -c -o scanner-test.o scanner-test.c
scanner.h:12: warning: ‘keywords’ defined but not used
gcc -Wall -std=c99 -pedantic -lm -o scanner-test str.o scanner.o scanner-test.o

Nejak to ale nechapu, proc jsem musel promennou deklarovat jako static? Jako deklarace te promenne je v souboru scanner.h. Jeji pouziti je vsak ve scanner.c. Jaktoze si tedy scanner.c nestezuje, ze nevidi definici teto promenne?

[petr]

Nasel jste si v nejake knizce nebo na netu to extern a static, jak jsem vam hned na zacatku napsal? Prijde mi zbytecne sem psat neco, co najdete v jakekoliv ucebnici C, takze ve zkratce 3 druhy deklarace a definice:

auto - kde je definovana, tak tam se vytvori, globalni viditelnost. static - kde je definovana, tam se vytvori, viditelnost v aktualnim modulu. extern - deklarace rika, ze pozdeji bude definovana promenna toho jmena v jinem modulu.

[Alexander Krupka]

Ano, toto jsem si zjistil, ale nevim jak toho vyuzit k vyreseni meho problemu.

[pht]

kdyz to pouzivate jen v jednom .c tak proc to cpete do .h ktere pak inkludujete vsude mozne?

[petr]

Protoze to mate spatne. Extern je smysluplne jen v deklaraci, nikoliv v definici.

[luky]

Mate zmatek v rozdilu mezi definici a deklaraci. Kdyz mate v .h definici promenne, tak bude definovana v kazdem souboru, ktery ho inkluduje (trik s include-once (ifdefy) vam nepomuze, protoze se kazdy .c kompiluje zvlast).

[Alexander Krupka]

int a; ... definice int a = 5; deklarace

... je to tak spravne?

Jake reseni tedy z toho vaseho prostrehy vyplyva? Nechce se mi deklaraci nebo co to je, proste toto:

const char* keywords[] = {
    ...
};

presouvat ze scanner.h do scanner.c, vzdyt od toho mimo jine scanner.h, je? Na deklaraci promennych a typu, ktere pak pouziva *.c soubor.

[Michal Kubeček]

Když napíšete

  int a;
  int b = 5;

tak obě proměnné zároveň definujete, tj. v příslušném modulu bude tato proměnná vytvořena (jestli tam máte nebo nemáte inicializaci, nehraje roli). Napíšete-li takovou věc do hlavičkového souboru, proměnná se vytvoří v každém modulu, do kterého ho includujete, takže linker dostane kolizi. Když ale napíšete

  extern int a;
  extern int b;

řeknete tím překladači, že proměnné a, b jsou typu int, ale že je v tomto modulu nemá vytvářet, protože jsou definovány jinde (tj. externě). První příklad odpovídá definici funkce (tj. včetně těla), zatímco druhý její deklaraci (jen hlavička).

Takže správný postup, jak už tu padlo, je

  extern const char* keywords[];

ve scanner.h a

  extern const char* keywords[] = {
    ...
  };

ve scanner.c, čímž zajistíte, že ve všech modulech (kde se includuje scanner.h) budete mít proměnnou deklarovanou, ale vytvoří se jen ve scanner.o, takže linker na žádnou kolizi nenarazí. Použití static je v tomto případě chybné, protože to by znamenalo, že to sice kolidovat nebude, ale jen proto, že každý modul bude mít svou vlastní proměnnou stejného jména.

[Sinuhet]

Chybycka se vam tam vloudila, scanner.c ma byt

const char* keywords[] = { // bez extern
    ...
};

jinak to bude kolegovi pri linkovani pro zmenu rvat, ze keywords neexistuje.

[Michal Kubeček]

Díky za opravu. Klasická copy-and-paste chyba…

[Martin Tůma]

vzdyt od toho mimo jine scanner.h, je? Na deklaraci promennych a typu, ktere pak pouziva *.c soubor.

Ne tak docela. Hlavičkový soubor slouží především k deklaraci funkcí/proměnných které využívají jiné moduly. Pokud, jak zde píšete, proměnnou/datový typ používáte pouze a jenom v *.c souboru příslušném k danému *.h souboru, je více než moudré proměnnou v hlavičkovém souboru neuvádět a navíc jí deklarovat jako static. Předejdete tak problémům se stejně pojmenovanými "lokálními" funkcemi/proměnnými a "zpřehledníte" informaci o tom, co vlastně daný modul exportuje.