C++
noexcept
noexcept ile exception belirtimini öğrenirsin.
noexcept nedir?
noexcept, bir fonksiyonun istisna fırlatmayacağını belirten bir belirteçtir. Derleyiciye ve okuyana bir güvenlik sözleşmesi verir. İstisna fırlatırsa std::terminate çağrılır.
Örnek: void swap_ints(int& a, int& b) noexcept { int t = a; a = b; b = t; }. Bu fonksiyon basit atamalar yapar, istisna fırlatamaz. noexcept sayesinde derleyici daha iyi kod üretir ve çağıranlar rahatça kullanır. Özellikle yıkıcılar, swap ve taşıma (move) işlemleri noexcept olmalıdır. Bu, taşıma semantiğinde optimim davranış için de kritiktir.
noexcept işlev işaretçisi
noexcept, fonksiyon türünün bir parçasıdır. Bir noexcept fonksiyon işaretçisi, yalnızca noexcept fonksiyonları kabul eder.
Örnek: void (*p)(int) noexcept = &some_func;. Burada some_func da noexcept olmalıdır. Bu, geri çağırma (callback) arayüzlerini güvenli yapar: arayan, geri çağırmanın istisna fırlatmayacağını bilir. Modern C++'ta noexcept belirtmek, hem belge hem sözleşme görevi görür. Standart kütüphane, noexcept bilgisini taşıma işlemlerinde en iyi davranışı seçmek için kullanır.
Uygulama noexcept swap_ints yaz
void swap_ints(int& a, int& b) noexcept fonksiyonunu yaz; gövdesi int t = a; a = b; b = t; olsun. main içinde int x = 3, y = 7; tanımla, swap_ints(x, y) çağır ve std::cout << x << y; ile yazdır.
Örnek çözümü göster
#include <iostream>
void swap_ints(int& a, int& b) noexcept {
int t = a;
a = b;
b = t;
}
int main() {
int x = 3, y = 7;
swap_ints(x, y);
std::cout << x << y;
return 0;
}
Kendini test et
-
noexcept kullanımını eşle
- destructor
- noexcept olmalı
- swap
- nothrow takas
- move constructor
- noexcept taşıma
- std::terminate
- İhlalde çağrılır
-
noexcept bir fonksiyon istisna fırlatırsa ne olur?
- std::terminate çağrılır
- İstisna yok sayılır
- Program devam eder
- Derleme hatası verilir
Cevabı göster
std::terminate çağrılır — noexcept bir fonksiyon istisna fırlatırsa std::terminate çağrılır ve program sonlanır.
-
noexcept anahtar sözcüğü
void swap_ints(int& a, int& b) ____ { int t = a; a = b; b = t; }
Cevabı göster
void swap_ints(int& a, int& b) noexcept { int t = a; a = b; b = t; }
Sıradaki ders: Özet - İleri hata yönetimi
