mirror of
https://github.com/golang/go
synced 2024-11-22 13:04:44 -07:00
98811f41b8
versions of static checks in receiver1.go R=r https://golang.org/cl/155045
113 lines
1.3 KiB
Go
113 lines
1.3 KiB
Go
// $G $D/$F.go && $L $F.$A && ./$A.out
|
|
|
|
// 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.
|
|
|
|
// Implicit methods for embedded types.
|
|
// Mixed pointer and non-pointer receivers.
|
|
|
|
package main
|
|
|
|
type T int
|
|
var nv, np int
|
|
|
|
func (t T) V() {
|
|
if t != 42 {
|
|
panic(t)
|
|
}
|
|
nv++
|
|
}
|
|
|
|
func (t *T) P() {
|
|
if *t != 42 {
|
|
panic(t, *t)
|
|
}
|
|
np++
|
|
}
|
|
|
|
type V interface { V() }
|
|
type P interface { P(); V() }
|
|
|
|
type S struct {
|
|
T;
|
|
}
|
|
|
|
type SP struct {
|
|
*T;
|
|
}
|
|
|
|
func main() {
|
|
var t T;
|
|
var v V;
|
|
var p P;
|
|
|
|
t = 42;
|
|
|
|
t.P();
|
|
t.V();
|
|
|
|
v = t;
|
|
v.V();
|
|
|
|
p = &t;
|
|
p.P();
|
|
p.V();
|
|
|
|
v = &t;
|
|
v.V();
|
|
|
|
// p = t; // ERROR
|
|
var i interface{} = t;
|
|
if _, ok := i.(P); ok {
|
|
panicln("dynamic i.(P) succeeded incorrectly");
|
|
}
|
|
|
|
// println("--struct--");
|
|
var s S;
|
|
s.T = 42;
|
|
s.P();
|
|
s.V();
|
|
|
|
v = s;
|
|
s.V();
|
|
|
|
p = &s;
|
|
p.P();
|
|
p.V();
|
|
|
|
v = &s;
|
|
v.V();
|
|
|
|
// p = s; // ERROR
|
|
var j interface{} = s;
|
|
if _, ok := j.(P); ok {
|
|
panicln("dynamic j.(P) succeeded incorrectly");
|
|
}
|
|
|
|
// println("--struct pointer--");
|
|
var sp SP;
|
|
sp.T = &t;
|
|
sp.P();
|
|
sp.V();
|
|
|
|
v = sp;
|
|
sp.V();
|
|
|
|
p = &sp;
|
|
p.P();
|
|
p.V();
|
|
|
|
v = &sp;
|
|
v.V();
|
|
|
|
p = sp; // not error
|
|
p.P();
|
|
p.V();
|
|
|
|
if nv != 13 || np != 7 {
|
|
panicln("bad count", nv, np)
|
|
}
|
|
}
|
|
|