mirror of
https://github.com/golang/go
synced 2024-11-14 08:00:22 -07:00
4f61fc96b2
The ken directory is untouched so we have some examples with explicit semis. R=gri CC=golang-dev https://golang.org/cl/2157041
157 lines
2.5 KiB
Go
157 lines
2.5 KiB
Go
// $G $D/$F.go && $L $F.$A && ./$A.out || echo BUG interface6
|
|
|
|
// Copyright 2009 The Go Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
// Interface values containing structures.
|
|
|
|
package main
|
|
|
|
import "os"
|
|
|
|
var fail int
|
|
|
|
func check(b bool, msg string) {
|
|
if (!b) {
|
|
println("failure in", msg)
|
|
fail++
|
|
}
|
|
}
|
|
|
|
type I1 interface { Get() int; Put(int) }
|
|
|
|
type S1 struct { i int }
|
|
func (p S1) Get() int { return p.i }
|
|
func (p S1) Put(i int) { p.i = i }
|
|
|
|
func f1() {
|
|
s := S1{1}
|
|
var i I1 = s
|
|
i.Put(2)
|
|
check(i.Get() == 1, "f1 i")
|
|
check(s.i == 1, "f1 s")
|
|
}
|
|
|
|
func f2() {
|
|
s := S1{1}
|
|
var i I1 = &s
|
|
i.Put(2)
|
|
check(i.Get() == 1, "f2 i")
|
|
check(s.i == 1, "f2 s")
|
|
}
|
|
|
|
func f3() {
|
|
s := &S1{1}
|
|
var i I1 = s
|
|
i.Put(2)
|
|
check(i.Get() == 1, "f3 i")
|
|
check(s.i == 1, "f3 s")
|
|
}
|
|
|
|
type S2 struct { i int }
|
|
func (p *S2) Get() int { return p.i }
|
|
func (p *S2) Put(i int) { p.i = i }
|
|
|
|
// Disallowed by restriction of values going to pointer receivers
|
|
// func f4() {
|
|
// s := S2{1}
|
|
// var i I1 = s
|
|
// i.Put(2)
|
|
// check(i.Get() == 2, "f4 i")
|
|
// check(s.i == 1, "f4 s")
|
|
// }
|
|
|
|
func f5() {
|
|
s := S2{1}
|
|
var i I1 = &s
|
|
i.Put(2)
|
|
check(i.Get() == 2, "f5 i")
|
|
check(s.i == 2, "f5 s")
|
|
}
|
|
|
|
func f6() {
|
|
s := &S2{1}
|
|
var i I1 = s
|
|
i.Put(2)
|
|
check(i.Get() == 2, "f6 i")
|
|
check(s.i == 2, "f6 s")
|
|
}
|
|
|
|
type I2 interface { Get() int64; Put(int64) }
|
|
|
|
type S3 struct { i, j, k, l int64 }
|
|
func (p S3) Get() int64 { return p.l }
|
|
func (p S3) Put(i int64) { p.l = i }
|
|
|
|
func f7() {
|
|
s := S3{1, 2, 3, 4}
|
|
var i I2 = s
|
|
i.Put(5)
|
|
check(i.Get() == 4, "f7 i")
|
|
check(s.l == 4, "f7 s")
|
|
}
|
|
|
|
func f8() {
|
|
s := S3{1, 2, 3, 4}
|
|
var i I2 = &s
|
|
i.Put(5)
|
|
check(i.Get() == 4, "f8 i")
|
|
check(s.l == 4, "f8 s")
|
|
}
|
|
|
|
func f9() {
|
|
s := &S3{1, 2, 3, 4}
|
|
var i I2 = s
|
|
i.Put(5)
|
|
check(i.Get() == 4, "f9 i")
|
|
check(s.l == 4, "f9 s")
|
|
}
|
|
|
|
type S4 struct { i, j, k, l int64 }
|
|
func (p *S4) Get() int64 { return p.l }
|
|
func (p *S4) Put(i int64) { p.l = i }
|
|
|
|
// Disallowed by restriction of values going to pointer receivers
|
|
// func f10() {
|
|
// s := S4{1, 2, 3, 4}
|
|
// var i I2 = s
|
|
// i.Put(5)
|
|
// check(i.Get() == 5, "f10 i")
|
|
// check(s.l == 4, "f10 s")
|
|
// }
|
|
|
|
func f11() {
|
|
s := S4{1, 2, 3, 4}
|
|
var i I2 = &s
|
|
i.Put(5)
|
|
check(i.Get() == 5, "f11 i")
|
|
check(s.l == 5, "f11 s")
|
|
}
|
|
|
|
func f12() {
|
|
s := &S4{1, 2, 3, 4}
|
|
var i I2 = s
|
|
i.Put(5)
|
|
check(i.Get() == 5, "f12 i")
|
|
check(s.l == 5, "f12 s")
|
|
}
|
|
|
|
func main() {
|
|
f1()
|
|
f2()
|
|
f3()
|
|
// f4()
|
|
f5()
|
|
f6()
|
|
f7()
|
|
f8()
|
|
f9()
|
|
// f10()
|
|
f11()
|
|
f12()
|
|
if fail > 0 {
|
|
os.Exit(1)
|
|
}
|
|
}
|