0Pricing
C++ Academy · Lezione

Concepts standard comuni: integral e ranges::range

Usi concepts della libreria standard come integral e ranges::range

Concepts standard comuni: integral e ranges::range è una lezione C++ Academy gratuita su CoddyKit. Questa è la lezione 4 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento C++ Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso C++ Academy include 4 lezioni in totale.

La libreria standard dei concept

C++20 ha introdotto numerosi concept standard in <concepts> e <ranges>. Conoscerli evita di doverne scrivere di propri.

Concept fondamentali del linguaggio

I concept fondamentali:

  • 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>

Concept aritmetici

Limitare i tipi a quelli numerici:

  • std::integral — qualsiasi tipo intero
  • std::signed_integral — intero con segno
  • std::unsigned_integral — intero senza segno
  • std::floating_point — float, double, long double
template <std::floating_point T>
T mean(T a, T b) { return (a + b) / 2; }

Concept per i confronti

Applicare vincoli ai tipi per l'uguaglianza e l'ordinamento:

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

Concept degli oggetti

Requisiti comuni:

  • std::movable
  • std::copyable
  • std::default_initializable
  • std::semiregular
  • std::regular
template <std::regular T>
class Container { /* full-fledged value type */ };

Concept per gli oggetti chiamabili

Per funzioni e functor:

  • 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);
}

Concept degli iteratori

In <iterator>:

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

Concept degli intervalli (C++20)

Da <ranges>:

  • std::ranges::range — dispone di begin/end
  • std::ranges::view — intervallo non proprietario
  • std::ranges::sized_range — conosce la propria dimensione in O(1)
  • std::ranges::random_access_range
template <std::ranges::range R>
auto first(R&& r) {
    return *std::ranges::begin(r);
}

Combinare i concept

Combinare i concept per esprimere requisiti precisi.

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));
}

Concept personalizzati basati su altri concept

Creare concept specifici del dominio basati su quelli standard.

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

Algoritmi basati sui concept

Gli algoritmi degli intervalli di C++20 sono fortemente vincolati dai concept. Quando si passa un tipo non adatto, i relativi messaggi di errore indicano direttamente quale concept non è stato soddisfatto.

Promemoria

Utilizzare i concept integrati ogni volta che è possibile:

  • Numeri → integral / floating_point
  • Iterazione → ranges::range
  • Oggetti chiamabili → invocable / predicate
  • Tipo valore → regular o semiregular

Verifica rapida

Quale concept standard descrive un tipo che dispone sia di begin() sia di end()?

Riepilogo

La libreria standard fornisce librerie ricche di concept: aritmetici (integral, floating_point), per i confronti (equality_comparable), per gli oggetti (movable, regular), per gli oggetti chiamabili, per gli iteratori e per gli intervalli. Utilizzarli come base per i propri vincoli.

Domande Frequenti

La lezione «Concepts standard comuni: integral e ranges::range» è gratuita?

Sì — il testo completo di «Concepts standard comuni: integral e ranges::range» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso C++ Academy, passa a CoddyKit PRO. Il corso C++ Academy include 4 lezioni in totale.

Cosa imparerò in «Concepts standard comuni: integral e ranges::range»?

Usi concepts della libreria standard come integral e ranges::range Eserciti C++ Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare C++ Academy?

Non è richiesta alcuna esperienza precedente. C++ Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 4 di 4.

Quanto tempo richiede la lezione «Concepts standard comuni: integral e ranges::range»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione C++ Academy?

Sì. Ogni lezione C++ Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

  1. Perché usare i concepts invece di SFINAE
  2. Definire concepts con requires
  3. Usare i concepts nei template e con auto
  4. Concepts standard comuni: integral e ranges::range
← Torna a C++ Academy