requires

requires clause ile şablon kısıtlarını öğrenirsin.

requires clause nedir?

requires anahtar sözcüğü iki biçimde karşımıza çıkar: requires clause (şablon kısıtı) ve requires expression (ifade denetimi). requires expression, bir takım ifadelerin geçerli olup olmadığına bakar ve bool döndürür.

Örnek: requires(T a, T b) { a + b; a - b; }. Bu ifade, a + b ve a - b geçerliyse true döndürür. Bir concept'in içinde ya da şablon kısıtı olarak kullanılır. Böylece türün hangi işlemleri desteklediği derleme zamanında sorgulanır.

requires clause kullanımı

Bir şablon fonksiyonu kısıtlamak için requires sözcüğünü şablon başlığının ardına yazarsın: template<typename T> requires Hashable<T> size_t hash_of(T v).

Böylece hash_of yalnızca Hashable koşulunu sağlayan türlerle çağrılabilir. Koşul sağlanmazsa derleyici kısa ve net bir hata verir. requires clause, concept adının yanında && ve || ile de birleştirilebilir: requires Hashable<T> && std::copyable<T>.

Uygulama Hashable concept'ini tanımla

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

Örnek çözümü göster

#include <iostream>
#include <concepts>
#include <functional>

template<typename T>
concept Hashable = requires(T a) {
    { std::hash<T>{}(a) } -> std::convertible_to<size_t>;
};

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

Kendini test et

requires ifadesi

template<typename T> concept Hashable = ____(T a) { std::hash<T>{}(a); };

Cevabı göster

template<typename T> concept Hashable = requires(T a) { std::hash<T>{}(a); };

requires(T a) { a.foo(); } neyi sınar?
- a'nın bir sınıf olmasını
- a'nın null olmamasını
- a türünde foo() çağrısının geçerli olmasını
- a'nın foo() metodu döndürmesini
Cevabı göster

a türünde foo() çağrısının geçerli olmasını — requires expression, a.foo() çağrısının derleme zamanında geçerli olup olmadığına bakar.
Parçayı rolüne eşle

requires(T a, T b)

İfade denetimi
requires Hashable<T>

Şablon kısıtı
a + b

Denenen ifade
std::hash<T>{}(a)

Hash çağrısı

Sıradaki ders: Standard concepts

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler