enable_if

enable_if ile SFINAE öğrenirsin.

enable_if (SFINAE)

std::enable_if, bir koşul doğruysa geçerli bir tür, yanlışsa hiçbir tür üretmez. Bu, SFINAE (Substitution Failure Is Not An Error) ilkesine dayanır; yanlış koşullu aşırı yükleme aday listesinden sessizce çıkarılır.

Örnek: template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>> T add_one(T x). Bu aşırı yükleme yalnızca T tamsayı ise adaydır. add_one(5) çalışır; add_one(std::string{...}) derleme hatası verir. Concepts'ten önce bu, şablon kısıtlayan temel araçtı.

enable_if_t kullanımı

enable_if_t<cond>, koşul doğruysa void (veya ikinci parametreyle belirtilen tür) döndürür. Genellikle şablonun varsayılan tür parametresi olarak verilir: template <typename T, typename = std::enable_if_t<cond>>. Bu, imzaya görünmez bir koşul ekler.

C++17'den önce typename std::enable_if<cond>::type yazılırdı. _t soneki bunu kısaltır. Modern C++'ta concepts daha okunaklı bir alternatiftir; ancak enable_if eski kodlarda yaygındır ve bilinmesi gerekir.

Uygulama add_one'u kısıtla

template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>> T add_one(T x) yaz. Gövdede return x + 1; olsun. main içinde std::cout << add_one(5); yaz.

Örnek çözümü göster

#include <iostream>
#include <type_traits>

template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
T add_one(T x) {
    return x + 1;
}

int main() {
    std::cout << add_one(5);
    return 0;
}

Kendini test et

SFINAE neyin kısaltması?
- Single Function Is Not An Error
- Static Function In A Namespace
- Substitution Failure Is Not An Error
- Safe Function In Any Execution
Cevabı göster

Substitution Failure Is Not An Error — SFINAE, Substitution Failure Is Not An Error anlamına gelir.
İfadeyi rolüne eşle

std::enable_if_t<cond>

Koşul doğruysa tür
std::is_integral_v<T>

Koşul ifadesi
typename = ...

Boş varsayılan argüman
add_one(5)

Geçerli çağrı

enable_if satırını tamamla

template <typename T, typename = std::____<std::is_integral_v<T>>
T add_one(T x) { return x + 1; }

Cevabı göster

template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>
T add_one(T x) { return x + 1; }

Sıradaki ders: conditional

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler