C++

C++:n kehitys alkaa vuodesta 1979, jolloin Bjarne Stroustrup työskenteli tohtorintutkinnon parissa.[15] Tuolloin Stroustrup työskenteli muun muassa Simula-kielellä, jonka sanotaan olevan ensimmäinen olio-ohjelmoinnin paradigmaa tukeva kieli.[15] Stroustrup koki paradigman hyvin käytännölliseksi, mutta kielen liian hitaaksi käytännölliseen soveltamiseen.[15] Tämän jälkeen Stroustrup aloitti C with Classes -laajennuksen kehittämisen C-kieleen.[15] Vuonna 1983 kielen nimi vaihtui C++:ksi.[15]

C++:n luokat ja luokkahierarkia on peräisin Simulasta.[16] Kieli lainasi myös suunnitteluajattelun, jossa luokat mallintavat käsitteitä ohjelmoijan ja sovelluksen maailmassa eivätkä ainoastaan notaationaalisessa merkityksessä.[16]

Kielen suunnittelussa vältettiin ominaisuuksia, jotka aiheuttaisivat ajonaikaista tai muistikuormitusta.[17]

Uudet versiot kielen standardista julkaistaan nykyään kolmen vuoden välein. Aikaisemmin uudet versiot julkaistiin kun ne olivat "valmiita", joka aiheutti pitkiä viivästyksiä ja epävarmuutta kielen käyttäjille ja soveltajille. Julkaisua muutettiin siten, että ennakolta valitaan tietty ajankohta jolloin valmiit ominaisuudet julkaistaan tuolloin ja keskeneräiset ominaisuudet jäävät myöhempään ajankohtaan, jolloin niiden parissa työskennellään muiden asioiden ohella. Kaksi vuotta on käytännön minimi ISO-standardointiprosessissa ja kolme vuotta on koettu sopivaksi balanssiksi.[18]

Kielestä on julkaistu useita kehitysversioita:

• C++98 (ISO/IEC 14882:1998) oli kielen ensimmäinen ISO-standardoitu versio.

• C++03 sisälsi korjauksen std::vector määrittelyyn, jonka mukaan elementtien käyttämä muistialue on oltava jatkuva (joka takaa yhteensopivuuden perinteisempien taulukoiden kanssa).[19]

• C++11 lisää tuen mm. säiekohtaiselle muistille (thread_local-avainsanalla) sekä säikeistykselle yleisesti.[20] Standardikirjastoon lisättiin uudet älyosoittimet, kuten std::shared_ptr (toteuttaa viitelaskennan).

• C++14 lisää tuen mm. lambda-funktioille eli anonyymeille inline-funktioille.

• C++17 on laaja päivitys, jossa on mm. UTF-8-merkkijonoliteraalit, standardoitu tiedostojärjestelmätuki sekä standardikirjaston rinnakkaissuorituksen parantaminen.

• C++20 äänestettiin valmiiksi 15. helmikuuta 2020 ja julkaistiin joulukuussa 2020.[21][1]

• C++23 on seuraava versio, jota kehitetään C++20:n seuraajaksi[22]

Monet C-kielellä kirjoitetuista ohjelmista ovat myös kelvollista C++:aa.[17], mutteivat kuitenkaan kaikki C:n kehittymisen aikana luotujen uusien varattujen sanojen ja tarkemman tyyppitarkistuksen vuoksi. C++ kuitenkin laajentaa C:tä huomattavasti, muun muassa nimiavaruustuella,[36] isommalla standardikirjastolla, luokilla sekä malleilla.

C++ sisältää Standard Template Library (STL) -standardikirjaston. Se sisältää yleisiä ohjelmoijien tarvitsemia säiliöitä (containers), algoritmeja, funktioita ja iteraattoreita. STL-toteutus tulee yleensä kääntäjän mukana, mutta myös riippumattomia toteutuksia on olemassa.

C++:n standardikirjasto sisältää STL:n lisäksi myös suurimman osan C-kielen standardikirjastosta yhteensopivuuden vuoksi.[37]

C++ tukee yksinkertaista perintää, abstrakteja pure virtual -luokkia, moniperintää sekä virtuaalista moniperintää.[38][39][40]

Rajapinnan perimistä kutsutaan ajonaikaiseksi polymorfismiksi (tai dynaamiseksi polymorfismiksi) ja template-mallien tukemaa käännösaikaiseksi polymorfismiksi (tai staattiseksi polymorfismiksi).[41]

C++:ssa funktiot voidaan määritellä:[42]

• virtual, jolloin se voidaan syrjäyttää perityssä luokassa
• override, jolloin sen on pakko syrjäyttää kantaluokassa oleva
• final, jolloin sitä ei voida syrjäyttää perityssä luokassa

#include <iostream>

int main() {
    std::cout << "Hello, world!\n";
}

Tämä on yleisesti käytetty esimerkkiohjelma C++-oppaissa. Se tulostaa näytölle tekstin ”Hello, world!” Kuten C:ssä, ohjelma alkaa komennoilla esikääntäjälle, tässä otsikkotiedoston liittämisellä #include-käskyllä. Lohkot rajataan aaltosuluilla {} ja ohjelma suoritetaan kutsumalla main-funktiota. Ohjaamalla teksti cout-olioon <<-operaattorilla teksti tulostuu stdout-virtaan (näytölle). C++:n tulostuslauseen epätavallinen syntaksi johtuu kielen tukemasta operaattorien uudelleenmäärittelystä. C-kielen bittisiirto-operaattori << on C++:ssa määritelty virtaolioilla kirjoitusoperaattoriksi, ja tässä tapauksessa se kirjoittaa standarditulosteeseen.

C++:n kielioppi on samantapaista kuin C:n ja Javan. Lauseet päättyvät puolipisteeseen ;, eikä välilyöntejä tai muuta tyhjää tilaa oteta huomioon. Lohkot ympäröidään aaltosulkeilla { }, kommentit aloitetaan /* -merkinnällä ja päätetään */ -merkinnällä. Yhden rivin kommentti merkitään kahdella vinoviivalla //. Kaikki standardikirjaston luokat, funktiot ja enumeraatiot ovat std-nimiavaruudessa.

C++ tukee useaa nimiavaruutta.[36] C++17 lisäsi tuen sisäkkäisille nimiavaruuksille, joka mahdollistaa namespace A::B::C {} käytön aiemman namespace A { namespace B { namespace C {}}} sijaan.[43] Lisäksi kieli tukee nimiavaruuden aliasointia:[44]

namespace foo {
    namespace bar {
         namespace baz {
             int qux = 42;
         }
    }
}
namespace fbz = foo::bar::baz;
int main()
{
    std::cout << fbz::qux << '\n';
}

C++ tukee myös anonyymejä nimiavaruuksia.[45]

Aaltosuluilla merkittävät lohkot luovat oman nimiavaruuden kaltaisen näkyvyysalueen (engl. scope):[46]

std::string foo = "foo";
{
    std::string foo = "foobar";

} // sisempi foo tuhotaan tässä

std::cout << foo << std::endl; // tulostaa ensimmäisen foo:n arvon

Ajonaikainen tyyppitieto (engl. Run-time type information, RTTI) on ominaisuus, jolla välitetyn olion tyyppi voidaan tunnistaa ohjelman ajon aikana. Tämä mahdollistaa muun muassa perityn olion tyypin mukaisen käsittelyn.

class Asiakas
{
public:
    virtual ~Asiakas() {}
}

class KantaAsiakas : public Asiakas { ... };

void tyyppi(Asiakas *p)
{
    std::cout << typeid(*p).name() << std::endl;
    // tulostaa olion p tyypin nimen. tarkka muoto riippuu kääntäjästä.

    KantaAsiakas *k = dynamic_cast<KantaAsiakas*>(p);
    if (k != nullptr)
        k->bonus();
}

C++ tukee poikkeuksia ja pinon (stack) siivoamista (kuten näkyvyysalueelta eli scopesta poistuessa).

try
{
    throw "vikatilanne"; // const char *
}
catch (std::exception &e)
{
    std::cout << "poikkeus: " << e.what() << std::endl;
}
catch (...)
{
    std::cout << "tuntematon poikkeus" << std::endl;
}

Poikkeuskäsittelijä valitaan määrittelyjärjestyksessä ja tyypin mukaan.[47] Poikkeuskäsittely try-lohkolla ja throw-operaattorilla on valinnaista, jolloin niiden aiheuttama lisäkuorma voidaan välttää.[17]

Ellipsis (kolme pistettä) voi vastaanottaa tyypit, joille ei ole määritelty muuta käsittelijää.

Konseptia, jossa resurssit varataan konstruktorissa ja vapautetaan destruktorissa, kutsutaan nimellä engl. Resource acquisition is initialization, RAII. Konseptin ovat kehittäneet Bjarne Stroustrup ja Andrew Koenig vuosina 1984–1989 ja se on esitelty ensimmäisenä C++-kielessä.[48]

RAII-muistihallintakonsepti voidaan esittää seuraavan triviaalin esimerkin avulla:[49]

class Vector 
{
private:
    double *elem; 
    int sz;
public:
    Vector(int s) : elem{new double[s]}, sz{s} // constructor
    {
        for (int i = 0; i != s; ++1) elem[i] = 0;
    }
    ~Vector() { delete [] elem; } // destructor

    double& operator[](int i);
    int size() const { return sz; }
};

void fct(int n) 
{
    Vector v(n); // acquire and initialize
    // .. use v ..
    {
        Vector v2(n*2); // acquire and initialize
        // .. use v2 ..
    } // v2 destroyed
    // .. use v ..
} // v destroyed

Esimerkissä resurssit vapautetaan kutsumalla olion destruktoria:

1. poikkeustapauksessa
2. normaalisti poistuessa (näkyvyysalueen ulkopuolella)

Olion luominen tekee tarvittavan varauksen ja alustuksen, jotka olion destruktori vapauttaa. Menetelmä on poikkeusturvallinen eikä tarvitse roskienkeräystä tueksi.

C++ tukee suoraan geneeristä ohjelmointia template-malleilla, joille voidaan antaa tyyppi parametrina.[50] Mallit mahdollistavat geneerisen ohjelmoinnin, jossa samoja algoritmeja voidaan käyttää uusille tietotyypeille ilman erillisen toteutuksen kirjoittamista joka tyypille.

RAII-esimerkin ohjelmakoodi voidaan muokata geneerisemmäksi käyttämällä template-määrittelyä.

template<typename T> class Vector 
{
private:
    T *elem; 
    int sz;
public:
    Vector(int s) : elem{new T[s]}, sz{s} // constructor
    {
        for (int i = 0; i != s; ++1) elem[i] = 0;
    }
    ~Vector() { delete [] elem; } // destructor

    T& operator[] (int i) { return elem[i]; }
    int size() const { return sz; }
};

void fct(int n) 
{
    Vector<double> v(n); // acquire and initialize
    // .. use v ..
    Vector<int> v2(n)
    // .. use v2 ..

} // v2 and v destroyed

• Ohjelmointi
• Ohjelmointikieli
• SystemC – C++ -pohjainen laitteistokuvauskieli

• Stroustrup, Bjarne: The design and evolution of C++. Addison-Wesley, 1994. ISBN 0-201-54330-3.
• Lippman, Stanley B.: C++ Primer, s. 1–464. Addison-Wesley, 1989. ISBN 0-201-16487-6.
• Reisdorph, Kent: Teach Yourself C++ in 5 Days, s. 1–192. SAMS, 1999.
• Hietanen, Päivi: C++ ja olio-ohjelmointi, s. 16. Jyväskylä: Teknolit, 1997. ISBN 952-9823-45-2.
• Peltonen, Hannu: Olio-ohjelmoinnin perusteet C++, s. 1–389. Jyväskylä: Suomen ATK-kustannus, 1997. ISBN 951-762-457-3.
• Prata, Stephen: Suuri C++ -ohjelmointi, s. 1–866. Suomentanut Risto Torkkeli. Vantaa: Pagina, 1996. ISBN 951-644-064-9.
• Horton, Ivor: C++ Ohjelmoijan käsikirja, s. 1–941. Suomentanut Jouni Laaksonen. Helsinki: IT Press, 1999. ISBN 951-826-032-X.
• Lippman, Stanley B. & Lajoie, Josee: C++ Vol 1, s. 1–941. Suomentanut Erkki Huru. Helsinki: EDITA, 2000. ISBN 951-826-191-1.
• Meyers, Skott: C++ Vol 2, s. 1–256. Suomentanut Arto Kuvaja. Helsinki: EDITA, 2000. ISBN 951-826-192-X.
• Stroustrup, Bjarne: The C++ Programming Language, 4th ed.. Addison-Wesley, 2015. ISBN 0-321-56384-0.

• Stroustrup, Bjarne: The C++ Programming Language, s. 1–328. Addison-Wesley, copyright Bell laboratories, 1986. ISBN 0-201-12078-X.
• Stroustrup, Bjarne: The C++ Programming Language, s. 1–911. Third Edition, Bjarne Stroustrup The Creator of C++. Addison-Wesley, copyright AT&T, 1997. ISBN 0-20-88954-4.
• Stroustrup, Bjarne: C++ -ohjelmointi, s. 1–944. Alkuteos The C++ Programming Language, Third Edition, Bjarne Stroustrup The Creator of C++. Suomentanut Veli-Pekka Ketola. Jyväskylä: Teknolit, copyright AT&T, copyright Teknolit, 2000. ISBN 951-846-026-4.

• Programming:C plus plus Wikibook, C++-opas (englanniksi)
• Thinking in C++ (Arkistoitu – Internet Archive), kattava ilmainen e-kirja C++:sta (englanniksi)
• C++ opas, laaja Suomenkielinen C++ opas.
• C++ Standards Committee Papers (englanniksi)
• C++17 Working Draft (englanniksi)
• C++ Core Guidelines (englanniksi)