Rémy Oudompheng | 2ece2f5 | 2012-02-18 22:15:42 +0100 | [diff] [blame] | 1 | // run |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 2 | |
| 3 | // Copyright 2009 The Go Authors. All rights reserved. |
| 4 | // Use of this source code is governed by a BSD-style |
| 5 | // license that can be found in the LICENSE file. |
| 6 | |
Rob Pike | 13514d4 | 2012-02-19 17:33:41 +1100 | [diff] [blame] | 7 | // Test interface values containing structures. |
Russ Cox | c7d30bc | 2009-05-12 16:09:47 -0700 | [diff] [blame] | 8 | |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 9 | package main |
| 10 | |
Russ Cox | 918afd94 | 2009-05-08 15:21:41 -0700 | [diff] [blame] | 11 | import "os" |
| 12 | |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 13 | var fail int |
| 14 | |
| 15 | func check(b bool, msg string) { |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 16 | if (!b) { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 17 | println("failure in", msg) |
| 18 | fail++ |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 19 | } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 20 | } |
| 21 | |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 22 | type I1 interface { Get() int; Put(int) } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 23 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 24 | type S1 struct { i int } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 25 | func (p S1) Get() int { return p.i } |
| 26 | func (p S1) Put(i int) { p.i = i } |
| 27 | |
| 28 | func f1() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 29 | s := S1{1} |
| 30 | var i I1 = s |
| 31 | i.Put(2) |
| 32 | check(i.Get() == 1, "f1 i") |
| 33 | check(s.i == 1, "f1 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 34 | } |
| 35 | |
| 36 | func f2() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 37 | s := S1{1} |
| 38 | var i I1 = &s |
| 39 | i.Put(2) |
| 40 | check(i.Get() == 1, "f2 i") |
| 41 | check(s.i == 1, "f2 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 42 | } |
| 43 | |
| 44 | func f3() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 45 | s := &S1{1} |
| 46 | var i I1 = s |
| 47 | i.Put(2) |
| 48 | check(i.Get() == 1, "f3 i") |
| 49 | check(s.i == 1, "f3 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 50 | } |
| 51 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 52 | type S2 struct { i int } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 53 | func (p *S2) Get() int { return p.i } |
| 54 | func (p *S2) Put(i int) { p.i = i } |
| 55 | |
Rob Pike | 36ccbbd | 2009-10-19 11:54:59 -0700 | [diff] [blame] | 56 | // Disallowed by restriction of values going to pointer receivers |
Russ Cox | 4eb7ceba5 | 2009-03-11 16:06:17 -0700 | [diff] [blame] | 57 | // func f4() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 58 | // s := S2{1} |
| 59 | // var i I1 = s |
| 60 | // i.Put(2) |
| 61 | // check(i.Get() == 2, "f4 i") |
| 62 | // check(s.i == 1, "f4 s") |
Russ Cox | 4eb7ceba5 | 2009-03-11 16:06:17 -0700 | [diff] [blame] | 63 | // } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 64 | |
| 65 | func f5() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 66 | s := S2{1} |
| 67 | var i I1 = &s |
| 68 | i.Put(2) |
| 69 | check(i.Get() == 2, "f5 i") |
| 70 | check(s.i == 2, "f5 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 71 | } |
| 72 | |
| 73 | func f6() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 74 | s := &S2{1} |
| 75 | var i I1 = s |
| 76 | i.Put(2) |
| 77 | check(i.Get() == 2, "f6 i") |
| 78 | check(s.i == 2, "f6 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 79 | } |
| 80 | |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 81 | type I2 interface { Get() int64; Put(int64) } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 82 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 83 | type S3 struct { i, j, k, l int64 } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 84 | func (p S3) Get() int64 { return p.l } |
| 85 | func (p S3) Put(i int64) { p.l = i } |
| 86 | |
| 87 | func f7() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 88 | s := S3{1, 2, 3, 4} |
| 89 | var i I2 = s |
| 90 | i.Put(5) |
| 91 | check(i.Get() == 4, "f7 i") |
| 92 | check(s.l == 4, "f7 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | func f8() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 96 | s := S3{1, 2, 3, 4} |
| 97 | var i I2 = &s |
| 98 | i.Put(5) |
| 99 | check(i.Get() == 4, "f8 i") |
| 100 | check(s.l == 4, "f8 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 101 | } |
| 102 | |
| 103 | func f9() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 104 | s := &S3{1, 2, 3, 4} |
| 105 | var i I2 = s |
| 106 | i.Put(5) |
| 107 | check(i.Get() == 4, "f9 i") |
| 108 | check(s.l == 4, "f9 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 109 | } |
| 110 | |
Russ Cox | 839a684 | 2009-01-20 14:40:40 -0800 | [diff] [blame] | 111 | type S4 struct { i, j, k, l int64 } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 112 | func (p *S4) Get() int64 { return p.l } |
| 113 | func (p *S4) Put(i int64) { p.l = i } |
| 114 | |
Rob Pike | 36ccbbd | 2009-10-19 11:54:59 -0700 | [diff] [blame] | 115 | // Disallowed by restriction of values going to pointer receivers |
Russ Cox | 4eb7ceba5 | 2009-03-11 16:06:17 -0700 | [diff] [blame] | 116 | // func f10() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 117 | // s := S4{1, 2, 3, 4} |
| 118 | // var i I2 = s |
| 119 | // i.Put(5) |
| 120 | // check(i.Get() == 5, "f10 i") |
| 121 | // check(s.l == 4, "f10 s") |
Russ Cox | 4eb7ceba5 | 2009-03-11 16:06:17 -0700 | [diff] [blame] | 122 | // } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 123 | |
| 124 | func f11() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 125 | s := S4{1, 2, 3, 4} |
| 126 | var i I2 = &s |
| 127 | i.Put(5) |
| 128 | check(i.Get() == 5, "f11 i") |
| 129 | check(s.l == 5, "f11 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 130 | } |
| 131 | |
| 132 | func f12() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 133 | s := &S4{1, 2, 3, 4} |
| 134 | var i I2 = s |
| 135 | i.Put(5) |
| 136 | check(i.Get() == 5, "f12 i") |
| 137 | check(s.l == 5, "f12 s") |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 138 | } |
| 139 | |
| 140 | func main() { |
Rob Pike | 4f61fc9 | 2010-09-04 10:36:13 +1000 | [diff] [blame] | 141 | f1() |
| 142 | f2() |
| 143 | f3() |
| 144 | // f4() |
| 145 | f5() |
| 146 | f6() |
| 147 | f7() |
| 148 | f8() |
| 149 | f9() |
| 150 | // f10() |
| 151 | f11() |
| 152 | f12() |
Rob Pike | 74dd0ab | 2009-08-17 13:30:22 -0700 | [diff] [blame] | 153 | if fail > 0 { |
| 154 | os.Exit(1) |
| 155 | } |
Ian Lance Taylor | 9414681 | 2009-01-15 10:15:34 -0800 | [diff] [blame] | 156 | } |