typ Impossible przypadek przełącznik

Question

Ten program nie kompiluje:

package main 

type Validator struct { 
} 

// Error implements error interface 
func (v *Validator) Error() string { 
    return "" 
} 

func test() error { 
    return &Validator{} 
} 

func main() { 
    switch test().(type) { 
    case nil: 
     println("No error") 
    case Validator: 
     println("Validation error") 
     return 
    default: 
     println("Unknown error") 
     return 
    } 
} 

Błąd jest:

prog.go:19: impossible type switch case: test() (type error) cannot have dynamic type Validator (missing Error method) 

Ale Validator struct ma metodę Error.

Answer 1

Masz dwa różne typy, Validator i typ wskaźnika *Validator, a te dwa typy mają różne zestawy metod.

Użytkownik zdefiniował tylko metodę oznaczania wskaźnika Error(), podczas gdy Validator nie ma tej metody.

Co można zrobić, to następujące zmiany:

// Error implements error interface 
func (v Validator) Error() string { 
    return "" 
} 

...

case *Validator, Validator: // You are actually getting a *Validator 

ten realizuje Error() zarówno Validator i *Validator. Jak Go specification mówi:

Zestaw metoda jakiegokolwiek innego typu T składa się z wszystkich metod zadeklarowanych w odbiornik typu T. metody określonej odpowiedniego typu wskaźnika * T jest zbiorem wszystkich metod zadeklarowanych z Odbiornik * T lub T (czyli zawiera również zestaw metod T)

Answer 2

Kompilator jest poprawny. Validator typ nie implementuje Error, *Validator ma. Validator i *Validator to różne typy. Wystarczy zastąpić były z nią w przełączniku typu:

switch test().(type) { 
case nil: 
    println("No error") 
case *Validator: 
    println("Validation error") 
    return 
default: 
    println("Unknown error") 
    return 
} 

przykład Praca w ruchu Playground: http://play.golang.org/p/aWqzPXweiA