Logika warunkowa
std::conditional i if constexpr
Logika warunkowa to bezpłatna lekcja C++ Academy na CoddyKit. To lekcja 3 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej C++ Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs C++ Academy zawiera 4 lekcji w sumie.
Wybieranie typów i rozgałęzień
Logika oparta na cechach typów pozwala wybierać typy i ścieżki kodu w czasie kompilacji. Najważniejsze narzędzia to std::conditional i if constexpr.
std::conditional
std::conditional_t<cond, A, B> daje w wyniku A, gdy cond ma wartość true, a w przeciwnym razie B.
#include <iostream>
#include <type_traits>
int main() {
using T = std::conditional_t<true, int, double>;
std::cout << std::is_same_v<T, int> << "\n";
return 0;
}Wybieranie typu przechowywania
Częste zastosowanie: wybór typu o większym zakresie dla dużych wartości, a w pozostałych przypadkach typu o mniejszym zakresie.
#include <iostream>
#include <type_traits>
template <bool Big>
struct Storage {
using type = std::conditional_t<Big, long long, short>;
};
int main() {
Storage<true>::type a = 10;
std::cout << sizeof(a) << "\n";
return 0;
}Podstawy if constexpr
if constexpr (C++17) odrzuca w czasie kompilacji gałąź, która nie zostanie wybrana. Dla danego typu kompilować musi się tylko wybrana gałąź.
#include <iostream>
#include <type_traits>
template <typename T>
void describe(T v) {
if constexpr (std::is_integral_v<T>)
std::cout << "integer: " << v << "\n";
else
std::cout << "other: " << v << "\n";
}
int main() {
describe(5);
describe(2.5);
return 0;
}Dlaczego if constexpr przewyższa if wykonywane w czasie działania
W przypadku zwykłego if obie gałęzie muszą się kompilować dla każdego T. W przypadku if constexpr odrzucona gałąź nie jest tworzona, więc może zawierać kod zależny od typu, który w innym przypadku byłby nieprawidłowy.
Operacje zależne od typu
Nie jest to możliwe przy użyciu zwykłego if, ponieważ wywołanie .length() nie skompilowałoby się dla typu int.
#include <iostream>
#include <string>
#include <type_traits>
template <typename T>
auto size_of(const T& v) {
if constexpr (std::is_same_v<T, std::string>)
return v.length();
else
return sizeof(v);
}
int main() {
std::cout << size_of(std::string("hi")) << "\n";
std::cout << size_of(42) << "\n";
return 0;
}enable_if dla przeciążeń
Przed wprowadzeniem if constexpr element std::enable_if wybierał przeciążenia za pomocą SFINAE. Usuwa on funkcję z rozstrzygania przeciążenia, gdy warunek jest fałszywy.
#include <iostream>
#include <type_traits>
template <typename T, std::enable_if_t<std::is_integral_v<T>, int> = 0>
void only_int(T v) { std::cout << "int " << v << "\n"; }
int main() {
only_int(7);
return 0;
}Łączenie warunków
W warunkach sprawdzanych w czasie kompilacji można łączyć cechy typów za pomocą &&, || i !, tak samo jak zwykłe wartości logiczne.
#include <iostream>
#include <type_traits>
template <typename T>
void check() {
if constexpr (std::is_integral_v<T> && !std::is_same_v<T, bool>)
std::cout << "non-bool integer\n";
else
std::cout << "something else\n";
}
int main() {
check<int>();
check<bool>();
return 0;
}Rekurencyjny wybór w czasie kompilacji
if constexpr umożliwia rekurencję w czasie kompilacji, przydatną do przetwarzania krotek lub paczek parametrów element po elemencie.
conjunction i disjunction
C++17 udostępnia także elementy std::conjunction i std::disjunction, które realizują krótkie wartościowanie logicznych operacji AND/OR na liście cech typów.
Wybór właściwego narzędzia
Elementu conditional należy używać do wyboru typu, if constexpr do wyboru kodu, a enable_if/concepts do kontrolowania rozstrzygania przeciążeń. W nowoczesnym kodzie ze względu na czytelność preferuje się if constexpr i concepts.
Szybkie sprawdzenie
Proszę przypomnieć sobie najważniejszą zaletę if constexpr.
Podsumowanie
Nauczył(a) się Pan/Pani warunkowej logiki wykonywanej w czasie kompilacji.
conditional_t<c,A,B>wybiera typif constexprwybiera kod, odrzucając drugą gałąźenable_ifkontroluje rozstrzyganie przeciążeń za pomocą SFINAE- Cechy typów można łączyć za pomocą operatorów logicznych
Ucz się C++ dzięki korepetycjom AI — za darmo
Pisz i uruchamiaj kod w przeglądarce, otrzymuj natychmiastową pomoc od korepetytora AI dostępnego 24/7 i kontynuuj naukę w sieci lub w aplikacji.
- Kursy
- 51
- Lekcje
- 203
Często zadawane pytania
Czy lekcja „Logika warunkowa” jest bezpłatna?
Tak — pełny tekst „Logika warunkowa” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu C++ Academy, przejdź na CoddyKit PRO. Kurs C++ Academy zawiera 4 lekcji w sumie.
Co nauczysz się w „Logika warunkowa”?
std::conditional i if constexpr Ćwiczysz C++ Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć C++ Academy?
Nie wymagamy żadnego doświadczenia. C++ Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 3 z 4.
Ile czasu zajmuje lekcja „Logika warunkowa”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji C++ Academy?
Tak. Każda lekcja C++ Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.
Wszystkie lekcje w tym kursie
- Sprawdzanie typów
- Przekształcanie typów
- Logika warunkowa
- Pisanie własnych traits