C++ (/ˈsiː plʌs plʌs/, telaffuz: si pılas pılas), Bjarne Stroustrup tarafından 1979 yılında Bell Laboratuvarları'nda geliştirilmeye başlanmış,[8] C'yi kapsayan ve çok paradigmalı, yaygın olarak kullanılan, genel amaçlı bir programlama dilidir.
 C++ Standard Komitesi'nin onayladığı logo | |
| Paradigması | Çok paradigmalı: yordamsal, işlevsel, fonksiyonel, nesne yönelimli, jenerik, modüler, genel |
|---|---|
| İlk çıkışı | 1985) |
| Tasarımcı | Bjarne Stroustrup |
| Geliştirici | Bjarne Stroustrup Bell Labs ISO/IEC JTC1/SC22/WG21 |
| Kararlı sürüm | C++20 ISO/IEC 14882:2020 / (15 Aralık 2020)) |
| Önizleme sürümü | C++23 / (19 Mart 2023) |
| Önemli uygulamaları | GCC, LLVM Clang, Microsoft Visual C++, Embarcadero C++ Builder, Intel C++ Compiler, IBM XL C++, EDG |
| Lehçeleri | ISO/IEC 14882:1998,[1]
ISO/IEC 14882:2003,[2] ISO/IEC 14882:2011,[3] ISO/IEC 14882:2014,[4] ISO/IEC PRF 14882 Devam eden[7] |
| Etkilendikleri | C, Simula, Ada 83, ALGOL 68, CLU, ML |
| Etkiledikleri | Perl, LPC, Lua, Pike, Ada 95, Java, PHP, D, C99, C#, Falcon |
| İşletim sistemi | Çapraz platform |
| Olağan dosya uzantıları | .C .cc cpp .cxx .c++ .H .hh .hpp .hxx .h++ .h .cppm .ixx |
| Web sitesi | isocpp.org |
| Ailesi | C |
İlk olarak C With Classes (Sınıflarla C) olarak adlandırılmış, 1983 yılında ismi C++[not 1] olarak değiştirilmiştir. Günüzümüzde en çok kullanılan programlama dillerinden biri olmuştur.
C++ tasarlanırken C programlama dili ile olabildiğince uyumlu olması[9] göz önüne bulundurulmuş ve K&R2'deki tüm örnek kodun derleneceği şekilde tasarlanmıştır.[10]
C++, C'nin sağladığı alt seviye sıkı donanım desteğinin yanında farklı veri türleri, sınıf, template, sıradışı durum yönetimi, isim alanı (namespace), işleç fazladan yüklemesi, işlev fazladan yüklemesi, referans, hafıza yönetimi ve pek çok kütüphane imkanı sunar.
Tarihi
1979 senesinde bir Danimarkalı bilgisayar bilimci olan Bjarne Stroustrup, sonradan C++ olarak bilinecek olan "C with Classes" üzerinde çalışmaya başladı.[11] Onu yeni bir dil geliştirmeye iten şey, doktora tezini geliştirirkenki programlama deneyimiydi. Stroustrup, Simula'nın büyük yazılımlar geliştirmeye yardımcı olan pek çok özelliğe sahip olduğunu, fakat dilin pratikte kullanım için fazla yavaş kaldığını, BCPL'in ise hızlı ancak büyük yazılımlar geliştirmek için fazla alt-seviye olduğu fark etti. Stroustrup AT&T Bell Labs'ta çalışmaya başladığında UNIX çekirdeğini dağıtık bir sistem olarak incelemeye başladı. Doktora deneyiminden yola çıkarak, C dilini Simula'nın özellikleriyle zenginleştirmek için yola çıktı.[12] C dili seçildi çünkü genel amaçlı, hızlı, taşınabilir ve zaten yaygın olarak kullanılıyordu.
Başlangıçta, Stroustrup'un "C with Classes"ı sınıflar, türetilmiş sınıflar, güçlü türleme (strong typing), varsayılan fonksiyon argümanları (default argument) gibi özelliklerini bir C derleyicisi olan CPre'ye eklenmiştir.[13]
1982'de Stroustrup C with Classes'ı daha da ileri taşıyan, pek çok diğer isimlendirmelerden sonra "C++" (++ C'deki artırma operatörüdür) olarak anılan dili geliştirdi. Sanal fonksiyon, fonksiyon adı ve operatör fazladan yüklenmesi, referanslar, sabit oluşturma (constant), tür-güvenli bellek tahsisi (new ve delete kullanarak), geliştirilmiş tür kontrolü, BCPL'deki gibi iki slash karakteriyle yapılan tek satırlık yorumlar (//) eklenen özellikler arasındaydı. Dahası, Stroustrup, C++ için yeni bir derleyici olan Cfront'u geliştirdi.
1984'te, Stroustrup ilk giriş/çıkış kütüphanesini gerçekledi. Bir isimli fonksiyon yerine çıkış operatörünün (<<) sağlanması fikri Doug McIlroy[14] tarafından önerilmiştir (McIlroy öncesinde Unix pipe'larını öneren kişidir).
1985'te The C++ Programming Language'in ilk baskısı yapılmış ve henüz resmi bir standard olmadığından bu kitap bir kesin referans olarak kabul edilmiştir.[15] C++'ın ilk ticari gerçeklenimi aynı yılın ekim ayında yayınlanmıştır.[11]
1989'da C++ 2.0 yayınlandı ve 1991'de The C++ Programming Language kitabının güncellenmiş ikinci baskısı yapıldı.[16] C++ 2.0 ile çoklu kalıtım, soyut sınıflar, statik üye fonksiyon, const üye fonksiyonlar ve protected üyeler eklenmiştir. 1990'da The Annotated C++ Reference Manual yayınlandı. Bu kitap, gelecekte yayınlanacak olan resmi standard için bir taban teşkil etmiştir. Sonrasında eklenen özellikler, template, sıradışı durum yönetimi, isim alanları, yeni isimli castlar (tür dönüştürme) ve bool veri türüdür.
1998'de C++98 yayınlandı ve dilin standardlaştırılması başladı. 2003'te küçük bir güncelleme olan C++03 yayınlandı.
C++98 sonrasında C++'ın evrimi 2011'e kadar görece yavaş ilerlemiştir. 2011'de C++11 yayınlandı. C++11 ile standard kütüphane genişlemiş ve C++ programcılarının faydalanacağı pek çok özellik eklenmiştir. Bir başka küçük güncelleme olan C++14 Aralık 2014'te yayınlandı. C++17 daha büyük bir güncellemedir ve Aralık 2017'de yayınlanmıştır. [17] Şubat 2020'de tasarısı sonlandırılan [18] C++20 standardı 4 Eylül 2020 onaylanmış ve resmi olarak 15 Aralık 2020 basılmıştır.[19][20]
Stroustrup 3 Ocak 2018'de "C++ programlama dilini kavramsallaştırması ve geliştirmesi" nedeniyle Charles Stark Draper Prize mühendislik ödülünün 2018 yılı kazananı olarak duyurulmuştur.[21]
(Aralık 2022 itibarıyla) C++ TIOBE index'te Java'yı TIOBE sıralamasındaki tarihinde ilk kez geride bırakmış Python ve C programlama dillerinin ardından üçüncü sırada listelenmiştir.[22]
Standardizasyon
Bir programlama dilini oluşturan gramer, anlam ve standard kütüphane yapıları muğlak olmayacak bir biçimde belgelenir (spec veya specification) ve yayınlanır. Derleyici sağlayıcıları bu belgeyi kullanarak dili gerçekleyen derleyiciyi oluşturur.
C++ dilinin özelliklerini belirleyen bu belge (buradan sonrasında, standard) ISO / IEC Ortak Teknik Komitesi 1 (İng: Joint Technical Committee 1, JTC1) / Altkomite 22 (Subcommittee 22, SC22) Çalışma Grubu 21 (Working Group 21, WG21) (ISO/IEC JTC1/SC22/WG21) tarafından geliştirilir.[23]
İlk standard 1998'de ISO/IEC 14882:1998 adıyla yayınlandı. Sonrasında C++03, C++11, C++14, C++17 ve mevcut standard olan C++20 yayınlandı. 2012 sonrası üçer senelik periyotlarla yayınlanmaya başlanmıştır.
Dil
C++ dili iki temel bileşenden oluşur: C'den devraldığı yapılarla donanım özellikleriyle doğrudan eşleşme ve bu eşleşmeler üzerine kurulmuş maliyetsiz soyutlamalar (zero-overhead abstractions). Stroustrup C++'ı şu şekilde açıklamıştır: "etkili kullanım ve elegan soyutlamalar için [tasarlanmış] bir hafif soyutlama programlama dili"[24] ve "hem donanım erişimi ve hem de soyutlama desteği C++'ın temelidir. Onu diğer dillerden ayıran, bunu etkili bir biçimde yapmasıdır."[25]
Nesne saklama
C++, C'de olduğu gibi, dört farklı bellek yönetimine sahiptir: otomatik saklama süresince barındırılan nesneler, statik saklama süresince barındırılan nesneler, dinamik saklama süresince barındıran nesneler ve thread'te saklama süresince barındırılan nesneler.[26]
Otomatik saklama süresince barındırılan nesneler
Bir fonksiyon veya kapsamda (scope) tanımlanan nesneler bir stack veri yapısında tutulur. Buna göre, bir kapsama girildiğinde ({) nesnelerin tanımlanma sırasına göre yapıcı üye fonksiyon (constructor) çağrılır, kapsam terk edildiğinde (}) nesne yaşam süresinin sonuna gelinir ve tanımlanma sırasının tersi yönünde yok edici üye (destructor) çağrılır (RAII). En son tanımlanan en önce yok edilir (son giren ilk çıkar).
Statik saklama süresince barındırılan nesneler
Statik saklama sürecine sahip nesneler kapsamdan bağımsız olarak program süresince saklanır ve main() fonksiyonu çağrılmadan oluşturulup, main() bitiminden sonra tanımlama sırasının tersi yönünde yok edilir.
Dinamik saklama süresince barındırılan nesneler
Dinamik saklama sürecine sahip nesneler new çağrısıyla oluşturulur ve delete çağrısıyla yok edilir. new çağrısı tahsis edilmiş bellek alanı döndürür. C++ Core Guidelines, new ve delete yerine, tekil kaynak sahipliği için make_unique<T>, paylaşılmış kaynak sahipliği için make_shared<T> çağrılarıyla oluşturabilecek zeki işaretçilerin (smart pointer) kullanılmasını tavsiye eder.
Thread saklama süresince barındırılan nesneler
Bu saklama sürecine sahip nesneler statik saklama sürecine oldukça benzer. Temel fark, nesnelerin oluşturulması thread oluşturulmasından öncedir ve yok edilmesi thread çalışmasının bitiminden (join) sonradır.
Template
Template (Türkçe: şablon) yapısı türden bağımsız derleme zamanında parameterize değişken, fonksiyon veya sınıf yazılmasına izin verir ve jenerik programlamayı, parametrik türün oluşturulmasından önce (type instantiation) tür manipulasyonuna izin veren template metaprogramlamayı, kod optimizasyonunu mümkün kılar. Template mekanizması Turing-tam'dır, böylece herhangi bir hesaplamanın bir şekilde derleme zamanında programlanarak ifade edilebilmesini sağlar.[27] Template'e geçilen parametre bir tür (type) ve türün nesnesi (non-type) olabilir.
Nesne
C++, nesne tanımlamada RAII[28](Resource Acquisition Is Initialization) tekniğini kullanır. Nesne için gerekli olan kaynak ayrımı (Resource Acquisition), tanımlandığı anda yapılır (Initialization) ve gerektiğinde deterministik olarak serbest bırakılır. Böylece kaynaklar init()/destroy(), allocate()/free(), open()/close() gibi fonksiyon çiftleriyle manuel olarak yönetilmek zorunda kalmaz.
Kapsamlama
Kapsamlama (encapsulation), veri yapısının geliştirici tarafından doğru bir şekilde kullanılacağından emin olmak için nesneye ait bilgilerin bir kısmını erişilemez yapmaktır. C++, sınıf yapısında üyelerin public, protected veya private tanımlanmasına izin verir. private üyeler yalnızca sınıfın üyeleri tarafından erişilebilir, böylece sınıfın kendisini ilgilendiren bazı üye değişken veya fonksiyonlar kullanıcıdan (client) saklanır. Ayrıca bu yolla nesnenin yaşamı süresince değişmemesi gereken durumlar (class invariant) korunabilir.
Kalıtlama
Kalıtlama (inheritence) var olan bir türün özelliklerini taşıyan yeni bir tür oluşturmayı sağlar. Temel sınıftan kalıtım, "public", "protected" ve "private" olarak ilan edilebilir. Diğer iki kalıtım türü arayüzün anlaşılmasını zorlaştırdığından çoğu zaman yalnızca public kalıtım kullanılır. Geçiş belirteci belirtilmezse, class private, struct public olarak kalıtılır.
Temel sınıftan kalıtım sanal (virtual) olarak ilan edilebilir, buna sanal kalıtım (virtual inheritence) denir. Sanal kalıtım çoklu kalıtımın problemlerinden sıyrılarak temel sınıfın yalnızca bir örneğinin kalıtım grafiğinde olmasını sağlar.
İşleçlerin ve işlevlerin fazladan yüklenmesi
C++ dilinde işleçlerin (operator) çoğu fazladan yükleme yoluyla genelleştirilebilir.[29] Örneğin + işleci sayılar için anlamlıyken, std::string sınıfı için de fazladan yüklenmiş, böylece türün temsil ettiği veriye + işleciyle birleştirilme yeteneği kazandırılmıştır. Benzer şekilde iki std::string sınıfı nesnesinin eşitliği == işleciyle kontrol edilebilir. Kullanıcı tanımlı herhangi bir tür (sınıf), işleçleri fazladan yükleyebilir.
Aynı isme sahip işlevler (function) farklı tür veya sayıda parametre alarak fazladan yüklenebilir. Örneğin std::to_string fonksiyonu int, float ve double türleri için fazladan yüklenmiştir.
Çokbiçimlilik
Çokbiçimlilik (polymorphism) kullanılarak farklı türler aynı arayüz üzerinden erişilebilir. Çokbiçimli bir tür kendisini oluşturan diğer türler gibi davranabilir. C++, dinamik (çalışma zamanında) ve statik (derleme zamanında) çokbiçimlilik çeşitlerine izin verir.
Dinamik çokbiçimlilik
Kalıtlama kullanılarak
Üst sınıfa işaret eden bir pointer veya ona ait bir referans, alt sınıfları da gösterebilir. Bu durumda üst sınıf bir çokbiçimli türdür (polymorphic type). Eğer üst sınıf bir fonksiyona referans veya pointer şeklinde parametre olarak geçilirse, ondan türetilmiş sınıflar da geçilebilir. Üst sınıf üzerinden alt sınıfların üyeleri kullanılabilir. Alt sınıflardan hangisinin geçildiği dynamic_cast kullanılarak belirlenebilir.
Sanal üye fonksiyonlar kullanarak
Türetilmiş sınıf, üst sınıfta sanal (virtual) olarak işaretlenmiş bir üye fonksiyonun içeriğini değiştirerek tekrar gerçekleyebilir (override). Bu durumda çokbiçimli tür, tekrar gerçeklenen üye fonksiyonu çağıracaktır.
Statik çokbiçimlilik
Template yapısı farklı türler için parçalı veya tam özelleştirilerek parametrik çokbiçimlilik sağlanabilir.
İşlevlerin fazladan yüklenmesi de statik çokbiçimlilik olarak düşünülebilir. Aynı isme sahip fonksiyonlar, parametre türü veya sayısına göre farklı fonksiyonları çağırır.
Lambda ifadeleri
C++ lambda ifadeleriyle anonim fonksiyon yazımını destekler.[30]
[kapma](parametreler) -> dönüş_tipi { fonksiyon_gövdesi };
dönüş_tipi düşürülebilir, bu durumda dönüş tipi gövdeden çıkarımsanır:
[kapma](parametreler) { fonksiyon_gövdesi };
Lambda parametre almıyorsa, () yapısı düşürülebilir:
[kapma]{ fonksiyon_gövdesi };
Lambda değişkene atanarak isim alabilir ve tekrar kullanılabilir:
auto func = [kapma](parametreler) { fonksiyon_gövdesi };
func(argumanlar);
func(argumanlar);
Lambda tanımlandığı anda çalıştırılıp hesaplama sonucuna erişilebilir:
auto result = [kapma](parametreler) { fonksiyon_gövdesi }(argumanlar);
C++20 ile template lambda ifadeleri yazılabilir:
[kapma] <template_parametreler> (parametreler) -> dönüş_tipi { fonksiyon_gövdesi }
Sıradışı durum yönetimi
Program çalışırken yolunda gitmeyen bir şey oluştuğunda ve programın aniden sonlandırılması arzu edilmiyorsa, sıradışı durum yönetimi (exception handling) kullanılarak ana koddan ayrı olarak yönetim sağlanabilir. Sıradışı durum (exception) oluştuğu yerde bir hata kodu fırlatır ve sıradışı durum yöneticisi (exception handler) tarafından yakalanana kadar kapsam dışana taşar. Eğer hata kodu yakalanmazsa program sonlandırılır.
Standard Kütüphane
C++ standard kütüphanesi,[31] pek çok tutucu tür, algoritma, G/Ç, dosya sistemi, string, regex, multithread, metaprogramlama araçları, hafıza yönetimi, zaman yönetimi, sıradışı durum yönetimi, çeşitli matematik fonksiyonları, rastgele sayı üreteci, C ile geriye dönük uyumluluk başlık dosyaları bulundurur.
C++ Core Guidelines
C++ Core Guidelines[32] (Türkçe, C++ Temel Yönelgeleri), C++ programcılarının daha basit, daha etkili, daha yönetilebilir kod yazmalarını sağlamayı hedefleyen yönelgeleri içeren bir projedir. Projenin editörlüğünü dilin yaratıcısı Bjarne Stroustrup ile ISO C++ Çalışma Grubu başkanı Herb Sutter sürdürür.
Core guidelines pek çok stil, iyi uygulama ve modern C++ tavsiyeleri bulundurur. Statik analiz araçları bu tavsiyeleri gerçekleyerek kod yazılırken programcıları kötü uygulamalardan kaçınmasına yardımcı olur.
Guideline Support Library (GSL),[33] Core Guidelines'ta tavsiye edilen pek çok tür ve fonksiyonu barındıran bir kütüphanedir.
Derleme modeli
C++ çoğunlukla derlenen bir dil olarak gerçeklenmiştir. Kaynak kodun derlenme süreci[34] dört aşamadan oluşur, sırasıyla; önişleme, derleme, assembly ve bağlama. Derleyici kaynak koda uygulandığında bu aşamalar birbiri ardına gerçekleşir.
- Önişlemci (preprocessor) #include direktifiyle eklenen dosyaları koda taşır. Ayrıca kodda sözcük değişiklikleri yapabilir,[35] koşullu derleme sağlayabilir, derleyicinin bir takım özelliklerini kontrol edebilir veya kodun derleneceği platform hakkında bilgi alabilir.
- Derleyici (compiler veya compiler proper) kodu tarar, parçalara ayırır, sözdizimi ve anlamı analiz eder, hataları bildirir, optimize eder ve işlemcinin sahip olduğu mimarinin assembly koduna derler.
- Assembly kodu assembler tarafından yerdeğiştirebilir (relocatable object code) hedef koduna dönüştürülür.
- Bağlayıcı (linker) yerdeğiştirebilir hedef kodunu diğer hedef kodlarına (geliştirilen veya önceden derlenmiş sistem kütüphanleri vd.) bağlar ve çalıştırılabilir hedef kodunu oluşturur.
Örnekler
Yorum Satırları
Yorum satırları derleyici tarafından çalıştırılmaz. Bunlar kodun anlaşılmasını kolaylaştırmak için eklenir.[36]
// Tek satirdan olusan bir yorum
/*
Birden
fazla
satirdan olusan yorum
*/
Merhaba Dünya
Bu program uçbirim ekranına "Merhaba, dunya!" yazacaktır.
#include <iostream>
int main() {
std::cout << "Merhaba, dunya!\n";
}
İşleçlerinin fazladan yüklenmesi
#include <iostream>
struct Complex {
double real{};
double imaginary{};
Complex& operator+=(const Complex& other) {
real += other.real, imaginary += other.imaginary;
return *this;
}
Complex& operator-=(const Complex& other) {
real -= other.real, imaginary -= other.imaginary;
return *this;
}
friend std::istream& operator>>(std::istream& is, Complex& c) {
return is >> c.real >> c.imaginary;
}
friend std::ostream& operator<<(std::ostream& os, const Complex& c) {
return os << c.real << '+' << c.imaginary << 'i' << '\n';
}
};
Complex operator+(const Complex& l, const Complex& r) {
return Complex{l.real + r.real, l.imaginary + r.imaginary};
}
Complex operator-(const Complex& l, const Complex& r) {
return Complex{l.real - r.real, l.imaginary - r.imaginary};
}
int main() {
Complex c;
std::cout << c; // 0+0i
Complex first{1, 0};
std::cout << first; // 1+0i
Complex second{0, 1};
std::cout << second; // 0+1i
first += second;
std::cout << first; // 1+1i
Complex result = first + second;
std::cout << result; // 1+2i
}
Lambda ifadeleri
#include <vector>
#include <iostream>
#include <range/v3/all.hpp>
int main() {
using namespace ranges;
// .-- boş kapma
auto // | .-- parametre
harmonic_sum = views::iota(1)// v v v-- dönüş tipi
| views::transform([](int n) -> double { return 1.0 / n; })
| views::partial_sum // lambda gövdesi-^-----------------^
| views::take(10)
| to<std::vector<double>>;
for(auto [n, hn] : harmonic_sum | views::enumerate)
std::cout << n << ' ' << hn << '\n';
}
// 0 1
// 1 1.5
// 2 1.83333
// 3 2.08333
// ...
Sıradışı durum yönetimi
#include <exception>
#include <filesystem>
#include <cstdio>
// kullanicilar std::exception'i kalitlayarak
// kendi siradisi durum tipini tanimlar
struct appUsageError : std::exception {
[[nodiscard]] const char *what() const noexcept override {
return "Usage: mkdir directory";
}
};
int main(int argc, const char *const argv[]) {
try {
if (argc != 2)
throw appUsageError{};
// noexcept degil, filesystem_error hatasi firlatabilir
// https://en.cppreference.com/w/cpp/filesystem/create_directory
std::filesystem::create_directory(argv[1]);
} catch (const appUsageError &e) {
puts(e.what());
} catch (const std::filesystem::filesystem_error &e) {
puts(e.what());
} catch (const std::exception &e) {
puts(e.what());
}
}
// c++ -std=c++17 main.cpp -o mkdir
// ./mkdir
// Usage: mkdir directory
// ./mkdir /usr/local/Folder
// filesystem error: cannot create directory: Permission denied [/usr/local/Folder]
// ./mkdir Folder
// # Folder adinda bir dizin hatasiz olusturuldu
Ayrıca bakınız
Dipnotlar
- ++ sonek işleci C programlama dilinde sayısal bir değişkenin değerini bir artırmak anlamındadır.
Kaynakça
Dış bağlantılar
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
