Ist es möglich, eine Einschränkung zu schreiben, um einen bestimmten Typ auszuschließen?

php-Editor Strawberry bringt Ihnen einen Artikel über Schreibbeschränkungen zum Ausschluss bestimmter Typen. In PHP können wir Typeinschränkungen verwenden, um die Parametertypen von Funktionen oder Methoden einzuschränken. Ist es jedoch möglich, eine Einschränkung zu schreiben, um einen bestimmten Typ auszuschließen? Die Antwort ist ja. Durch die Verwendung des „!“-Operators können wir bestimmte Typen von Typbeschränkungen ausschließen und so präzisere Parametertypbeschränkungen erreichen. In diesem Artikel erklären wir detailliert, wie Sie den Operator „!“ zum Ausschließen eines Typs verwenden, und geben praktische Codebeispiele. Lassen Sie uns gemeinsam dieses interessante Thema erkunden!

Frageninhalt

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!  
}

Was ich will, ist in den Kommentaren des Codes oben beschrieben.

Ist das in Golang möglich?

Originalszene

Ich habe zwei Funktionen wie folgt:

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) Viel schneller.

Ich möchte also, dass der Compiler integer2string(v) 适用时，我希望编译器阻止我调用 any2string(v) mich daran hindert, any2string(v) aufzurufen, wenn der schnellere integer2string(v) anwendbar ist.

Lösung

Nein, das ist nicht möglich. Constraint-Typ-Sets können nicht als Set-Subtraktion ausgedrückt werden.

Sie können Einschränkungen definieren, die von keinem Typ erfüllt werden können, zum Beispiel:

type notsatisfiable interface {
    int
    foo()
}

Diese Einschränkung erfordert, dass der Typ genau int 并且具有方法 foo() ist. Da Sie keine Methoden für vordeklarierte Typen definieren können, ist es unmöglich, diese Einschränkung zu erfüllen.

Sie können jedoch keine Einschränkungen wie „any-minus-int“ oder „any-plus-notsatisfiable“ definieren.

Wenn Ihre Funktion für alle Typen außer diskreten Mengentypen identisch ist, verwenden Sie einfach einen Typschalter:

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

Sie benötigen nicht einmal Generika, da reguläre Parameter vom Typ any problemlos funktionieren.

Das obige ist der detaillierte Inhalt vonIst es möglich, eine Einschränkung zu schreiben, um einen bestimmten Typ auszuschließen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!