blob: 3ab61f3eb5e87fecc23e7ffc92bd380f67ad5fc4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
// Copyright 2011 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.
package main
import (
"./p"
)
type Exported interface {
private()
}
type Implementation struct{}
func (p *Implementation) private() {}
func main() {
// nothing unusual here
var x Exported
x = new(Implementation)
x.private() // main.Implementation.private()
// same here - should be and is legal
var px p.Exported
px = p.X
// this assignment is correctly illegal:
// px.private undefined (cannot refer to unexported field or method private)
// px.private()
// this assignment is correctly illegal:
// *Implementation does not implement p.Exported (missing p.private method)
// px = new(Implementation)
// this assignment is correctly illegal:
// p.Exported does not implement Exported (missing private method)
// x = px
// this assignment unexpectedly compiles and then executes
defer func() {
recover()
}()
x = px.(Exported)
println("should not get this far")
// this is a legitimate call, but because of the previous assignment,
// it invokes the method private in p!
x.private() // p.Implementation.private()
}
|
