Compound requirement

compound requirement ile ifade denetimini öğrenirsin.

Compound requirement nedir?

Compound requirement, bir ifadenin geçerli olmasına ek olarak, dönüş türünü ya da istisna fırlatmamasını da denetler. Yazımı: { ifade } -> concept;.

Örnek: { a.foo() } -> std::convertible_to<int>;. Bu, a.foo() çağrısının geçerli olmasını ve dönüş değerinin int'e çevrilebilir olmasını ister. Böylece yalnızca ifadenin derlendiği değil, türün de doğru olduğu garanti altına alınır. Compound requirement, requires expression gövdesinde kullanılır.

noexcept compound

Compound requirement'a noexcept eklersen, ifadenin istisna fırlatmayacağını garanti etmesini istersin: { a.foo() } noexcept;.

Böyle bir denetim, kaynak yönetimi açısından kritiktir. Örnek: bir yıkıcı (destructor) istisna fırlatmamalı; bunu concept düzeyinde garanti etmek istersen { a.~T() } noexcept; yazarsın. Bu sayede türler, derleme zamanında güvenlik sözleşmesi imzalamış olur. Hata yönetimi bu seviyede şablonlara taşınınca, programın sağlamlığı artar.

Uygulama NothrowDestructible concept'ini tanımla

NothrowDestructible concept'ini tanımla: requires(T a) { { a.~T() } noexcept; } gövdesini kullansın. main içinde static_assert(NothrowDestructible<int>); ile sına ve std::cout ile "Nothrow testi geçti" yaz.

Örnek çözümü göster

#include <iostream>
#include <concepts>

template<typename T>
concept NothrowDestructible = requires(T a) {
    { a.~T() } noexcept;
};

int main() {
    static_assert(NothrowDestructible<int>);
    std::cout << "Nothrow testi geçti";
    return 0;
}

Kendini test et

Dönüş türü denetimi

{ a.foo() } ____ std::convertible_to<int>;

Cevabı göster

{ a.foo() } -> std::convertible_to<int>;

Compound requirement parçaları

{ expr }

İfade denetimi
-> concept

Dönüş türü kısıtı
noexcept

İstisna fırlatmaz
requires(T a)

Parametre bağlamı
{ expr } noexcept ne anlama gelir?
- İfade çalışma zamanında denetlenir
- İfade her zaman true döndürür
- İfade yalnızca integral tür döndürür
- İfade istisna fırlatmayacağını garanti eder
Cevabı göster

İfade istisna fırlatmayacağını garanti eder — noexcept compound, ifadenin istisna fırlatmayacağını derleme zamanında şart koşar.

Sıradaki ders: Concept overloading

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler