Est-il possible d'écrire une contrainte pour exclure un certain type ?

l'éditeur php Strawberry vous propose un article sur les contraintes d'écriture pour exclure certains types. En PHP, on peut utiliser des contraintes de type pour limiter les types de paramètres de fonctions ou de méthodes, mais est-il possible d'écrire une contrainte pour exclure un certain type ? La réponse est oui. En utilisant l'opérateur "!", nous pouvons exclure certains types des contraintes de type, obtenant ainsi des restrictions de type de paramètres plus précises. Dans cet article, nous détaillerons comment utiliser l'opérateur "!" pour exclure un type et donnerons des exemples de code pratiques. Explorons ensemble ce sujet intéressant !

Contenu des questions

type nonstring interface {
    // ???
}

func myfunc[t nonstring](v t) t {
    return v
}

func main() {
    myfunc(1)          // ok
    myfunc(false)      // ok
    myfunc([]string{}) // ok

    myfunc("hi, boy!") // i hope a comiler error occurs here!  
}

Ce que je veux est décrit dans les commentaires du code ci-dessus.

Est-ce possible en golang ?

Scène originale

J'ai deux fonctions comme suit :

func Any2String(v any) string {        
    return fmt.Sprint(v) // Slow version
}

func Integer2String[N Integer](v N) string {
    return strconv.FormatInt(int64(v), 10) // Fast version
}

any2string(v) 可以将任何 v 转换为字符串。但是，如果 v 是一个整数，则 integer2string(v) Beaucoup plus rapide.

Je veux donc que le compilateur integer2string(v) 适用时，我希望编译器阻止我调用 any2string(v) m'empêche

d'appeler any2string(v) lorsque le integer2string(v) plus rapide est applicable.

Solution

Non, ce n'est pas possible. Les ensembles de types de contraintes ne peuvent pas être exprimés sous forme de soustraction d’ensembles.

Vous pouvez définir des contraintes qui ne peuvent être satisfaites par aucun type, par exemple :

type notsatisfiable interface {
    int
    foo()
}

int 并且具有方法 foo()Cette contrainte nécessite que le type soit exactement

. Comme on ne peut pas définir de méthodes sur des types prédéfinis, il est impossible de satisfaire cette contrainte.

Cependant, vous ne pouvez pas définir de contraintes telles que "any-minus-int" ou "any-plus-notsatisfiable".

Si votre fonction est identique pour n'importe quel type sauf les types à quantités discrètes, utilisez simplement un interrupteur de type :

func ToString(v any) string {
    switch t := v.(type) {
    case int:
        return Integer2String(t)
    default:
        return Any2String(t)
    }
}

anyVous n'avez même pas besoin de génériques, puisque les paramètres réguliers de type

fonctionneront très bien. 🎜

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!