Comment Go garantit-il la conformité de l’interface grâce à la vérification de type au moment de la compilation ?

Vérification du type de compilation de conformité de l'interface linguistique Go

Dans Go, l'instruction "var x interface{}" déclare une variable x de type interface {}, qui peut contenir des valeurs de n'importe quel type. Cependant, lors de l'attribution d'une valeur à une variable d'interface, le compilateur vérifie si le type de la valeur attribuée est conforme à la définition de l'interface.

Dans l'exemple que vous avez fourni :

var (
    _ blobref.StreamingFetcher = (*CachingFetcher)(nil)
    _ blobref.SeekFetcher      = (*CachingFetcher)(nil)
    _ blobref.StreamingFetcher = (*DiskCache)(nil)
    _ blobref.SeekFetcher      = (*DiskCache)(nil)
)

les instructions assurez-vous que CachingFetcher et DiskCache implémentent les méthodes publiques des interfaces StreamingFetcher et SeekFetcher. Le préfixe "_blobref.StreamingFetcher" indique que le type CachingFetcher satisfait l'interface StreamingFetcher. Cette vérification est importante pour garantir que ces types peuvent être correctement utilisés dans le code qui attend des types implémentant ces interfaces.

La partie RHS de ces instructions utilise une syntaxe de constructeur de pointeur avec un paramètre nil. Dans ce cas, "(T)(nil)" représente une valeur nulle tapée, qui est utilisée pour indiquer que la valeur nulle doit être affectée à une variable de type T. Par exemple, l'instruction suivante déclare un pointeur vers une interface StreamingFetcher avec une valeur nulle :

var fetcher *blobref.StreamingFetcher = (*blobref.StreamingFetcher)(nil)

Cette syntaxe est un moyen pratique de créer un pointeur vers une interface et de garantir que la valeur nulle est correctement attribuée.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!