接口
接口定义
使用interface关键字定义接口,跟go一样。
默认是模块级别,使用pub变为公共级别。
接口命名跟结构体一样:要求首字母大写,大驼峰风格。建议以er风格结尾,非强制。
pub interface Speaker {
speak() string
}
接口方法
结构体实现接口定义的方法时,除了匹配函数签名外,还需要匹配方法接收者是否可变mut:
module main
//接口要求结构体要实现方法为 pub fn (s MyStruct) write(a string) string
pub interface Foo {
write(string) string
}
//如果加上mut,则表示接口要求 pub fn (mut s MyStruct) write(a string) string
pub interface Bar {
mut:
write(string) string
}
struct MyStruct {}
pub fn (s MyStruct) write(a string) string {
return a
}
fn main() {
s1 := MyStruct{}
fn1(s1)
}
fn fn1(s Foo) {
println(s.write('Foo'))
}
fn fn2(s Bar) { //编译不通过
println(s.write('Foo'))
}
接口字段
接口在其他编程语言中大部分都只能包含方法签名,V语言中接口除了可以包含方法签名,也可以包含字段,虽然包含字段也可以转为方法签名,但是直接约束字段,代码看起来更舒服。
编译时会检查结构体及其组合结构体(子类)是否实现接口字段。
只有字段名,字段类型,是否可变,这三个都跟接口中的字段定义一致,才算实现了这个接口字段。
并且接口字段的命名只能是蛇形命名,而不能使用大写字母。
module main
interface PointInterface {
mut:
x int
y int
// ErrorField int //接口字段不能使用大写字母,只能使用蛇形命名
}
interface Foo {
field struct { //接口字段支持匿名结构体
bar int
}
}
struct Point {
//接口字段实现
mut:
x int
y int
}
fn add(p1 PointInterface, p2 PointInterface) PointInterface {
mut p := Point{}
p.x = p1.x + p2.x
p.y = p1.y + p2.y
return p
}
fn main() {
p1 := Point{
x: 1
y: 2
}
p2 := Point{
x: 3
y: 4
}
p3 := add(p1, p2)
println("$p3")
}
interface Animal {
mut:
name string
}
struct Cat {
name string // mut不匹配,编译不通过
}
fn main() {
mut animals := []Animal{}
animals << Cat{}
}
接口方法
接口也可以像结构体那样有自己的方法,只要结构体实现了接口,就可以调用接口的方法:
struct Cat {
breed string
}
interface Animal {
breed string
}
//接口自己实现的方法,接口方法的默认实现
fn (a Animal) info() string {
return "I'm a $a.breed ${typeof(a).name}"
}
fn new_animal(breed string) Animal {
return &Cat{breed}
}
fn main() {
mut a := new_animal('mimi')
println(a.info())
}
接口组合
接口也像结构体那样支持组合,而且支持多重组合:
module main
pub interface Reader {
read(mut buf []u8) !int
}
pub interface Writer {
write(buf []u8) !int
}
// 接口组合
pub interface ReaderWriter {
Reader
Writer
}
// 接口组合
interface WalkerTalker {
Walker
Talker
}
interface Talker {
mut:
nspeeches int
talk(msg string)
}
interface Walker {
mut:
nsteps int
walk(newx int, newy int)
}
struct Abc {
mut:
x int
y int
phrases []string
nsteps int = 1000 //实现接口中要求的字段
nspeeches int = 1000 //实现接口中要求的字段
}
//实现接口要求的方法
fn (mut s Abc) talk(msg string) {
s.phrases << msg
s.nspeeches++
}
//实现接口要求的方法
fn (mut s Abc) walk(x int, y int) {
s.x = x
s.y = y
s.nsteps++
}
fn main() {
mut wt := WalkerTalker(Abc{
x: 1
y: 1
phrases: ['hi']
})
wt.talk('my name is Wally')
wt.walk(100, 100)
if wt is Abc {
println(wt)
}
}
泛型接口
使用泛型接口可以定义更为通用/泛化的接口。
参考章节:泛型
接口实现
不需要接口实现的关键字,类型无需显示声明所要实现的接口,
鸭子类型:只要结构体实现了接口定义的方法签名,就满足该接口的使用。
module main
struct Dog {}
struct Cat {}
fn (d Dog) speak() string {
return 'woof'
}
fn (c Cat) speak() string {
return 'meow'
}
interface Speaker {
speak() string //普通的接口方法
}
interface Iterator[T] {
next() !T //带错误处理的接口方法,感叹号也是接口方法签名的一部分
}
fn perform(s Speaker) {
println(s.speak())
}
fn main() {
dog := Dog{}
cat := Cat{}
perform(dog) // "woof"
perform(cat) // "meow"
}
0.4.8版本开始,结构体可以有一个可选
的关键字implements,用来明确标记结构体实现了哪些接口:
module main
struct Dog implements Speaker {} //可选的实现接口声明
struct Cat implements Speaker {}
fn (d Dog) speak() string {
return 'woof'
}
fn (c Cat) speak() string {
return 'meow'
}
interface Speaker{
speak() string //普通的接口方法
}
fn perform(s Speaker) {
println(s.speak())
}
fn main() {
dog := Dog{}
cat := Cat{}
perform(dog) // "woof"
perform(cat) // "meow"
}
接口可以作为结构体字段类型使用:
struct Foo {
speaker Speaker //接口类型字段
speakers []Speaker //接口类型数组字段
}
空接口类型
可以定义不包含任何接口方法和字段的空接口类型,表示任何类型。
跟go有点不太一样的是不能直接使用interface{}来表示,必须定义一个空接口类型。
module main
//空接口,表示任何类型
interface Any {}
struct Point {
x int
y int
}
fn test(v Any) Any {
return v
}
fn main() {
p := Point{
x: 1
y: 2
}
println(test(true))
println(test(5))
println(test('abc'))
println(test(p))
}
获取接口变量的具体类型
接口类型使用内置方法type_name()来返回接口变量的具体类型:
module main
pub interface Animal {
speak() string
}
pub struct Cat {}
pub fn (c Cat) speak() string {
return 'miao'
}
pub struct Dog {}
pub fn (d Dog) speak() string {
return 'wang'
}
pub fn say(animal Animal) {
println(typeof(animal).name) // 只会返回接口名字Animal,不会返回实际类型
println(animal.type_name()) // 返回接口变量的实际类型
println(animal.speak())
}
fn main() {
cat := Cat{}
say(cat)
dog := Dog{}
say(dog)
}
接口变量类型判断及匹配
使用is,!is操作符对接口参数的具体类型进行判断,
使用as操作符对接口参数进行类型转换,
使用match对接口类型参数进行匹配,跟match匹配联合类型一样,每一个分支都会自动造型,非常的好用:
module main
struct Dog {
name1 string
}
struct Cat {
name2 string
}
fn (d Dog) speak() string {
return 'wang'
}
fn (c Cat) speak() string {
return 'miao'
}
interface Speaker {
speak() string
}
fn perform(s Speaker) {
if s is Dog { // 通过is操作符,判断接口类型是否是某一个具体类型
println('s is Dog')
}
if s !is Dog { // 通过!is操作符,判断接口类型不是某一个具体类型
println('s is not Dog')
}
// match对接口参数的类型匹配,跟匹配联合类型一样,每一个分支都会自动造型,非常的好用
match s {
Dog { println('s is Dog struct,name is $s.name1') }
Cat { println('s is Cat struct,name is $s.name2') }
else { println('s is: $s.type_name()') }
}
}
fn main() {
dog := Dog{
name1: 'dog'
}
cat := Cat{
name2: 'cat'
}
perform(dog) // "wang"
perform(cat) // "miao"
}
判断类型是否实现接口
module main
struct Dog {
name string
}
struct Foo {
}
fn (d Dog) speak() string {
return 'wang'
}
interface Speaker {
speak() string
}
fn my_fn[T]() {
$if T is Speaker { //使用$if,在泛型函数中判断类型是否实现了某个接口
println('type T implements Speaker interface')
} $else {
println('type T do not implements Speaker interface')
}
}
fn main() {
my_fn[Dog]()
// my_fn[Foo]()
// $if Dog is Speaker {
// println('type Dog implements Speaker interface')
// }
}
判断接口类型是否也实现了其他接口
可以像结构体那样使用is和as来判断接口是否也实现了其他接口,或者转换成其他接口:
interface Widget {
}
interface ResizableWidget {
Widget
resize(x int, y int) int
}
// 实现Widget接口, 但没有实现ResizableWidget接口
struct WidgetA {
}
// 实现Widget和ResizableWidget接口
struct WidgetB {
}
fn (w WidgetB) resize(x int, y int) int {
return x * y
}
fn draw(w Widget) { //只有参数是接口类型参数才可以使用is进行判断
// w.resize(10, 20) // 此时调用resize方法并不正确,因为并不是所有的w参数变量都实现了ResizableWidget接口
if w is ResizableWidget { //判断w接口变量是否也实现了ResizableWidget接口
assert w is WidgetB
rw := w as ResizableWidget //把w变量从Widget接口变量转换为ResizableWidget接口变量
assert rw is WidgetB
//接口类型转换以后就可以调用新接口的方法
println(rw.resize(10, 20))
} else {
assert w is WidgetA
}
}
fn main() {
draw(WidgetA{})
draw(WidgetB{})
}
最后更新于