Implémentation implicite
Fait partie de la section Programmation Orientée Objet du Journey GO de Coddy. Leçon 26 sur 107.
Dans de nombreux langages orientés objet comme Java ou C#, vous devez déclarer explicitement qu’un type implémente une interface à l’aide de mots-clés comme implements. Go adopte une approche différente : l’implémentation des interfaces est implicite.
Un type satisfait une interface simplement en implémentant toutes ses méthodes. Il n’est nécessaire de déclarer cette relation nulle part. Le compilateur le déduit automatiquement.
type Writer interface {
Write(data string) int
}
type FileWriter struct {
Filename string
}
// FileWriter implémente implicitement Writer
func (f FileWriter) Write(data string) int {
fmt.Println("Writing to", f.Filename)
return len(data)
}
Remarquez qu’il n’y a pas de déclaration implements Writer sur FileWriter. Comme FileWriter possède une méthode Write(data string) int correspondant à la signature de l’interface, il satisfait automatiquement l’interface Writer.
Cette conception a une conséquence puissante : vous pouvez définir des interfaces après l’existence des types. Si une bibliothèque tierce possède un type avec les méthodes dont vous avez besoin, vous pouvez créer une interface à laquelle il satisfait déjà sans modifier le code d’origine.
func Save(w Writer, content string) {
w.Write(content)
}
func main() {
fw := FileWriter{Filename: "data.txt"}
Save(fw, "Hello!") // Fonctionne car FileWriter satisfait Writer
}
L’implémentation implicite permet de garder le code Go découplé et flexible. Les types n’ont pas besoin de connaître les interfaces à l’avance, ce qui facilite la composition de systèmes à partir de parties indépendantes.
Défi
FacileConstruisons un système de livraison de messages qui montre comment les types satisfont implicitement les interfaces en Go. Vous créerez différents types de messagers qui satisfont tous la même interface, sans jamais déclarer explicitement cette relation.
Vous organiserez votre code dans deux fichiers :
messengers.go: définissez une interfaceMessengeravec une seule méthodeSend(message string) string. Créez ensuite deux structures qui satisferont implicitement cette interface :EmailMessengeravec un champAddress(string)SMSMessengeravec un champPhoneNumber(string)
Sendqui renvoie une chaîne décrivant la livraison. Aucune structure ne doit déclarer explicitement qu'elle implémenteMessenger: Go le déterminera automatiquement en fonction des signatures des méthodes.main.go: créez une fonction appeléeDeliverMessagequi accepte n'importe quelMessengerainsi qu'une chaîne de message, puis renvoie le résultat de l'appel àSend. Lisez les coordonnées saisies, créez les deux types de messagers et utilisez votre fonction pour envoyer des messages avec chacun d'eux.
Les entrées suivantes seront fournies :
- Ligne 1 : adresse e-mail
- Ligne 2 : numéro de téléphone
- Ligne 3 : message à envoyer
Vos méthodes Send doivent renvoyer des chaînes dans les formats suivants :
- EmailMessenger :
Email to [Address]: [message] - SMSMessenger :
SMS to [PhoneNumber]: [message]
Par exemple, avec alice@example.com, 555-1234 et Hello!, votre sortie devrait être :
Email to alice@example.com: Hello!
SMS to 555-1234: Hello!L'idée essentielle est que votre fonction DeliverMessage accepte n'importe quel Messenger, et que EmailMessenger comme SMSMessenger satisfont cette interface simplement parce qu'ils possèdent une méthode Send correspondante. Il n'y a aucun mot-clé implements : l'implémentation implicite de Go s'en charge entièrement.
Essayez vous-même
package main
import (
"bufio"
"fmt"
"os"
)
// TODO: Créer une fonction DeliverMessage qui accepte n'importe quel Messenger
// et une chaîne de message, puis renvoie le résultat de l'appel à Send
func main() {
reader := bufio.NewReader(os.Stdin)
// Read email address
email, _ := reader.ReadString('\n')
email = email[:len(email)-1]
// Lire le numéro de téléphone
phone, _ := reader.ReadString('\n')
phone = phone[:len(phone)-1]
// Lire le message
message, _ := reader.ReadString('\n')
if len(message) > 0 && message[len(message)-1] == '\n' {
message = message[:len(message)-1]
}
// TODO: Créer un EmailMessenger avec l'adresse e-mail
// TODO: Créer un SMSMessenger avec le numéro de téléphone
// TODO: Utiliser DeliverMessage pour envoyer le message via chaque messenger
// et afficher les résultats
}
Cette leçon comprend un petit quiz. Commencez la leçon pour y répondre et suivre votre progression.
Toutes les leçons de Programmation Orientée Objet
1Fondamentaux de la POO en Go
Fichiers externesEspace de travail et modules GoPackages et importsNoms exportés et non exportésIntroduction à la POO en GoStructs comme classesDéfinir des méthodes sur des structsRécepteurs pointeurs ou par valeurInitialisation des structsFonctions constructeursRécapitulatif - Calculatrice simple4Interfaces
Introduction aux interfacesImplémentation impliciteL’interface comme contratInterface vide (any)Assertion de typeCommutation de typeComposition d’interfacesInterfaces Stringer et ErrorRécapitulatif - Calculateur de formes7Encapsulation
Champs exportés vs non exportésEncapsulation au niveau du packageMéthodes Getter et SetterDissimulation de l’information en GoRécapitulatif – Fiches d’étudiants10Génériques (Go 1.18+)
Introduction aux génériquesParamètres de typeContraintes de typeStructures génériquesSolution de contournement pour les méthodes génériquesRécapitulatif - Collection générique2Plongée approfondie dans les types et les structs
Types de base et compositesDéfinitions de types personnalisésTags de structStructs anonymesStructs imbriquésValeurs zéro et valeurs par défautRécapitulatif - Carnet de contacts5La composition plutôt que l’héritage
Pourquoi Go n’a pas d’héritageBases de l’inclusion de structsPromotion des méthodesInclure plusieurs structsInclusion ou agrégationMasquage des méthodes inclusesRécapitulatif : hiérarchie des employés8Gestion des erreurs et POO
L’interface errorTypes d’erreurs personnalisésEnrobage des erreurs (fmt.Errorf)Erreurs sentinelleserrors.Is() et errors.As()Panic, Defer et RecoverRécapitulatif - Analyseur de fichiers11Bibliothèque standard et POO
io.Reader et io.Writersort.InterfaceInterface fmt.Stringerencoding/json avec des structsInterface http.HandlerRécapitulatif - Modèles d’API REST14Modèles de conception – Partie 2
Modèle CommandeModèle AdaptateurModèle DécorateurModèle Méthode modèleModèle ÉtatModèle CompositeMiddleware comme décorateur3Pointeurs et mémoire
Notions de base des pointeurs en GoPointeurs vers des structuresPassage par valeur ou par référenceLa fonction new()Garbage collection en GoRécapitulatif - Constructeur de listes chaînées6Polymorphisme en Go
Polymorphisme via les interfacesDuck typing en GoRègles de satisfaction des interfacesCollections polymorphesInjection de dépendancesRécapitulatif – Processeur de paiements9Concurrence et POO
Bases des GoroutinesCanaux et communicationCanaux tamponnés ou non tamponnésInstruction selectsync.Mutex et sync.RWMutexsync.WaitGroupConception de structures thread-safeRécapitulatif - Pool de workersEntraînez-vous par vous-même : Compilateur Go en ligne