如何在 Go 中创建多级误差子类型

Question

我试图在 GO 中创建错误的子类型。我之前问过一个关于这个问题的问题。

现在我面临着多种类型的问题。以下代码显示了错误类型定义：

/* Interfaces */
type UniversalError interface {
    CommonError1
}
type CommonError1 interface {
    error
    CommonError1()
}
/* Structs */
type Error1 struct {
    reason string
}
type Error2 struct {
    reason string
}
type Error3 struct {
    reason string
}
/* Interface function implementations */
func (error1 Error1) Error() string {
    return fmt.Sprintf(error1.reason)
}
func (error2 Error2) Error() string {
    return fmt.Sprintf(error2.reason)
}
func (error3 Error3) Error() string {
    return fmt.Sprintf(error3.reason)
}
func (Error1) CommonError1() {}
func (Error2) CommonError1() {}
func (Error3) UniversalError() {}

当我尝试运行以下代码时：

func main() {
    var err1 = Error1{reason: "Error reason 1"}
    var err2 = Error2{reason: "Error reason 2"}
    var err3 = Error3{reason: "Error reason 3"}
    fmt.Println("n**** Types *****")
    printType(err1)
    printType(err2)
    printType(err3)
}
func printType(param error) {
    switch param.(type) {
    case UniversalError:
        switch param.(type) {
        case CommonError1:
            switch param.(type) {
            case Error1:
                fmt.Println("Error1 found")
            case Error2:
                fmt.Println("Error2 found")
            default:
                fmt.Println("CommonError1 found, but Does not belong to Error1 or Error2")
            }
        default:
            fmt.Println("Error3 Found")
        }
    default:
        fmt.Println("Error belongs to an unidentified type")
    }
}

printType()函数打印以下内容：

**** Types *****
Error1 found
Error2 found
CommonError1 found, but Does not belong to Error1 or Error2

我需要将Error3的类型标识为UniversalError，但不是CommonError1。我怎样才能做到这一点？我的方法有什么问题吗？

Answer 1

您使用UniversalError()方法，但未将其添加到接口"定义"中，因此请执行此操作：

type UniversalError interface {
    CommonError1
    UniversalError()
}

你想Error3成为一个UniversalError.要使Error3成为UniversalError，它必须实现其所有方法：UniversalError()和CommonError1()。因此，您必须添加这两种方法：

func (Error3) CommonError1()   {}
func (Error3) UniversalError() {}

通过这些更改，输出将是(在 Go Playground 上尝试(：

**** Types *****
Error belongs to an unidentified type
Error belongs to an unidentified type
CommonError1 found, but Does not belong to Error1 or Error2

提示： 如果您希望编译时保证某些具体类型实现某个接口，请使用如下所示的空白变量声明：

var _ UniversalError = Error3{}

上面的声明将值 Error3 分配给类型为 UniversalError 的变量。如果Error3不满足UniversalError，则会出现编译时错误。上面的声明不会引入新变量，因为使用了空白标识符，这只是一个编译时检查。

如果要删除Error3.CommonError1()方法：

//func (Error3) CommonError1()   {}
func (Error3) UniversalError() {}

然后你会立即收到一个编译时错误：

./prog.go:49:5: cannot use Error3 literal (type Error3) as type UniversalError in assignment:
    Error3 does not implement UniversalError (missing CommonError1 method)