C/C++

Różnica jest fundamentalna i wynika z faktu, że C++ jest językiem obiektowym, a C nie. • `malloc()` i `free()` to funkcje odziedziczone z języka C. Służą one do alokacji i zwalniania surowego, nietypowanego bloku pamięci. Nie wiedzą one nic o typach obiektów, a co za tym idzie – nie wywołują konstruktorów ani destruktorów. • `new` i `delete` to operatory wprowadzone w C++. Są one świadome typów. Operator `new` nie tylko alokuje pamięć o odpowiednim rozmiarze, ale także automatycznie wywołuje konstruktor tworzonego obiektu. Analogicznie, operator `delete` najpierw wywołuje destruktor obiektu, a dopiero potem zwalnia pamięć. W nowoczesnym C++ należy zawsze używać `new` i `delete` do zarządzania obiektami, a najlepiej w ogóle unikać ręcznego zarządzania pamięcią, stosując inteligentne wskaźniki i idiom RAII.

RAII (Resource Acquisition Is Initialization) to fundamentalny idiom i wzorzec projektowy w C++, który stanowi podstawę bezpiecznego zarządzania zasobami. Jego nazwa jest nieco myląca – kluczem jest zwalnianie zasobów, a nie ich pozyskiwanie. Zasada działania: Zarządzanie zasobem (takim jak pamięć, plik, gniazdo sieciowe, mutex) jest ściśle powiązane z cyklem życia obiektu, który jest tworzony na stosie. Wygląda to następująco: 1. Pozyskanie zasobu odbywa się w konstruktorze obiektu. 2. Zwolnienie zasobu odbywa się w destruktorze obiektu. Dlaczego jest to tak ważne? Ponieważ destruktor obiektu na stosie jest gwarantowanie wywoływany, gdy obiekt wychodzi z zakresu (scope) – niezależnie od tego, czy funkcja kończy się normalnie, przez `return`, czy w wyniku rzucenia wyjątku. Daje to automatyczne i deterministyczne zarządzanie zasobami, co eliminuje wycieki pamięci i zasobów oraz czyni kod znacznie bezpieczniejszym i czystszym, bez potrzeby stosowania bloków `try...finally`. Najlepszym przykładem RAII w praktyce są inteligentne wskaźniki (`std::unique_ptr`, `std::shared_ptr`) oraz klasy takie jak `std::lock_guard` czy `std::ifstream`.

Choć oba mechanizmy pozwalają na pośredni dostęp do obiektów, mają one kluczowe różnice semantyczne i składniowe: • Wskaźnik (`pointer`): - Jest to zmienna, która przechowuje adres pamięci innego obiektu. - Może mieć wartość `nullptr`, co oznacza, że nie wskazuje na nic. - Jego wartość można zmieniać w trakcie życia, aby wskazywał na różne obiekty. - Wspiera arytmetykę wskaźników, co jest kluczowe przy pracy z tablicami. - Dostęp do obiektu wymaga dereferencji (operator `*` lub `->`). • Referencja (`reference`): - Jest to alias, czyli inna nazwa dla już istniejącego obiektu. - Musi być zainicjowana w momencie deklaracji i nie może być 'pusta' (nie ma czegoś takiego jak `null` referencja). - Po zainicjowaniu, nie można jej zmienić, aby odnosiła się do innego obiektu; na zawsze pozostaje aliasem dla pierwotnego obiektu. - Składniowo używa się jej tak, jakby była samym obiektem, bez potrzeby dereferencji. Kiedy używać? Referencji używamy, gdy chcemy przekazać obiekt do funkcji bez kopiowania i mamy pewność, że obiekt istnieje (np. w przeciążaniu operatorów). Wskaźników używamy, gdy 'opcjonalność' (możliwość `nullptr`) jest potrzebna lub gdy musimy zmieniać to, na co wskazujemy.

Inteligentne wskaźniki to klasy opakowujące (wrappers) surowe wskaźniki, które automatyzują zarządzanie pamięcią w oparciu o idiom RAII. Eliminują one potrzebę ręcznego wywoływania `delete`, co jest główną przyczyną wycieków pamięci i błędów w C++. Główne typy inteligentnych wskaźników w standardowej bibliotece to: 1. `std::unique_ptr`: - Implementuje wyłączną, unikalną własność nad obiektem. W danym momencie tylko jeden `unique_ptr` może być właścicielem obiektu. - Nie można go kopiować, ale można go przenosić (move), przekazując własność. - Gdy `unique_ptr` jest niszczony, automatycznie wywołuje `delete` na zarządzanym wskaźniku. - Jest to domyślny, preferowany wybór, ponieważ ma zerowy narzut wydajnościowy w stosunku do surowego wskaźnika. 2. `std::shared_ptr`: - Implementuje współdzieloną własność. Wiele `shared_ptr` może wskazywać na ten sam obiekt. - Utrzymuje licznik referencji, który śledzi, ilu właścicieli ma dany obiekt. - Obiekt jest zwalniany dopiero wtedy, gdy ostatni `shared_ptr` do niego jest niszczony (licznik referencji spada do zera). 3. `std::weak_ptr`: - Jest to 'słaba', nieposiadająca referencja do obiektu zarządzanego przez `shared_ptr`. - Służy do przerywania cykli silnych referencji między obiektami zarządzanymi przez `shared_ptr`. Nie zwiększa licznika referencji.

Są to dwa kluczowe, następujące po sobie etapy w procesie tworzenia programu z kodu źródłowego. • Kompilacja: - Jest to proces tłumaczenia pojedynczego pliku kodu źródłowego (np. `main.cpp`) na kod obiektowy (plik `.o` lub `.obj`). - Na tym etapie preprocesor przetwarza dyrektywy (np. `#include`), a kompilator tłumaczy kod C++ na kod maszynowy zrozumiały dla procesora. - Plik obiektowy zawiera kod maszynowy, ale odwołania do funkcji lub zmiennych zdefiniowanych w innych plikach źródłowych (np. w `utils.cpp`) nie są jeszcze rozwiązane – są one jedynie zaznaczone jako 'symbole zewnętrzne'. • Linkowanie: - Jest to proces łączenia wielu plików obiektowych oraz bibliotek (statycznych lub dynamicznych) w jeden, finalny plik wykonywalny (lub bibliotekę). - Zadaniem linkera jest rozwiązanie wszystkich odwołań do symboli zewnętrznych. Znajduje on definicje funkcji i zmiennych w innych plikach obiektowych i 'podmienia' odwołania na ich rzeczywiste adresy w pamięci. - Jeśli linker nie może znaleźć definicji jakiegoś symbolu, zgłasza błąd 'unresolved external symbol'.

Szablony (templates) to potężny mechanizm C++, który umożliwia programowanie generyczne, czyli pisanie kodu, który może działać z dowolnym typem danych, bez utraty bezpieczeństwa typów. Pozwalają one na tworzenie: • Szablonów funkcji: Możemy napisać jedną funkcję `max(a, b)`, która będzie działać zarówno dla `int`, `double`, jak i dla niestandardowych typów, o ile mają one zdefiniowany operator porównania. • Szablonów klas: Możemy stworzyć jedną klasę generyczną, np. kontener, która może przechowywać obiekty dowolnego typu. Jak to działa? Szablon nie jest kompilowany bezpośrednio. Jest to 'przepis' dla kompilatora. Dopiero gdy używamy szablonu z konkretnym typem (np. `std::vector`), kompilator na podstawie tego szablonu generuje i kompiluje konkretną wersję klasy lub funkcji dla tego typu. Proces ten nazywa się instancjacją szablonu. Zastosowanie: Szablony są fundamentem Standardowej Biblioteki Szablonów (STL). Wszystkie kontenery (jak `std::vector`, `std::map`), inteligentne wskaźniki i wiele algorytmów są zaimplementowane jako szablony, co zapewnia ich ogromną reużywalność i bezpieczeństwo typów.