LINUXSOFT.cz Přeskoč levou lištu
Uživatel: Heslo:  
   CZUKPL

> C/C++ (37) - Prostory jmen podruhé

Dnes si ukážeme (de)motivační příklad s konfliktem identifikátorů při práci s knihovnami. Pro nás to bude důvod, proč používat prostory jmen.

16.6.2006 06:00 | Jan Němec | Články autora | přečteno 14764×

Kontrola domácího úkolu

Na konci minulého dílu jsem zadával domácí úkol, který by čtenáře měl motivovat k používání namespace. Měli jsme vytvořit knihovnu a hlavní program, který ji bude využívat, přičemž oba moduly mají využívat stejně pojmenovanou proměnnou.

Používají se dva typy knihoven: statické, s nimiž se program slinkuje již během kompilace a dynamické (sdílené), kde i na úrovni výsledného spustitelného kódu jsou oba moduly oddělené. U sdílených knihoven pak existují dvě možnosti načtení: rovnou při spuštění a nebo někdy později za běhu. V prvním případě je program na knihovně zcela závislý a bez ní se ani nespustí. V druhém případě je načtení knihovny součástí kódu programu, je třeba také explicitně načíst potřebné symboly knihovny (funkce, globální proměnné), které budeme využívat. Výhodou je, že program není na knihovně tolik závislý, může ji načíst jen někdy a rovněž ošetřit její nedostupnost. Ukážeme si chování programu a knihovny, které mají stejně pojmenovanou proměnnou, a to při všech třech způsobech práce s knihovnou (statická, dynamická načtená při spuštění, dynamická načtená za běhu). Ve všech třech případech bude výsledek odlišný.

Způsob vytváření sdílených knihoven závisí na platformě. Kód uvedený v tomto dílu je určený pro Linux a podobné systémy, nebude proto fungovat například na Windows. Vzhledem k tomu, že problém s konfliktem identifikátorů, na nějž jsem chtěl upozornit, je v C a C++ stejný, zvolil jsem jazyk C.

Hlavní program může vypadat třeba takhle.

/* program.c */
#include <stdio.h>
#include "knihovna.h"

int i = 125;

int main(void) {
  funkceZKnihovny();
  printf("program: i = %i\n", i);
  return 0;
}

Knihovna bude mít dva zdrojové soubory: header

/* knihovna.h */
#ifndef knihovnaH
#define knihovnaH

void funkceZKnihovny(void);
#endif

a vlastní kód.

/* knihovna.c */
#include <stdio.h>
#include "knihovna.h"

int i = 2;

void funkceZKnihovny(void) {
  printf("knihovna: i = %i\n", i);
}

Oba moduly tedy mají globální proměnnou i typu int, která není deklarovaná jako static. V tomto jednoduchém případě je to trochu nelogické, ale pokud by se oba moduly skládaly z většího počtu zdrojových souborů a proměnná i by z nich byla využívána, jako static bychom ji definovat nemohli. V obou modulech je však i chápána jako interní (a nedokumentovaná), nemá tedy tvořit rozhraní. Proto také není uvedena v hlavičkovém souboru knihovny.

Nejprve se pokusíme přeložit projekt jako program se statickou knihovnou.

gcc knihovna.c -c
ar -cr libknihovna.a knihovna.o
gcc program.c -L. -lknihovna -o program

Prvním příkazem jsme přeložili zdrojový kód knihovny do objektového kódu knihovna.o, druhým pak sbalili přeložený kód do knihovny libknihovna.a a konečně třetí příkaz je pokus o přeložení hlavního programu s přilinkovanou knihovnou. Zatím dopadne vše dle očekávání a třetí příkaz neprojde kvůli konfliktu identifikátorů i na úrovni objektového kódu.

./libknihovna.a(knihovna.o):(.data+0x0): multiple definition of `i'
/home/honza/tmp/ccLlnpkA.o:(.data+0x0): first defined here
collect2: ld returned 1 exit status

Není divu, linkování statické knihovny je vlastně jen linkování více objektových souborů a to, že jeden nebo několik z nich jsou zabaleny do knihovny není důležité.

Teď použijeme dynamicky linkovanou knihovnu načtenou při spuštění programu. Zdrojový kód zůstává stejný, liší se jen způsob překladu.

gcc knihovna.c -o libknihovna.so -shared
gcc program.c -L. -lknihovna -o program

Nyní máme přeložený program i sdílenou knihovnu v aktuálním adresáři. Na Linuxu ovšem není aktuální adresář implicitní ani pro spouštěné programy ani pro načítání sdílených knihoven. Pro naše pokusy s knihovnami můžeme implicitní cestu snadno nastavit.

export LD_LIBRARY_PATH=.

Všimněte si, že překlad prošel bez problémů. Možná, že očekáváte chybu při načítání knihovny do paměti po spuštění programu, ale k žádné chybě při dynamickém linkování kupodivu nedojde.

[honza@localhost]$ ./program
knihovna: i = 125
program: i = 125
[honza@localhost]$

Jak je vidět, k chybě došlo později, za běhu. Došlo ke ztotožnění proměnných i, knihovna vypisuje hodnotu z programu. V našem případě to vede pouze k jinému než očekávanému výstupu z programu, podobná situace však může samozřejmě nastat i mezi proměnnými různého typu nebo mezi pointery. V tom případě musíme čekat pád aplikace.

Dynamicky linkovanou knihovnu můžeme načíst i za chodu programu. Podívejme se, zda to bude mít nějaký vliv na náš konflikt identifikátorů. Program je třeba přepsat, neboť v tomto případě je načítání knihovny součástí kódu.

/* program2.c */
#include <dlfcn.h>
#include <stdio.h>

int i = 125;

int main(int argc, char **argv) {
  /* Ukazatel na interní data reprezentující načtenou knihovnu */
  void *pdll;
  /* Ukazatel na funkci z knihovny. */
  void (*funkceZKnihovny)(void);

  /* Za běhu načteme sdílenou knihovnu. */
  pdll = dlopen("./libknihovna.so", RTLD_LAZY);
  if (!pdll) {
    puts(dlerror());
    return 1;
  }
  /* Z knihovny získáme symbol funkceZKnihovny a ukazatel přetypujeme
     na známý prototyp. "*/
  funkceZKnihovny = (void (*)(void)) dlsym(pdll, "funkceZKnihovny");
  if (!funkceZKnihovny) {
    puts(dlerror());
    dlclose(pdll);
    return 2; 
  }
  /* Zavoláme funkci z knihovny. */
  funkceZKnihovny();
  printf("program: i = %i\n", i);
  /* Uvolníme sdílenou knihovnu. */
  dlclose(pdll);
  return 0;
}

Program využívá funkce pro načtení (dlopen) a uvolnění (dlclose) dynamicky linkované knihovny, načtení symbolu z knihovny (dlsym) a text chybové hlášky (dlerror) s poměrně intuitivním způsobem volání, bližší informace najdete v manuálových stránkách.

gcc program2.c -o program2 -ldl

Právě kvůli uvedeným funkcím je třeba linkovat program s knihovnou libdl.so, tj. s parametrem -ldl. Naopak naši knihovnu libknihovna.so si program připojí sám za běhu, tu uvádět nemusíme.

[honza@localhost]$ ./program2
knihovna: i = 2
program: i = 125
[honza@localhost]$

Výstup programu ukazuje, že v případě dynamicky linkované knihovny načtené za běhu k problému nedošlo, globální proměnné i se nepomíchaly.

Závěr

Cílem tohoto dílu nebyl ani tak rychlokurs vytváření knihoven, jako spíš varování před konfliktem identifikátorů. Omezené možnosti jazyků C a C++ a způsob linkování přeloženého kódu mohou způsobit při konfliktu globálních identifikátorů velké a někdy těžko odhalitelné nebo odstranitelné nepříjemnosti. Problémy se navíc mohou lišit systém od systému a (jak jsme si ukázali) závisí i na způsobu spojování modulů. Jediným řešením je podobným problémům předcházet. V C jsme omezeni na volbu vhodných jmen. Všimněte si třeba názvů funkcí GTK+ nebo MySQL C API. To, že názvy funkcí z těchto knihoven začínají na gtk_ respektive mysql_, není jen z důvodu názornosti. Jedná se rovněž o ochranu identifikátorů. V C++ jsme na tom lépe, neboť můžeme používat namespace. Troufl bych si tvrdit, že se jedná o jednu z nejméně doceněných předností C++ oproti C.

Pokračování příště

V příštím dílu povídání o prostorech jmen dokončíme.

Verze pro tisk

pridej.cz

 

DISKUZE

namespace vs. C 21.6.2006 12:05 camlost
  L Re: namespace vs. C 21.6.2006 15:20 Jan Němec
    L Re: namespace vs. C 21.6.2006 16:53 camlost
      |- Re: namespace vs. C 21.6.2006 17:34 Ondřej Čečák
      | L Re: namespace vs. C 21.6.2006 21:33 Aleš Hakl
      |   L Re: namespace vs. C 21.6.2006 23:12 camlost
      |     L Re: namespace vs. C 22.6.2006 00:15 Aleš Hakl
      |       L Re: namespace vs. C 22.6.2006 09:12 camlost
      |         L Re: namespace vs. C 22.6.2006 12:31 Aleš Hakl
      |           L Re: namespace vs. C 22.6.2006 13:34 Jan Němec
      L Re: namespace vs. C 22.6.2006 08:16 Jan Němec




Příspívat do diskuze mohou pouze registrovaní uživatelé.
> Vyhledávání software
> Vyhledávání článků

13.9.2017 8:00 /František Kučera

Máš rád svobodný software a hardware nebo se o nich chceš něco dozvědět? Zajímá tě DIY, CNC, SDR nebo morseovka? Přijď na sraz spolku OpenAlt – tentokrát netradičně v pondělí: 18. září od 18:00 v Radegastovně Perón (Stroupežnického 20, Praha 5).


Přidat komentář

3.9.2017 20:45 /Redakce Linuxsoft.cz
PR: Dne 21. září 2017 proběhne v Praze konference "Mobilní řešení pro business". Hlavní tématy konference budou: nejnovější trendy v oblasti mobilních řešení pro firmy, efektivní využití mobilních zařízení, bezpečnostní rizika a řešení pro jejich omezení, správa mobilních zařízení ve firmách a další.
Přidat komentář

15.5.2017 23:50 /František Kučera
Máš rád svobodný software a hardware nebo se o nich chceš něco dozvědět? Zajímá tě DIY, CNC, SDR nebo morseovka? Přijď na sraz spolku OpenAlt, který se bude konat ve čtvrtek 18. května od 18:00 v Radegastovně Perón (Stroupežnického 20, Praha 5).
Přidat komentář

12.5.2017 16:42 /Honza Javorek
PyCon CZ, česká konference o programovacím jazyce Python, se po dvou úspěšných ročnících v Brně bude letos konat v Praze, a to 8. až 10. června. Na konferenci letos zavítá např. i Armin Ronacher, známý především jako autor frameworku Flask, šablon Jinja2/Twig, a dalších projektů. Těšit se můžete na přednášky o datové analytice, tvorbě webu, testování, tvorbě API, učení a mentorování programování, přednášky o rozvoji komunity, o použití Pythonu ve vědě nebo k ovládání nejrůznějších zařízení (MicroPython). Na vlastní prsty si můžete na workshopech vyzkoušet postavit Pythonem ovládaného robota, naučit se učit šestileté děti programovat, efektivně testovat nebo si v Pythonu pohrát s kartografickým materiálem. Kupujte lístky, dokud jsou.
Přidat komentář

2.5.2017 9:20 /Eva Rázgová
Putovní konference československé Drupal komunity "DrupalCamp Československo" se tentokrát koná 27. 5.2017 na VUT FIT v Brně. Můžete načerpat a vyměnit si zkušenosti z oblasti Drupalu 7 a 8, UX, SEO, managementu týmového vývoje, využití Dockeru pro Drupal a dalších. Vítáni jsou nováčci i experti. Akci pořádají Slovenská Drupal Asociácia a česká Asociace pro Drupal. Registrace na webu .
Přidat komentář

1.5.2017 20:31 /Pavel `Goldenfish' Kysilka
PR: 25.5.2017 proběhne v Praze konference na téma Firemní informační systémy. Hlavními tématy jsou: Informační systémy s vlastní inteligencí, efektivní práce s dokumenty, mobilní přístup k datům nebo využívání cloudu.
Přidat komentář

15.4.2017 15:20 /František Kučera
Máš rád svobodný software a hardware nebo se o nich chceš něco dozvědět? Zajímá tě IoT a radiokomunikace? Přijď na sraz spolku OpenAlt, který se bude konat ve středu 19. dubna od 18:30 v Šenkovně (Sokolská 60, Praha 2).
Přidat komentář

5.3.2017 19:12 /Redakce Linuxsoft.cz
PR: 23. března proběhne v Praze konferenci na téma Cloud computing v praxi. Hlavními tématy jsou: Nejžhavější trendy v oblasti cloudu a cloudových řešení, Moderní cloudové služby, Infrastruktura současných cloudů, Efektivní využití cloudu, Nástrahy cloudových řešení a jak se jim vyhnout.
Přidat komentář

   Více ...   Přidat zprávičku

> Poslední diskuze

18.9.2017 14:37 / Rojas
high security vault

15.9.2017 7:33 / Wilson
new zealand childcare jobs

31.8.2017 12:11 / Jaromir Obr
Re: ukůládání dat ze souboru

30.7.2017 11:12 / Jaromir Obr
Národní znaky

27.7.2017 12:24 / Jaromir Obr
Cteni/zapis

Více ...

ISSN 1801-3805 | Provozovatel: Pavel Kysilka, IČ: 72868490 (2003-2017) | mail at linuxsoft dot cz | Design: www.megadesign.cz | Textová verze