Go Academy · Lezione

Vincoli: comparable e interfacce

Vincoli di unione e il tipo integrato comparable

Vincoli: comparable e interfacce è una lezione Go Academy gratuita su CoddyKit. Questa è la lezione 2 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 Go Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Go Academy include 4 lezioni in totale.

Che cos'è un vincolo

Un vincolo limita i tipi che possono essere usati come argomento di tipo. Senza un vincolo, il parametro di tipo è any (l'interfaccia vuota: supporta solo l'assegnazione e il confronto tramite ==).

Il vincolo any

any (alias di interface{}) è il vincolo più ampio: tutti i tipi lo soddisfano. È possibile usare solo le operazioni supportate da tutti i tipi: assegnazione e passaggio a parametri di interfaccia.

func Print[T any](v T) { fmt.Println(v) }

Il vincolo comparable

comparable limita il parametro di tipo ai tipi che supportano == e !=. È necessario per usare il tipo come chiave di una mappa o nei controlli di uguaglianza.

func Contains[T comparable](s []T, v T) bool {
    for _, item := range s {
        if item == v { return true }
    }
    return false
}

Vincoli basati su interfacce

Usi un'interfaccia come vincolo per richiedere metodi specifici. Il parametro di tipo deve avere tutti i metodi dell'interfaccia.

type Stringer interface { String() string }

func Print[T Stringer](v T) {
    fmt.Println(v.String())
}

Vincoli di unione

Usi un'unione di tipi con | per limitare il parametro a un insieme di tipi concreti. Questo consente di usare operatori (come +) che non fanno parte di alcuna interfaccia.

type Number interface {
    int | int64 | float64
}

func Sum[T Number](s []T) T {
    var total T
    for _, v := range s { total += v }
    return total
}

~T per i tipi sottostanti

Usi ~T per includere non solo T, ma anche tutti i tipi che hanno T come tipo sottostante, ad esempio i tipi personalizzati definiti come type MyInt int.

type Integer interface { ~int | ~int64 }

type MyInt int
// MyInt satisfies Integer because its underlying type is int

golang.org/x/exp/constraints

Il pacchetto constraints fornisce interfacce di vincolo comuni: Ordered (supporta <), Integer, Float, Signed, Unsigned.

import "golang.org/x/exp/constraints"

func Min[T constraints.Ordered](a, b T) T {
    if a < b { return a }
    return b
}

Pacchetto cmp (Go 1.21)

Go 1.21 ha aggiunto il vincolo cmp.Ordered e le funzioni cmp.Compare/cmp.Less nella libreria standard, sostituendo la dipendenza exp/constraints.

import "cmp"
func Min[T cmp.Ordered](a, b T) T { return min(a, b) }

Combinare i vincoli

Includa più interfacce in un vincolo per richiedere più proprietà:

type Printable interface {
    comparable
    fmt.Stringer
}

Inferenza dei vincoli

Il compilatore inferisce i parametri di tipo dagli argomenti. Se il vincolo è troppo ampio (any), potrebbe essere necessario specificare esplicitamente gli argomenti di tipo per guidare l'inferenza.

Quando usare comparable

Usi comparable quando la funzione generica deve usare == sui valori, memorizzarli nelle mappe come chiavi o usarli come elementi di mappe/set. Non tutti i tipi sono confrontabili (slice, map e func non lo sono).

Verifica rapida

Che cosa significa il prefisso ~ in un vincolo di unione come ~int?

Riepilogo: vincoli

Punti chiave:

any: il più ampio; comparable: supporta ==; interface: richiede metodi
L'unione (int|float64) abilita gli operatori aritmetici
~T include i tipi denominati che hanno T come tipo sottostante
cmp.Ordered (Go 1.21+) per i vincoli <, >, <=, >=

Domande Frequenti

La lezione «Vincoli: comparable e interfacce» è gratuita?

Sì — il testo completo di «Vincoli: comparable e interfacce» è 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 Go Academy, passa a CoddyKit PRO. Il corso Go Academy include 4 lezioni in totale.

Cosa imparerò in «Vincoli: comparable e interfacce»?

Vincoli di unione e il tipo integrato comparable Eserciti Go 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 Go Academy?

Non è richiesta alcuna esperienza precedente. Go 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 2 di 4.

Quanto tempo richiede la lezione «Vincoli: comparable e interfacce»?

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 Go Academy?

Sì. Ogni lezione Go 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

← Torna a Go Academy