Ugrás a tartalomhoz

outline of C++

A Wikiszótárból, a nyitott szótárból

Angol


Főnév

outline of C++ (tsz. outline of C++s)

  1. (informatika) A C++ egy általános célú, magas szintű programozási nyelv. Egyaránt támogatja a procedurális, az objektumorientált és a generikus programozási stílust. Fő jellemzője, hogy statikusan típusos és fordítóval, nem pedig futási idejű interpreterrel dolgozik. Célja megőrizni a C nyelv hatékonyságát, miközben modernebb, könnyebben karbantartható kódot tesz lehetővé. Sok forrásban köztes (mid-level) nyelvként említik, mivel egyszerre magas- és alacsony szintű tulajdonságokat ötvöz. C++ fordítóprogramok (pl. GNU g++, Clang, Microsoft Visual C++ stb.) gyakorlatilag minden népszerű operációs rendszer alá rendelkezésre állnak.

Fejlesztő és történet

A C++-t Bjarne Stroustrup kezdte fejleszteni az 1970-es évek végén a Bell Labs-ban, kiterjesztésként a C nyelvre. Kezdetben “C with Classes” néven ismerték, és 1983-ban már éles alkalmazásra került sor. Stroustrup más nyelvekből (például Simula, Algol, Ada) vett át fogalmakat és megoldásokat, így a C++ gazdag funkcionalitással indult. Az ISO szabványosítási folyamat 1987 körül vált szükségessé, és 1998-ban adták ki az első hivatalos ISO/C szabványt (ISO/IEC 14882:1998) C++98 néven. Azóta többször frissítették a szabványt: 2003-ban (C++03), 2011-ben (C++11), 2014-ben (C++14), 2017-ben (C++17), 2020-ban (C++20), majd a legújabb 2023-as kiadással (C++23, hivatalosan ISO/IEC 14882:2024). Minden újabb verzió új nyelvi és könyvtári elemeket vezet be (például generikus algoritmusok, több szálú programozás, modern inicializálás stb.).

Fordítók és fejlesztőeszközök

A C++ kódok lefordítására fordítóprogramok (kompilátorok) szolgálnak. Ilyen a GCC/G++ (GNU Compiler Collection), a Clang, a Microsoft Visual C++, az Intel C++ Compiler és számos más megvalósítás. Ezek a fordítók a .cpp kiterjesztésű forrásfájlokat gépi kódra vagy más kimeneti formátumra alakítják. A legtöbb fejlesztő integált fejlesztői környezeteket (IDE-ket) is használ, mint például a Code::Blocks, a Microsoft Visual Studio vagy a KDevelop. Ezek segítik a kód írását, fordítását és hibakeresését.

Nyelvi tulajdonságok

  • Fordított nyelv – A C++ programokat általában fordító alakítja le gépi kódra (pl. GCC, Clang stb.). Ez különbözik például a Python-tól, ami futtatáskor értelmezhet kódot. A C++ fordítók optimalizált objektumkódot hoznak létre, és általában nem futtatják közvetlenül a forráskódot.
  • Több paradigmás – A C++ több programozási elv használatát támogatja: írhatsz benne hagyományos eljárás-orientált (procedurális) kódot, használhatsz osztályokat objektumorientált stílusban, és sablonokkal (templates) generikus (típusfüggetlen) kódot is írhatunk.
  • Statikusan típusos – A változók típusát fordításkor kell megadni (vagy a fordító által kinyert típusnak egyeznie kell), és a fordító szigorú típusellenőrzést végez. Hibák jelentkeznek, ha eltérést talál (pl. nem lehet véletlenül float értéket adni int változónak).
  • Magas szintű/Alacsony szintű képességek – A C++ funkcionálisan magas szintű (magas absztrakciós lehetőségekkel bír, mint osztályok, sablonok, kivételkezelés), de lehetőség van alacsony szintű műveletekre is (memóriacímek kezelése, pointerek, assembler beszúrása). E kettőség miatt gyakran köztes (mid-level) nyelvként említik.
  • Objektumorientált – A C++ egyik fő jellemzője az osztály alapú objektumorientáltság. Létrehozhatunk osztályokat (class), amelyek adattagokat és metódusokat (függvényeket) definiálnak. Ezekből az osztályokból objektumokat (példányokat) hozhatunk létre. Az objektumorientáció alapelvei – öröklődés, polimorfizmus, kapszulázás – mind támogatottak C++-ban. Például C++-ban is írhatunk olyan kódot, ahol egy Állat osztályból származik le a Kutya és a Macska, és ezek közös metódusokat örökölnek. Fontos megjegyezni, hogy bár a C++ erős objektumorientált támogatottsággal bír (a legfontosabb OOP-nyelvek közt tartják számon: Java, C++, C# stb. ), nem erőlteti azt: egy C++ program lehet egyszerű procedurális is, ahogy C programok is írhatóak C++-ban.
  • Generikus (típusfüggetlen) programozás – A C++ sablonok révén támogatja a generikus programozást. Ez azt jelenti, hogy algoritmusokat és adattípusokat írhatunk anélkül, hogy előre meghatároznánk a konkrét adat- vagy objektumtípust. A sablon alapú megközelítés a visszafordulási (compile-time) polimorfizmust szolgálja: a sablonokból generált kód a fordítás során készül el, így futási overhead nem terheli őket. Az STL (Standard Template Library) is sablonokon alapul, ezáltal például ugyanaz az algoritmus működhet int vagy double típusú vektorokkal egyaránt. (Lásd a példa kódokban a template<typename T> használatát.)
  • Kivételkezelés – A C++ beépített kivételkezelést kínál (try, catch, throw), így megszakítás vagy hiba esetén is visszaállíthatjuk programunk egy stabil állapotát. A szabványos könyvtár több kivételosztályt is tartalmaz (például std::exception és leszármazottai). A C++-ban fontos szabály a RAII (Resource Acquisition Is Initialization), vagyis az erőforrások kezelése tárgyak élettartamához kötötten történik: a konstruktorok foglalják, míg a destruktorok felszabadítják az erőforrásokat. Ez megkönnyíti a memóriakezelést és a kivételbiztosságot.
  • Egyéb nyelvi szabályok – A C++-ra vonatkozik például az Egy Definíciós Szabály (One Definition Rule), amely arra ügyel, hogy az azonos entitás (pl. függvény vagy osztály) egyetlen fordítási egységben csak egyszer szerepelhessen. Van undefined behavior (nem definiált viselkedés) fogalma: ez akkor áll elő, ha a kód olyan műveletet végez (pl. tömbön kívüli indexelés, nullapointer-dereferálás, osztás nullával stb.), amit a szabvány nem definiál. Ilyen esetben a fordító tetszőleges kódot generálhat, és a program viselkedése kiszámíthatatlanná válik (ezért kell odafigyelni ezekre a hibákra).

Osztályok, objektumok és kódpéldák

Az alábbi egyszerű példában bemutatunk egy osztályt és objektumait:

#include <iostream>
using namespace std;

class Pont {
private:
    int x, y;                                // Adattagok (attribútumok)
public:
    Pont(int x, int y) : x(x), y(y) {}      // Konstruktor: inicializálja x és y értékét
    void mozdul(int dx, int dy) {           // Metódus (tagfüggvény)
        x += dx;
        y += dy;
    }
    void kiir() const {                     // Konstans metódus: nem módosít objektumot
        cout << "Pont(" << x << ", " << y << ")\n";
    }
};

int main() {
    Pont p(1, 2);        // Két koordinátájú pont létrehozása
    p.kiir();            // Kiírja: Pont(1, 2)
    p.mozdul(3, 4);      // Elmozdítjuk a pontot (+3, +4)
    p.kiir();            // Kiírja: Pont(4, 6)
    return 0;
}

Ebben a kódban a Pont osztály egy kettős koordinátát tárol x és y adattagokon keresztül. A konstruktor beállítja ezeket, a mozdul metódus megváltoztatja értéküket, a kiir pedig konzolra írja ki a pont adatait. A példában látható a kapszulázás (adat elrejtése private adattagokkal), és a C++-ra jellemző kis- és nagybetűk közötti különbségtétel (case-sensitive).

Generikus sablonok és STL

A C++ lehetővé teszi sablonok (template) használatát, amelyek típusparamétereket fogadhatnak. Így írhatsz olyan függvényt vagy osztályt, ami különböző típusokkal működik. Például az alábbi sablonfüggvény bármely, összehasonlítható típus esetén képes megadni a két érték közül a nagyobbat:

#include <iostream>
using namespace std;

template<typename T>
T maximum(T a, T b) {
    return (a < b) ? b : a;  // visszatér a nagyobb értékkel
}

int main() {
    cout << maximum<int>(3, 7) << "\n";        // Kiírja: 7
    cout << maximum<double>(3.14, 2.72) << "\n"; // Kiírja: 3.14
    return 0;
}

A fenti kódnál a template<typename T> jelzi a sablontípust. A fordító a használat során (példányosításkor) létrehozza a megfelelő függvényváltozatot (maximum<int>, maximum<double>), így a kód típusfüggetlen marad. A C++ sablonok révén a szabványos könyvtár generikus algoritmusokat és adattárolókat kínál (STL = Standard Template Library). Például vannak std::vector<T> konténerosztályok, és std::sort, std::find műveletek, amelyek bármilyen típusú elemekre alkalmazhatók.

Példa a beépített konténerekre

A C++ Standard Library egyik leggyakrabban használt eleme a std::vector dinamikus tömb. Íme egy példa, ahol egy egész típusú vektort töltünk fel és írunk ki:

#include <vector>
#include <iostream>
using namespace std;

int main() {
    vector<int> v = {1, 2, 3, 4, 5};  // Egész számok vektora
    for (int x : v) {
        cout << x << " ";             // Elemenként kiírjuk a tartalmat: 1 2 3 4 5 
    }
    cout << endl;
    return 0;
}

A fenti kódban a for (int x : v) formátum a C++11-ben bevezetett range-based for loop, amely lehetővé teszi a vektor elemein való egyszerű iterációt. A std::vector sablonként működik: bármilyen típusra készíthető példány (std::vector<double>, std::vector<string> stb.).

Szabványos könyvtárak

A C++ nyelv szerves része a szabványos könyvtár (C++ Standard Library). Ez osztályok és függvények gyűjteménye, amelyeket a C++ ISO szabványa ír elő a nyelvben. Tartalmaz beépített konténereket (mint vector, list, map, set stb.), algoritmusokat (sort, find, for_each, stb.), további adatstruktúrákat (halmazok, asszociatív táblák stb.), valamint felsőbb szintű függvényeket és segédosztályokat. Az I/O (bemenet-kimenet) műveleteket például a <iostream> könyvtárban található std::cin, std::cout, std::string adja. A szabványos könyvtár magában foglalja a C könyvtár (stdio.h, math.h stb.) megfelelőit is (cstdio, cmath), és további C++-specifikus részeket. Például a <iostream> a C++-ban a std névtérben adja a stream-osztályokat. A STL (Standard Template Library) a szabványos könyvtár része, és sablon-alapú algoritmusokat, iterátorokat, konténereket definiál.

A Standard C++ könyvtár funkciói „kiemelten fontosak” egyéb harmadik féltől származó könyvtárak építéséhez. Sok külső könyvtár (például a Boost, Qt, Poco stb.) is ezekre épít; ezek további adatstruktúrákat és funkcionalitást kínálnak. A Boost például modern, sablon-alapú könyvtárgyűjtemény, a Qt pedig széles körben használt alkalmazásfejlesztő keretrendszer C++-ban.

Nem definiált viselkedés (Undefined Behavior)

A C++ szabványa szigorú feltételeket szab bizonyos műveletekre. Ha egy program olyan műveletet végez, amit a szabvány nem definiált (pl. tömbön kívül ír, nullaosztással kísérletezik, vagy ki nem inicializált változót használ), akkor nem definiált viselkedés áll elő. Ez azt jelenti, hogy a fordító bárhogy dönthet – akár hibát sem jelez, és a program “véletlenszerű” eredményt adhat. Például C/C++ esetén signed int túlcsordulás, tömbön kívüli indexelés vagy nulla pointer dereferálása mind nem definiált viselkedésnek minősül. Ilyenkor a program az elvártnál rosszabbul, akadozva futhat, vagy akár össze is omolhat. A felelősség a programozóé, hogy ilyen hibákat elkerüljön (például érvényességi határok ellenőrzésével). A modern fordítók jelzéseket adhatnak bizonyos veszélyes helyzetekre (pl. -fsanitize=undefined opcióval), de ezek sem helyettesítik a gondos programozást.

C++ példaprogram: „Hello, World!”

Az egyik legismertebb egyszerű C++ program a „Hello, world!” kiírása:

#include <iostream>
using namespace std;

int main() {
    cout << "Hello, világ!" << endl;
    return 0;
}

Ebben a kódban a <iostream> fejlécre van szükség az std::cout használatához, amely a standard kimenetre ír. A using namespace std; sor rövidíti a kódban való nevek használatát (különben std::cout-tal kellene kiírni). A main függvény a program belépési pontja; return 0; jelzi sikeres befejezést.

Összefoglalás

A C++ egy hatékony, sokoldalú nyelv, amely a C nyelvből kinőve támogatja az objektum- és generikus programozást is. Széles körben használják rendszerszoftverek, játékok, beágyazott rendszerek és nagy teljesítményű alkalmazások fejlesztésére. A fejlesztők számos szabványkönyvtárra és harmadik féltől származó megoldásra építhetnek (Boost, Qt, STL, stb.), illetve több modern C++ fordító közül választhatnak. Mivel a nyelv erős „mid-level” jelleget ötvöz, a C++-ban hozott tervezési döntések sok kompromisszumból adódnak, és a kód írása körültekintést igényel. Mindazonáltal a C++ rugalmassága és teljesítménye miatt továbbra is népszerű választás a nagy rendszerek fejlesztésére.

Források: A fenti információk magyar nyelven a C++ Wikipédia-szócikkből és hozzá tartozó szakirodalomból származnak, valamint a C++ szabvány ismeretanyagából.

További információk

A lap eredeti címe: „https://hu.wiktionary.org/w/index.php?title=outline_of_C%2B%2B&oldid=3503661”