C++ Academy · Lekcja

Typowe concepts biblioteki standardowej: integral, ranges

Używaj concepts biblioteki standardowej, takich jak integral i ranges::range

Lekcja 4 z 414 kroki

Typowe concepts biblioteki standardowej: integral, ranges to bezpłatna lekcja C++ Academy na CoddyKit. To lekcja 4 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.

Standardowa biblioteka konceptów

W C++20 wprowadzono wiele standardowych konceptów w bibliotekach <concepts> i <ranges>. Ich znajomość pozwala uniknąć pisania własnych konceptów.

Koncepty podstawowego języka

Podstawowe koncepty:

std::same_as<T, U>
std::derived_from<T, U>
std::convertible_to<T, U>
std::common_with<T, U>
std::assignable_from<T, U>

Koncepty arytmetyczne

Ogranicz typy do liczbowych:

std::integral — dowolny typ całkowity
std::signed_integral — typ całkowity ze znakiem
std::unsigned_integral — typ całkowity bez znaku
std::floating_point — float, double, long double

template <std::floating_point T>
T mean(T a, T b) { return (a + b) / 2; }

Koncepty porównań

Określ ograniczenia typów na potrzeby porównywania równości i porządku:

std::equality_comparable
std::totally_ordered
std::three_way_comparable

Koncepty obiektów

Typowe wymagania:

std::movable
std::copyable
std::default_initializable
std::semiregular
std::regular

template <std::regular T>
class Container { /* full-fledged value type */ };

Koncepty wywoływalności

Dla funkcji i funktorów:

std::invocable<F, Args...>
std::regular_invocable<F, Args...>
std::predicate<F, Args...>

template <std::invocable<int> F>
void apply_to_42(F&& f) {
    std::forward<F>(f)(42);
}

Koncepty iteratorów

W bibliotece <iterator>:

std::input_iterator
std::forward_iterator
std::bidirectional_iterator
std::random_access_iterator
std::contiguous_iterator

Koncepty zakresów (C++20)

Z biblioteki <ranges>:

std::ranges::range — ma begin/end
std::ranges::view — zakres nieposiadający elementów
std::ranges::sized_range — zna swój rozmiar w czasie O(1)
std::ranges::random_access_range

template <std::ranges::range R>
auto first(R&& r) {
    return *std::ranges::begin(r);
}

Łączenie konceptów

Łącz koncepty, aby wyrażać precyzyjne wymagania.

template <std::ranges::random_access_range R>
    requires std::integral<std::ranges::range_value_t<R>>
auto sum(const R& r) {
    return std::reduce(std::ranges::begin(r), std::ranges::end(r));
}

Własne koncepty oparte na standardowych

Twórz koncepty specyficzne dla domeny na podstawie standardowych konceptów.

template <typename T>
concept Number = std::integral<T> || std::floating_point<T>;

Algorytmy oparte na konceptach

Algorytmy zakresów w C++20 mają liczne ograniczenia oparte na konceptach. Gdy przekażesz nieodpowiedni typ, komunikaty błędów bezpośrednio wskazują, który koncept nie został spełniony.

Ściągawka

W miarę możliwości używaj wbudowanych konceptów:

Liczby → integral / floating_point
Iterowanie → ranges::range
Element wywoływalny → invocable / predicate
Typ wartości → regular lub semiregular

Szybkie sprawdzenie

Jaki standardowy koncept opisuje typ, który ma zarówno begin(), jak i end()?

Odpowiedz w interaktywnej lekcji

Podsumowanie

Biblioteka standardowa udostępnia rozbudowane biblioteki konceptów: arytmetyczne (integral, floating_point), porównywalne (equality_comparable), obiektowe (movable, regular), wywoływalne, iteratorów i zakresów. Używaj ich jako podstawy własnych ograniczeń.

Bezpłatny start

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

Zacznij naukę bezpłatnie Wyświetl pełny kurs

Często zadawane pytania

Czy lekcja „Typowe concepts biblioteki standardowej: integral, ranges” jest bezpłatna?

Tak — pełny tekst „Typowe concepts biblioteki standardowej: integral, ranges” 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 „Typowe concepts biblioteki standardowej: integral, ranges”?

Używaj concepts biblioteki standardowej, takich jak integral i ranges::range Ć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 4 z 4.

Ile czasu zajmuje lekcja „Typowe concepts biblioteki standardowej: integral, ranges”?

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

Dlaczego concepts zamiast SFINAE
Definiowanie concepts za pomocą requires
Używanie concepts w szablonach i auto
Typowe concepts biblioteki standardowej: integral, ranges

← Powrót do C++ Academy