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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
// run -gcflags=-G=3
// Copyright 2021 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 "fmt"
type value[T any] struct {
val T
}
func get[T2 any](v *value[T2]) T2 {
return v.val
}
func set[T any](v *value[T], val T) {
v.val = val
}
func (v *value[T2]) set(val T2) {
v.val = val
}
func (v *value[T2]) get() T2 {
return v.val
}
func main() {
var v1 value[int]
set(&v1, 1)
if got, want := get(&v1), 1; got != want {
panic(fmt.Sprintf("get() == %d, want %d", got, want))
}
v1.set(2)
if got, want := v1.get(), 2; got != want {
panic(fmt.Sprintf("get() == %d, want %d", got, want))
}
v1p := new(value[int])
set(v1p, 3)
if got, want := get(v1p), 3; got != want {
panic(fmt.Sprintf("get() == %d, want %d", got, want))
}
v1p.set(4)
if got, want := v1p.get(), 4; got != want {
panic(fmt.Sprintf("get() == %d, want %d", got, want))
}
var v2 value[string]
set(&v2, "a")
if got, want := get(&v2), "a"; got != want {
panic(fmt.Sprintf("get() == %q, want %q", got, want))
}
v2.set("b")
if got, want := get(&v2), "b"; got != want {
panic(fmt.Sprintf("get() == %q, want %q", got, want))
}
v2p := new(value[string])
set(v2p, "c")
if got, want := get(v2p), "c"; got != want {
panic(fmt.Sprintf("get() == %d, want %d", got, want))
}
v2p.set("d")
if got, want := v2p.get(), "d"; got != want {
panic(fmt.Sprintf("get() == %d, want %d", got, want))
}
}
|
