面试题：Go接口静态类型：基础特性考察

1. 为什么Go的接口被设计为静态类型

编译期检查：静态类型在编译阶段就能发现类型不匹配的错误，使得代码在运行前就确保类型安全性。如果一个类型声称实现了某个接口，但实际方法签名不匹配，编译器会报错，避免运行时才发现这类问题。
稳定性：静态类型使得代码结构更加稳定。因为接口实现一旦确定，不会在运行时随意改变，有利于代码的维护和理解。

2. 这种设计带来的好处

高效性：编译期确定类型，减少了运行时动态类型检查的开销，提高了程序的执行效率。
代码可读性和可维护性：清晰的类型定义使得代码的意图更加明确。开发者可以从接口定义和实现中快速了解代码的功能和使用方式，便于后续的修改和扩展。

3. 简单接口及其实现示例

package main

import "fmt"

// 定义一个接口
type Animal interface {
    Speak() string
}

// Dog结构体实现Animal接口
type Dog struct {
    Name string
}

func (d Dog) Speak() string {
    return fmt.Sprintf("Woof! My name is %s", d.Name)
}

// Cat结构体实现Animal接口
type Cat struct {
    Name string
}

func (c Cat) Speak() string {
    return fmt.Sprintf("Meow! My name is %s", c.Name)
}

func main() {
    var a Animal
    d := Dog{Name: "Buddy"}
    c := Cat{Name: "Whiskers"}

    a = d
    fmt.Println(a.Speak())

    a = c
    fmt.Println(a.Speak())
}

在这个例子中，Animal 接口定义了 Speak 方法。Dog 和 Cat 结构体分别实现了 Animal 接口的 Speak 方法。在 main 函数中，声明了一个 Animal 类型的变量 a，它可以持有实现了 Animal 接口的任何类型，这里先后将 Dog 和 Cat 类型的实例赋值给 a。由于Go接口的静态类型特性，编译器在编译时就能确保 Dog 和 Cat 确实实现了 Animal 接口的 Speak 方法，否则会报错。

星途面试题库

面试题：Go接口静态类型：基础特性考察

知识考点

面试题答案

1. 为什么Go的接口被设计为静态类型

2. 这种设计带来的好处

3. 简单接口及其实现示例