1 // Copyright 2009 The Go Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style
3 // license that can be found in the LICENSE file.
19 "reflect/internal/example1"
20 "reflect/internal/example2"
34 func TestBool(t *testing.T) {
37 t.Fatal("ValueOf(true).Bool() = false")
54 func assert(t *testing.T, s, want string) {
56 t.Errorf("have %#q want %#q", s, want)
60 var typeTests = []pair{
61 {struct{ x int }{}, "int"},
62 {struct{ x int8 }{}, "int8"},
63 {struct{ x int16 }{}, "int16"},
64 {struct{ x int32 }{}, "int32"},
65 {struct{ x int64 }{}, "int64"},
66 {struct{ x uint }{}, "uint"},
67 {struct{ x uint8 }{}, "uint8"},
68 {struct{ x uint16 }{}, "uint16"},
69 {struct{ x uint32 }{}, "uint32"},
70 {struct{ x uint64 }{}, "uint64"},
71 {struct{ x float32 }{}, "float32"},
72 {struct{ x float64 }{}, "float64"},
73 {struct{ x int8 }{}, "int8"},
74 {struct{ x (**int8) }{}, "**int8"},
75 {struct{ x (**integer) }{}, "**reflect_test.integer"},
76 {struct{ x ([32]int32) }{}, "[32]int32"},
77 {struct{ x ([]int8) }{}, "[]int8"},
78 {struct{ x (map[string]int32) }{}, "map[string]int32"},
79 {struct{ x (chan<- string) }{}, "chan<- string"},
80 {struct{ x (chan<- chan string) }{}, "chan<- chan string"},
81 {struct{ x (chan<- <-chan string) }{}, "chan<- <-chan string"},
82 {struct{ x (<-chan <-chan string) }{}, "<-chan <-chan string"},
83 {struct{ x (chan (<-chan string)) }{}, "chan (<-chan string)"},
90 "struct { c chan *int32; d float32 }",
92 {struct{ x (func(a int8, b int32)) }{}, "func(int8, int32)"},
95 c func(chan *integer, *int8)
98 "struct { c func(chan *reflect_test.integer, *int8) }",
106 "struct { a int8; b int32 }",
115 "struct { a int8; b int8; c int32 }",
125 "struct { a int8; b int8; c int8; d int32 }",
136 "struct { a int8; b int8; c int8; d int8; e int32 }",
148 "struct { a int8; b int8; c int8; d int8; e int8; f int32 }",
152 a int8 `reflect:"hi there"`
155 `struct { a int8 "reflect:\"hi there\"" }`,
159 a int8 `reflect:"hi \x00there\t\n\"\\"`
162 `struct { a int8 "reflect:\"hi \\x00there\\t\\n\\\"\\\\\"" }`,
169 "struct { f func(...int) }",
173 a(func(func(int) int) func(func(int)) int)
177 "interface { reflect_test.a(func(func(int) int) func(func(int)) int); reflect_test.b() }",
185 "struct { int32; int64 }",
189 var valueTests = []pair{
200 {new(float32), "256.25"},
201 {new(float64), "512.125"},
202 {new(complex64), "532.125+10i"},
203 {new(complex128), "564.25+1i"},
204 {new(string), "stringy cheese"},
206 {new(*int8), "*int8(0)"},
207 {new(**int8), "**int8(0)"},
208 {new([5]int32), "[5]int32{0, 0, 0, 0, 0}"},
209 {new(**integer), "**reflect_test.integer(0)"},
210 {new(map[string]int32), "map[string]int32{<can't iterate on maps>}"},
211 {new(chan<- string), "chan<- string"},
212 {new(func(a int8, b int32)), "func(int8, int32)(0)"},
217 "struct { c chan *int32; d float32 }{chan *int32, 0}",
219 {new(struct{ c func(chan *integer, *int8) }),
220 "struct { c func(chan *reflect_test.integer, *int8) }{func(chan *reflect_test.integer, *int8)(0)}",
226 "struct { a int8; b int32 }{0, 0}",
233 "struct { a int8; b int8; c int32 }{0, 0, 0}",
237 func testType(t *testing.T, i int, typ Type, want string) {
240 t.Errorf("#%d: have %#q, want %#q", i, s, want)
244 func TestTypes(t *testing.T) {
245 for i, tt := range typeTests {
246 testType(t, i, ValueOf(tt.i).Field(0).Type(), tt.s)
250 func TestSet(t *testing.T) {
251 for i, tt := range valueTests {
280 v.SetComplex(532.125 + 10i)
282 v.SetComplex(564.25 + 1i)
284 v.SetString("stringy cheese")
288 s := valueToString(v)
290 t.Errorf("#%d: have %#q, want %#q", i, s, tt.s)
295 func TestSetValue(t *testing.T) {
296 for i, tt := range valueTests {
297 v := ValueOf(tt.i).Elem()
300 v.Set(ValueOf(int(132)))
302 v.Set(ValueOf(int8(8)))
304 v.Set(ValueOf(int16(16)))
306 v.Set(ValueOf(int32(32)))
308 v.Set(ValueOf(int64(64)))
310 v.Set(ValueOf(uint(132)))
312 v.Set(ValueOf(uint8(8)))
314 v.Set(ValueOf(uint16(16)))
316 v.Set(ValueOf(uint32(32)))
318 v.Set(ValueOf(uint64(64)))
320 v.Set(ValueOf(float32(256.25)))
322 v.Set(ValueOf(512.125))
324 v.Set(ValueOf(complex64(532.125 + 10i)))
326 v.Set(ValueOf(complex128(564.25 + 1i)))
328 v.Set(ValueOf("stringy cheese"))
332 s := valueToString(v)
334 t.Errorf("#%d: have %#q, want %#q", i, s, tt.s)
339 func TestMapIterSet(t *testing.T) {
340 m := make(map[string]interface{}, len(valueTests))
341 for _, tt := range valueTests {
346 k := New(v.Type().Key()).Elem()
347 e := New(v.Type().Elem()).Elem()
353 want := m[k.String()]
356 t.Errorf("%q: want (%T) %v, got (%T) %v", k.String(), want, want, got, got)
358 if setkey, key := valueToString(k), valueToString(iter.Key()); setkey != key {
359 t.Errorf("MapIter.Key() = %q, MapIter.SetKey() = %q", key, setkey)
361 if setval, val := valueToString(e), valueToString(iter.Value()); setval != val {
362 t.Errorf("MapIter.Value() = %q, MapIter.SetValue() = %q", val, setval)
366 got := int(testing.AllocsPerRun(10, func() {
373 // Making a *MapIter allocates. This should be the only allocation.
375 t.Errorf("wanted 1 alloc, got %d", got)
379 func TestCanSetField(t *testing.T) {
380 type embed struct{ x, X int }
381 type Embed struct{ x, X int }
399 type testCase struct {
400 // -1 means Addr().Elem() of current value
411 {[]int{0, -1}, false},
412 {[]int{0, 0}, false},
413 {[]int{0, 0, -1}, false},
414 {[]int{0, -1, 0}, false},
415 {[]int{0, -1, 0, -1}, false},
417 {[]int{0, 1, -1}, true},
418 {[]int{0, -1, 1}, true},
419 {[]int{0, -1, 1, -1}, true},
421 {[]int{1, -1}, false},
423 {[]int{2, -1}, true},
426 val: ValueOf(&S2{embed: &embed{}}),
429 {[]int{0, -1}, false},
430 {[]int{0, 0}, false},
431 {[]int{0, 0, -1}, false},
432 {[]int{0, -1, 0}, false},
433 {[]int{0, -1, 0, -1}, false},
435 {[]int{0, 1, -1}, true},
436 {[]int{0, -1, 1}, true},
437 {[]int{0, -1, 1, -1}, true},
445 {[]int{0, -1}, true},
446 {[]int{0, 0}, false},
447 {[]int{0, 0, -1}, false},
448 {[]int{0, -1, 0}, false},
449 {[]int{0, -1, 0, -1}, false},
451 {[]int{0, 1, -1}, true},
452 {[]int{0, -1, 1}, true},
453 {[]int{0, -1, 1, -1}, true},
458 val: ValueOf(&S4{Embed: &Embed{}}),
461 {[]int{0, -1}, true},
462 {[]int{0, 0}, false},
463 {[]int{0, 0, -1}, false},
464 {[]int{0, -1, 0}, false},
465 {[]int{0, -1, 0, -1}, false},
467 {[]int{0, 1, -1}, true},
468 {[]int{0, -1, 1}, true},
469 {[]int{0, -1, 1, -1}, true},
475 for _, tt := range tests {
476 t.Run(tt.val.Type().Name(), func(t *testing.T) {
477 for _, tc := range tt.cases {
479 for _, i := range tc.index {
489 if got := f.CanSet(); got != tc.canSet {
490 t.Errorf("CanSet() = %v, want %v", got, tc.canSet)
499 var valueToStringTests = []pair{
504 {T{123, 456.75, "hello", &_i}, "reflect_test.T{123, 456.75, hello, *int(&7)}"},
505 {new(chan *T), "*chan *reflect_test.T(&chan *reflect_test.T)"},
506 {[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}"},
507 {&[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "*[10]int(&[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10})"},
508 {[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}"},
509 {&[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, "*[]int(&[]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10})"},
512 func TestValueToString(t *testing.T) {
513 for i, test := range valueToStringTests {
514 s := valueToString(ValueOf(test.i))
516 t.Errorf("#%d: have %#q, want %#q", i, s, test.s)
521 func TestArrayElemSet(t *testing.T) {
522 v := ValueOf(&[10]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}).Elem()
523 v.Index(4).SetInt(123)
524 s := valueToString(v)
525 const want = "[10]int{1, 2, 3, 4, 123, 6, 7, 8, 9, 10}"
527 t.Errorf("[10]int: have %#q want %#q", s, want)
530 v = ValueOf([]int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10})
531 v.Index(4).SetInt(123)
533 const want1 = "[]int{1, 2, 3, 4, 123, 6, 7, 8, 9, 10}"
535 t.Errorf("[]int: have %#q want %#q", s, want1)
539 func TestPtrPointTo(t *testing.T) {
543 vi := ValueOf(&i).Elem()
544 vip.Elem().Set(vi.Addr())
546 t.Errorf("got %d, want 1234", *ip)
550 vp := ValueOf(&ip).Elem()
551 vp.Set(Zero(vp.Type()))
553 t.Errorf("got non-nil (%p), want nil", ip)
557 func TestPtrSetNil(t *testing.T) {
561 vip.Elem().Set(Zero(vip.Elem().Type()))
563 t.Errorf("got non-nil (%d), want nil", *ip)
567 func TestMapSetNil(t *testing.T) {
568 m := make(map[string]int)
570 vm.Elem().Set(Zero(vm.Elem().Type()))
572 t.Errorf("got non-nil (%p), want nil", m)
576 func TestAll(t *testing.T) {
577 testType(t, 1, TypeOf((int8)(0)), "int8")
578 testType(t, 2, TypeOf((*int8)(nil)).Elem(), "int8")
580 typ := TypeOf((*struct {
584 testType(t, 3, typ, "*struct { c chan *int32; d float32 }")
586 testType(t, 4, etyp, "struct { c chan *int32; d float32 }")
589 testType(t, 5, f.Type, "chan *int32")
591 f, present := styp.FieldByName("d")
593 t.Errorf("FieldByName says present field is absent")
595 testType(t, 6, f.Type, "float32")
597 f, present = styp.FieldByName("absent")
599 t.Errorf("FieldByName says absent field is present")
602 typ = TypeOf([32]int32{})
603 testType(t, 7, typ, "[32]int32")
604 testType(t, 8, typ.Elem(), "int32")
606 typ = TypeOf((map[string]*int32)(nil))
607 testType(t, 9, typ, "map[string]*int32")
609 testType(t, 10, mtyp.Key(), "string")
610 testType(t, 11, mtyp.Elem(), "*int32")
612 typ = TypeOf((chan<- string)(nil))
613 testType(t, 12, typ, "chan<- string")
614 testType(t, 13, typ.Elem(), "string")
616 // make sure tag strings are not part of element type
617 typ = TypeOf(struct {
618 d []uint32 `reflect:"TAG"`
620 testType(t, 14, typ, "[]uint32")
623 func TestInterfaceGet(t *testing.T) {
628 v1 := ValueOf(&inter)
629 v2 := v1.Elem().Field(0)
630 assert(t, v2.Type().String(), "interface {}")
633 assert(t, v3.Type().String(), "float64")
636 func TestInterfaceValue(t *testing.T) {
641 v1 := ValueOf(&inter)
642 v2 := v1.Elem().Field(0)
643 assert(t, v2.Type().String(), "interface {}")
645 assert(t, v3.Type().String(), "float64")
648 if _, ok := i3.(float64); !ok {
649 t.Error("v2.Interface() did not return float64, got ", TypeOf(i3))
653 func TestFunctionValue(t *testing.T) {
654 var x interface{} = func() {}
656 if fmt.Sprint(v.Interface()) != fmt.Sprint(x) {
657 t.Fatalf("TestFunction returned wrong pointer")
659 assert(t, v.Type().String(), "func()")
662 var appendTests = []struct {
665 {make([]int, 2, 4), []int{22}},
666 {make([]int, 2, 4), []int{22, 33, 44}},
669 func sameInts(x, y []int) bool {
670 if len(x) != len(y) {
673 for i, xx := range x {
681 func TestAppend(t *testing.T) {
682 for i, test := range appendTests {
683 origLen, extraLen := len(test.orig), len(test.extra)
684 want := append(test.orig, test.extra...)
685 // Convert extra from []int to []Value.
686 e0 := make([]Value, len(test.extra))
687 for j, e := range test.extra {
690 // Convert extra from []int to *SliceValue.
691 e1 := ValueOf(test.extra)
693 a0 := ValueOf(test.orig)
694 have0 := Append(a0, e0...).Interface().([]int)
695 if !sameInts(have0, want) {
696 t.Errorf("Append #%d: have %v, want %v (%p %p)", i, have0, want, test.orig, have0)
698 // Check that the orig and extra slices were not modified.
699 if len(test.orig) != origLen {
700 t.Errorf("Append #%d origLen: have %v, want %v", i, len(test.orig), origLen)
702 if len(test.extra) != extraLen {
703 t.Errorf("Append #%d extraLen: have %v, want %v", i, len(test.extra), extraLen)
706 a1 := ValueOf(test.orig)
707 have1 := AppendSlice(a1, e1).Interface().([]int)
708 if !sameInts(have1, want) {
709 t.Errorf("AppendSlice #%d: have %v, want %v", i, have1, want)
711 // Check that the orig and extra slices were not modified.
712 if len(test.orig) != origLen {
713 t.Errorf("AppendSlice #%d origLen: have %v, want %v", i, len(test.orig), origLen)
715 if len(test.extra) != extraLen {
716 t.Errorf("AppendSlice #%d extraLen: have %v, want %v", i, len(test.extra), extraLen)
721 func TestCopy(t *testing.T) {
722 a := []int{1, 2, 3, 4, 10, 9, 8, 7}
723 b := []int{11, 22, 33, 44, 1010, 99, 88, 77, 66, 55, 44}
724 c := []int{11, 22, 33, 44, 1010, 99, 88, 77, 66, 55, 44}
725 for i := 0; i < len(b); i++ {
727 t.Fatalf("b != c before test")
732 aa := ValueOf(&a1).Elem()
733 ab := ValueOf(&b1).Elem()
734 for tocopy := 1; tocopy <= 7; tocopy++ {
738 for i := 0; i < tocopy; i++ {
740 t.Errorf("(i) tocopy=%d a[%d]=%d, b[%d]=%d",
741 tocopy, i, a[i], i, b[i])
744 for i := tocopy; i < len(b); i++ {
747 t.Errorf("(ii) tocopy=%d a[%d]=%d, b[%d]=%d, c[%d]=%d",
748 tocopy, i, a[i], i, b[i], i, c[i])
750 t.Errorf("(iii) tocopy=%d b[%d]=%d, c[%d]=%d",
751 tocopy, i, b[i], i, c[i])
754 t.Logf("tocopy=%d elem %d is okay\n", tocopy, i)
760 func TestCopyString(t *testing.T) {
761 t.Run("Slice", func(t *testing.T) {
762 s := bytes.Repeat([]byte{'_'}, 8)
765 n := Copy(val, ValueOf(""))
766 if expecting := []byte("________"); n != 0 || !bytes.Equal(s, expecting) {
767 t.Errorf("got n = %d, s = %s, expecting n = 0, s = %s", n, s, expecting)
770 n = Copy(val, ValueOf("hello"))
771 if expecting := []byte("hello___"); n != 5 || !bytes.Equal(s, expecting) {
772 t.Errorf("got n = %d, s = %s, expecting n = 5, s = %s", n, s, expecting)
775 n = Copy(val, ValueOf("helloworld"))
776 if expecting := []byte("hellowor"); n != 8 || !bytes.Equal(s, expecting) {
777 t.Errorf("got n = %d, s = %s, expecting n = 8, s = %s", n, s, expecting)
780 t.Run("Array", func(t *testing.T) {
781 s := [...]byte{'_', '_', '_', '_', '_', '_', '_', '_'}
782 val := ValueOf(&s).Elem()
784 n := Copy(val, ValueOf(""))
785 if expecting := []byte("________"); n != 0 || !bytes.Equal(s[:], expecting) {
786 t.Errorf("got n = %d, s = %s, expecting n = 0, s = %s", n, s[:], expecting)
789 n = Copy(val, ValueOf("hello"))
790 if expecting := []byte("hello___"); n != 5 || !bytes.Equal(s[:], expecting) {
791 t.Errorf("got n = %d, s = %s, expecting n = 5, s = %s", n, s[:], expecting)
794 n = Copy(val, ValueOf("helloworld"))
795 if expecting := []byte("hellowor"); n != 8 || !bytes.Equal(s[:], expecting) {
796 t.Errorf("got n = %d, s = %s, expecting n = 8, s = %s", n, s[:], expecting)
801 func TestCopyArray(t *testing.T) {
802 a := [8]int{1, 2, 3, 4, 10, 9, 8, 7}
803 b := [11]int{11, 22, 33, 44, 1010, 99, 88, 77, 66, 55, 44}
805 aa := ValueOf(&a).Elem()
806 ab := ValueOf(&b).Elem()
808 for i := 0; i < len(a); i++ {
810 t.Errorf("(i) a[%d]=%d, b[%d]=%d", i, a[i], i, b[i])
813 for i := len(a); i < len(b); i++ {
815 t.Errorf("(ii) b[%d]=%d, c[%d]=%d", i, b[i], i, c[i])
817 t.Logf("elem %d is okay\n", i)
822 func TestBigUnnamedStruct(t *testing.T) {
823 b := struct{ a, b, c, d int64 }{1, 2, 3, 4}
825 b1 := v.Interface().(struct {
828 if b1.a != b.a || b1.b != b.b || b1.c != b.c || b1.d != b.d {
829 t.Errorf("ValueOf(%v).Interface().(*Big) = %v", b, b1)
837 func TestBigStruct(t *testing.T) {
838 b := big{1, 2, 3, 4, 5}
840 b1 := v.Interface().(big)
841 if b1.a != b.a || b1.b != b.b || b1.c != b.c || b1.d != b.d || b1.e != b.e {
842 t.Errorf("ValueOf(%v).Interface().(big) = %v", b, b1)
853 type DeepEqualTest struct {
858 // Simple functions for DeepEqual tests.
862 fn3 = func() { fn1() } // Not nil.
868 type Loopy interface{}
870 var loop1, loop2 Loop
871 var loopy1, loopy2 Loopy
872 var cycleMap1, cycleMap2, cycleMap3 map[string]interface{}
874 type structWithSelfPtr struct {
886 cycleMap1 = map[string]interface{}{}
887 cycleMap1["cycle"] = cycleMap1
888 cycleMap2 = map[string]interface{}{}
889 cycleMap2["cycle"] = cycleMap2
890 cycleMap3 = map[string]interface{}{}
891 cycleMap3["different"] = cycleMap3
894 var deepEqualTests = []DeepEqualTest{
898 {int32(1), int32(1), true},
900 {float32(0.5), float32(0.5), true},
901 {"hello", "hello", true},
902 {make([]int, 10), make([]int, 10), true},
903 {&[3]int{1, 2, 3}, &[3]int{1, 2, 3}, true},
904 {Basic{1, 0.5}, Basic{1, 0.5}, true},
905 {error(nil), error(nil), true},
906 {map[int]string{1: "one", 2: "two"}, map[int]string{2: "two", 1: "one"}, true},
911 {int32(1), int32(2), false},
913 {float32(0.5), float32(0.6), false},
914 {"hello", "hey", false},
915 {make([]int, 10), make([]int, 11), false},
916 {&[3]int{1, 2, 3}, &[3]int{1, 2, 4}, false},
917 {Basic{1, 0.5}, Basic{1, 0.6}, false},
918 {Basic{1, 0}, Basic{2, 0}, false},
919 {map[int]string{1: "one", 3: "two"}, map[int]string{2: "two", 1: "one"}, false},
920 {map[int]string{1: "one", 2: "txo"}, map[int]string{2: "two", 1: "one"}, false},
921 {map[int]string{1: "one"}, map[int]string{2: "two", 1: "one"}, false},
922 {map[int]string{2: "two", 1: "one"}, map[int]string{1: "one"}, false},
927 {[][]int{{1}}, [][]int{{2}}, false},
928 {math.NaN(), math.NaN(), false},
929 {&[1]float64{math.NaN()}, &[1]float64{math.NaN()}, false},
930 {&[1]float64{math.NaN()}, self{}, true},
931 {[]float64{math.NaN()}, []float64{math.NaN()}, false},
932 {[]float64{math.NaN()}, self{}, true},
933 {map[float64]float64{math.NaN(): 1}, map[float64]float64{1: 2}, false},
934 {map[float64]float64{math.NaN(): 1}, self{}, true},
935 {&structWithSelfPtr{p: &structWithSelfPtr{s: "a"}}, &structWithSelfPtr{p: &structWithSelfPtr{s: "b"}}, false},
937 // Nil vs empty: not the same.
938 {[]int{}, []int(nil), false},
939 {[]int{}, []int{}, true},
940 {[]int(nil), []int(nil), true},
941 {map[int]int{}, map[int]int(nil), false},
942 {map[int]int{}, map[int]int{}, true},
943 {map[int]int(nil), map[int]int(nil), true},
947 {int32(1), int64(1), false},
948 {0.5, "hello", false},
949 {[]int{1, 2, 3}, [3]int{1, 2, 3}, false},
950 {&[3]interface{}{1, 2, 4}, &[3]interface{}{1, 2, "s"}, false},
951 {Basic{1, 0.5}, NotBasic{1, 0.5}, false},
952 {map[uint]string{1: "one", 2: "two"}, map[int]string{2: "two", 1: "one"}, false},
955 {&loop1, &loop1, true},
956 {&loop1, &loop2, true},
957 {&loopy1, &loopy1, true},
958 {&loopy1, &loopy2, true},
959 {&cycleMap1, &cycleMap2, true},
960 {&cycleMap1, &cycleMap3, false},
963 func TestDeepEqual(t *testing.T) {
964 for _, test := range deepEqualTests {
965 if test.b == (self{}) {
968 if r := DeepEqual(test.a, test.b); r != test.eq {
969 t.Errorf("DeepEqual(%#v, %#v) = %v, want %v", test.a, test.b, r, test.eq)
974 func TestTypeOf(t *testing.T) {
975 // Special case for nil
976 if typ := TypeOf(nil); typ != nil {
977 t.Errorf("expected nil type for nil value; got %v", typ)
979 for _, test := range deepEqualTests {
984 typ := TypeOf(test.a)
986 t.Errorf("TypeOf(%v) = %v, but ValueOf(%v).Type() = %v", test.a, typ, test.a, v.Type())
991 type Recursive struct {
996 func TestDeepEqualRecursiveStruct(t *testing.T) {
997 a, b := new(Recursive), new(Recursive)
998 *a = Recursive{12, a}
999 *b = Recursive{12, b}
1000 if !DeepEqual(a, b) {
1001 t.Error("DeepEqual(recursive same) = false, want true")
1005 type _Complex struct {
1009 d map[float64]float64
1012 func TestDeepEqualComplexStruct(t *testing.T) {
1013 m := make(map[float64]float64)
1014 stra, strb := "hello", "hello"
1015 a, b := new(_Complex), new(_Complex)
1016 *a = _Complex{5, [3]*_Complex{a, b, a}, &stra, m}
1017 *b = _Complex{5, [3]*_Complex{b, a, a}, &strb, m}
1018 if !DeepEqual(a, b) {
1019 t.Error("DeepEqual(complex same) = false, want true")
1023 func TestDeepEqualComplexStructInequality(t *testing.T) {
1024 m := make(map[float64]float64)
1025 stra, strb := "hello", "helloo" // Difference is here
1026 a, b := new(_Complex), new(_Complex)
1027 *a = _Complex{5, [3]*_Complex{a, b, a}, &stra, m}
1028 *b = _Complex{5, [3]*_Complex{b, a, a}, &strb, m}
1029 if DeepEqual(a, b) {
1030 t.Error("DeepEqual(complex different) = true, want false")
1034 type UnexpT struct {
1038 func TestDeepEqualUnexportedMap(t *testing.T) {
1039 // Check that DeepEqual can look at unexported fields.
1040 x1 := UnexpT{map[int]int{1: 2}}
1041 x2 := UnexpT{map[int]int{1: 2}}
1042 if !DeepEqual(&x1, &x2) {
1043 t.Error("DeepEqual(x1, x2) = false, want true")
1046 y1 := UnexpT{map[int]int{2: 3}}
1047 if DeepEqual(&x1, &y1) {
1048 t.Error("DeepEqual(x1, y1) = true, want false")
1052 func check2ndField(x interface{}, offs uintptr, t *testing.T) {
1054 f := s.Type().Field(1)
1055 if f.Offset != offs {
1056 t.Error("mismatched offsets in structure alignment:", f.Offset, offs)
1060 // Check that structure alignment & offsets viewed through reflect agree with those
1061 // from the compiler itself.
1062 func TestAlignment(t *testing.T) {
1063 type T1inner struct {
1070 type T2inner struct {
1078 x := T1{T1inner{2}, 17}
1079 check2ndField(x, uintptr(unsafe.Pointer(&x.f))-uintptr(unsafe.Pointer(&x)), t)
1081 x1 := T2{T2inner{2, 3}, 17}
1082 check2ndField(x1, uintptr(unsafe.Pointer(&x1.f))-uintptr(unsafe.Pointer(&x1)), t)
1085 func Nil(a interface{}, t *testing.T) {
1086 n := ValueOf(a).Field(0)
1088 t.Errorf("%v should be nil", a)
1092 func NotNil(a interface{}, t *testing.T) {
1093 n := ValueOf(a).Field(0)
1095 t.Errorf("value of type %v should not be nil", ValueOf(a).Type().String())
1099 func TestIsNil(t *testing.T) {
1100 // These implement IsNil.
1101 // Wrap in extra struct to hide interface type.
1102 doNil := []interface{}{
1104 struct{ x interface{} }{},
1105 struct{ x map[string]int }{},
1106 struct{ x func() bool }{},
1107 struct{ x chan int }{},
1108 struct{ x []string }{},
1109 struct{ x unsafe.Pointer }{},
1111 for _, ts := range doNil {
1112 ty := TypeOf(ts).Field(0).Type
1114 v.IsNil() // panics if not okay to call
1117 // Check the implementations
1129 si.x = make([]int, 10)
1136 ci.x = make(chan int)
1143 mi.x = make(map[int]int)
1154 x func(t *testing.T)
1161 func TestIsZero(t *testing.T) {
1162 for i, tt := range []struct {
1191 {float32(1.2), false},
1193 {float64(1.2), false},
1194 {math.Copysign(0, -1), false},
1195 {complex64(0), true},
1196 {complex64(1.2), false},
1197 {complex128(0), true},
1198 {complex128(1.2), false},
1199 {complex(math.Copysign(0, -1), 0), false},
1200 {complex(0, math.Copysign(0, -1)), false},
1201 {complex(math.Copysign(0, -1), math.Copysign(0, -1)), false},
1203 {uintptr(128), false},
1205 {Zero(TypeOf([5]string{})).Interface(), true},
1206 {[5]string{"", "", "", "", ""}, true},
1207 {[5]string{}, true},
1208 {[5]string{"", "", "", "a", ""}, false},
1210 {(chan string)(nil), true},
1211 {make(chan string), false},
1212 {time.After(1), false},
1214 {(func())(nil), true},
1217 {New(TypeOf(new(error)).Elem()).Elem(), true},
1218 {(io.Reader)(strings.NewReader("")), false},
1220 {(map[string]string)(nil), true},
1221 {map[string]string{}, false},
1222 {make(map[string]string), false},
1224 {(*func())(nil), true},
1225 {(*int)(nil), true},
1228 {[]string{}, false},
1229 {([]string)(nil), true},
1230 {make([]string, 0), false},
1233 {"not-zero", false},
1236 {T{123, 456.75, "hello", &_i}, false},
1238 {(unsafe.Pointer)(nil), true},
1239 {(unsafe.Pointer)(new(int)), false},
1242 if v, ok := tt.x.(Value); ok {
1250 t.Errorf("%d: IsZero((%s)(%+v)) = %t, want %t", i, x.Kind(), tt.x, b, tt.want)
1253 if !Zero(TypeOf(tt.x)).IsZero() {
1254 t.Errorf("%d: IsZero(Zero(TypeOf((%s)(%+v)))) is false", i, x.Kind(), tt.x)
1260 if r := recover(); r == nil {
1261 t.Error("should panic for invalid value")
1268 func TestInterfaceExtraction(t *testing.T) {
1274 v := Indirect(ValueOf(&s)).Field(0).Interface()
1275 if v != s.W.(interface{}) {
1276 t.Error("Interface() on interface: ", v, s.W)
1280 func TestNilPtrValueSub(t *testing.T) {
1282 if pv := ValueOf(pi); pv.Elem().IsValid() {
1283 t.Error("ValueOf((*int)(nil)).Elem().IsValid()")
1287 func TestMap(t *testing.T) {
1288 m := map[string]int{"a": 1, "b": 2}
1290 if n := mv.Len(); n != len(m) {
1291 t.Errorf("Len = %d, want %d", n, len(m))
1293 keys := mv.MapKeys()
1294 newmap := MakeMap(mv.Type())
1295 for k, v := range m {
1296 // Check that returned Keys match keys in range.
1297 // These aren't required to be in the same order.
1299 for _, kv := range keys {
1300 if kv.String() == k {
1306 t.Errorf("Missing key %q", k)
1309 // Check that value lookup is correct.
1310 vv := mv.MapIndex(ValueOf(k))
1311 if vi := vv.Int(); vi != int64(v) {
1312 t.Errorf("Key %q: have value %d, want %d", k, vi, v)
1315 // Copy into new map.
1316 newmap.SetMapIndex(ValueOf(k), ValueOf(v))
1318 vv := mv.MapIndex(ValueOf("not-present"))
1320 t.Errorf("Invalid key: got non-nil value %s", valueToString(vv))
1323 newm := newmap.Interface().(map[string]int)
1324 if len(newm) != len(m) {
1325 t.Errorf("length after copy: newm=%d, m=%d", len(newm), len(m))
1328 for k, v := range newm {
1331 t.Errorf("newm[%q] = %d, but m[%q] = %d, %v", k, v, k, mv, ok)
1335 newmap.SetMapIndex(ValueOf("a"), Value{})
1338 t.Errorf("newm[\"a\"] = %d after delete", v)
1341 mv = ValueOf(&m).Elem()
1342 mv.Set(Zero(mv.Type()))
1344 t.Errorf("mv.Set(nil) failed")
1348 func TestNilMap(t *testing.T) {
1349 var m map[string]int
1351 keys := mv.MapKeys()
1353 t.Errorf(">0 keys for nil map: %v", keys)
1356 // Check that value for missing key is zero.
1357 x := mv.MapIndex(ValueOf("hello"))
1358 if x.Kind() != Invalid {
1359 t.Errorf("m.MapIndex(\"hello\") for nil map = %v, want Invalid Value", x)
1362 // Check big value too.
1363 var mbig map[string][10 << 20]byte
1364 x = ValueOf(mbig).MapIndex(ValueOf("hello"))
1365 if x.Kind() != Invalid {
1366 t.Errorf("mbig.MapIndex(\"hello\") for nil map = %v, want Invalid Value", x)
1369 // Test that deletes from a nil map succeed.
1370 mv.SetMapIndex(ValueOf("hi"), Value{})
1373 func TestChan(t *testing.T) {
1374 for loop := 0; loop < 2; loop++ {
1378 // check both ways to allocate channels
1381 c = make(chan int, 1)
1384 cv = MakeChan(TypeOf(c), 1)
1385 c = cv.Interface().(chan int)
1390 if i := <-c; i != 2 {
1391 t.Errorf("reflect Send 2, native recv %d", i)
1396 if i, ok := cv.Recv(); i.Int() != 3 || !ok {
1397 t.Errorf("native send 3, reflect Recv %d, %t", i.Int(), ok)
1401 val, ok := cv.TryRecv()
1402 if val.IsValid() || ok {
1403 t.Errorf("TryRecv on empty chan: %s, %t", valueToString(val), ok)
1408 val, ok = cv.TryRecv()
1410 t.Errorf("TryRecv on ready chan got nil")
1411 } else if i := val.Int(); i != 4 || !ok {
1412 t.Errorf("native send 4, TryRecv %d, %t", i, ok)
1417 ok = cv.TrySend(ValueOf(5))
1420 t.Errorf("TrySend on full chan succeeded: value %d", i)
1424 ok = cv.TrySend(ValueOf(6))
1426 t.Errorf("TrySend on empty chan failed")
1429 t.Errorf("TrySend failed but it did send %d", x)
1433 if i = <-c; i != 6 {
1434 t.Errorf("TrySend 6, recv %d", i)
1441 if i, ok := cv.Recv(); i.Int() != 123 || !ok {
1442 t.Errorf("send 123 then close; Recv %d, %t", i.Int(), ok)
1444 if i, ok := cv.Recv(); i.Int() != 0 || ok {
1445 t.Errorf("after close Recv %d, %t", i.Int(), ok)
1449 // check creation of unbuffered channel
1451 cv := MakeChan(TypeOf(c), 0)
1452 c = cv.Interface().(chan int)
1453 if cv.TrySend(ValueOf(7)) {
1454 t.Errorf("TrySend on sync chan succeeded")
1456 if v, ok := cv.TryRecv(); v.IsValid() || ok {
1457 t.Errorf("TryRecv on sync chan succeeded: isvalid=%v ok=%v", v.IsValid(), ok)
1461 cv = MakeChan(TypeOf(c), 10)
1462 c = cv.Interface().(chan int)
1463 for i := 0; i < 3; i++ {
1466 if l, m := cv.Len(), cv.Cap(); l != len(c) || m != cap(c) {
1467 t.Errorf("Len/Cap = %d/%d want %d/%d", l, m, len(c), cap(c))
1471 // caseInfo describes a single case in a select test.
1472 type caseInfo struct {
1481 var allselect = flag.Bool("allselect", false, "exhaustive select test")
1483 func TestSelect(t *testing.T) {
1484 selectWatch.once.Do(func() { go selectWatcher() })
1488 newop := func(n int, cap int) (ch, val Value) {
1491 c := make(chan int, cap)
1495 c := make(chan string, cap)
1497 val = ValueOf(fmt.Sprint(n))
1502 for n := 0; x.Next(); n++ {
1503 if testing.Short() && n >= 1000 {
1506 if n >= 100000 && !*allselect {
1509 if n%100000 == 0 && testing.Verbose() {
1510 println("TestSelect", n)
1512 var cases []SelectCase
1517 ch, val := newop(len(cases), 1)
1518 cases = append(cases, SelectCase{
1523 info = append(info, caseInfo{desc: "ready send", canSelect: true})
1528 ch, val := newop(len(cases), 1)
1530 cases = append(cases, SelectCase{
1534 info = append(info, caseInfo{desc: "ready recv", canSelect: true, recv: val})
1539 ch, val := newop(len(cases), 0)
1540 cases = append(cases, SelectCase{
1547 f := func() { ch.Recv() }
1548 info = append(info, caseInfo{desc: "blocking send", helper: f})
1550 info = append(info, caseInfo{desc: "blocking send"})
1556 ch, val := newop(len(cases), 0)
1557 cases = append(cases, SelectCase{
1563 f := func() { ch.Send(val) }
1564 info = append(info, caseInfo{desc: "blocking recv", recv: val, helper: f})
1566 info = append(info, caseInfo{desc: "blocking recv"})
1572 // Maybe include value to send.
1577 cases = append(cases, SelectCase{
1581 info = append(info, caseInfo{desc: "zero Chan send"})
1584 // Zero Chan receive.
1586 cases = append(cases, SelectCase{
1589 info = append(info, caseInfo{desc: "zero Chan recv"})
1594 cases = append(cases, SelectCase{
1596 Chan: ValueOf((chan int)(nil)),
1599 info = append(info, caseInfo{desc: "nil Chan send"})
1604 cases = append(cases, SelectCase{
1606 Chan: ValueOf((chan int)(nil)),
1608 info = append(info, caseInfo{desc: "nil Chan recv"})
1611 // closed Chan send.
1613 ch := make(chan int)
1615 cases = append(cases, SelectCase{
1620 info = append(info, caseInfo{desc: "closed Chan send", canSelect: true, panic: true})
1623 // closed Chan recv.
1625 ch, val := newop(len(cases), 0)
1627 val = Zero(val.Type())
1628 cases = append(cases, SelectCase{
1632 info = append(info, caseInfo{desc: "closed Chan recv", canSelect: true, closed: true, recv: val})
1635 var helper func() // goroutine to help the select complete
1637 // Add default? Must be last case here, but will permute.
1638 // Add the default if the select would otherwise
1639 // block forever, and maybe add it anyway.
1645 for i, c := range info {
1653 } else if c.helper != nil {
1655 helpers = append(helpers, i)
1658 if !canProceed || x.Maybe() {
1659 cases = append(cases, SelectCase{
1662 info = append(info, caseInfo{desc: "default", canSelect: canBlock})
1664 } else if canBlock {
1665 // Select needs to communicate with another goroutine.
1666 cas := &info[helpers[x.Choose(len(helpers))]]
1668 cas.canSelect = true
1672 // Permute cases and case info.
1673 // Doing too much here makes the exhaustive loop
1674 // too exhausting, so just do two swaps.
1675 for loop := 0; loop < 2; loop++ {
1676 i := x.Choose(len(cases))
1677 j := x.Choose(len(cases))
1678 cases[i], cases[j] = cases[j], cases[i]
1679 info[i], info[j] = info[j], info[i]
1683 // We wait before kicking off a goroutine to satisfy a blocked select.
1684 // The pause needs to be big enough to let the select block before
1685 // we run the helper, but if we lose that race once in a while it's okay: the
1686 // select will just proceed immediately. Not a big deal.
1687 // For short tests we can grow [sic] the timeout a bit without fear of taking too long
1688 pause := 10 * time.Microsecond
1689 if testing.Short() {
1690 pause = 100 * time.Microsecond
1692 time.AfterFunc(pause, helper)
1696 i, recv, recvOK, panicErr := runSelect(cases, info)
1697 if panicErr != nil && !canPanic {
1698 t.Fatalf("%s\npanicked unexpectedly: %v", fmtSelect(info), panicErr)
1700 if panicErr == nil && canPanic && numCanSelect == 1 {
1701 t.Fatalf("%s\nselected #%d incorrectly (should panic)", fmtSelect(info), i)
1703 if panicErr != nil {
1711 recvStr = fmt.Sprintf(", received %v, %v", recv.Interface(), recvOK)
1713 t.Fatalf("%s\nselected #%d incorrectly%s", fmtSelect(info), i, recvStr)
1717 t.Fatalf("%s\nselected #%d incorrectly (case should panic)", fmtSelect(info), i)
1721 if cases[i].Dir == SelectRecv {
1722 if !recv.IsValid() {
1723 t.Fatalf("%s\nselected #%d but got %v, %v, want %v, %v", fmtSelect(info), i, recv, recvOK, cas.recv.Interface(), !cas.closed)
1725 if !cas.recv.IsValid() {
1726 t.Fatalf("%s\nselected #%d but internal error: missing recv value", fmtSelect(info), i)
1728 if recv.Interface() != cas.recv.Interface() || recvOK != !cas.closed {
1729 if recv.Interface() == cas.recv.Interface() && recvOK == !cas.closed {
1730 t.Fatalf("%s\nselected #%d, got %#v, %v, and DeepEqual is broken on %T", fmtSelect(info), i, recv.Interface(), recvOK, recv.Interface())
1732 t.Fatalf("%s\nselected #%d but got %#v, %v, want %#v, %v", fmtSelect(info), i, recv.Interface(), recvOK, cas.recv.Interface(), !cas.closed)
1735 if recv.IsValid() || recvOK {
1736 t.Fatalf("%s\nselected #%d but got %v, %v, want %v, %v", fmtSelect(info), i, recv, recvOK, Value{}, false)
1742 func TestSelectMaxCases(t *testing.T) {
1743 var sCases []SelectCase
1744 channel := make(chan int)
1746 for i := 0; i < 65536; i++ {
1747 sCases = append(sCases, SelectCase{
1749 Chan: ValueOf(channel),
1753 _, _, _ = Select(sCases)
1754 sCases = append(sCases, SelectCase{
1756 Chan: ValueOf(channel),
1759 if err := recover(); err != nil {
1760 if err.(string) != "reflect.Select: too many cases (max 65536)" {
1761 t.Fatalf("unexpected error from select call with greater than max supported cases")
1764 t.Fatalf("expected select call to panic with greater than max supported cases")
1768 _, _, _ = Select(sCases)
1771 func TestSelectNop(t *testing.T) {
1772 // "select { default: }" should always return the default case.
1773 chosen, _, _ := Select([]SelectCase{{Dir: SelectDefault}})
1775 t.Fatalf("expected Select to return 0, but got %#v", chosen)
1779 func BenchmarkSelect(b *testing.B) {
1780 channel := make(chan int)
1782 var cases []SelectCase
1783 for i := 0; i < 8; i++ {
1784 cases = append(cases, SelectCase{
1786 Chan: ValueOf(channel),
1789 for _, numCases := range []int{1, 4, 8} {
1790 b.Run(strconv.Itoa(numCases), func(b *testing.B) {
1792 for i := 0; i < b.N; i++ {
1793 _, _, _ = Select(cases[:numCases])
1799 // selectWatch and the selectWatcher are a watchdog mechanism for running Select.
1800 // If the selectWatcher notices that the select has been blocked for >1 second, it prints
1801 // an error describing the select and panics the entire test binary.
1802 var selectWatch struct {
1809 func selectWatcher() {
1811 time.Sleep(1 * time.Second)
1813 if selectWatch.info != nil && time.Since(selectWatch.now) > 10*time.Second {
1814 fmt.Fprintf(os.Stderr, "TestSelect:\n%s blocked indefinitely\n", fmtSelect(selectWatch.info))
1815 panic("select stuck")
1817 selectWatch.Unlock()
1821 // runSelect runs a single select test.
1822 // It returns the values returned by Select but also returns
1823 // a panic value if the Select panics.
1824 func runSelect(cases []SelectCase, info []caseInfo) (chosen int, recv Value, recvOK bool, panicErr interface{}) {
1826 panicErr = recover()
1829 selectWatch.info = nil
1830 selectWatch.Unlock()
1834 selectWatch.now = time.Now()
1835 selectWatch.info = info
1836 selectWatch.Unlock()
1838 chosen, recv, recvOK = Select(cases)
1842 // fmtSelect formats the information about a single select test.
1843 func fmtSelect(info []caseInfo) string {
1844 var buf bytes.Buffer
1845 fmt.Fprintf(&buf, "\nselect {\n")
1846 for i, cas := range info {
1847 fmt.Fprintf(&buf, "%d: %s", i, cas.desc)
1848 if cas.recv.IsValid() {
1849 fmt.Fprintf(&buf, " val=%#v", cas.recv.Interface())
1852 fmt.Fprintf(&buf, " canselect")
1855 fmt.Fprintf(&buf, " panic")
1857 fmt.Fprintf(&buf, "\n")
1859 fmt.Fprintf(&buf, "}")
1865 // Difficult test for function call because of
1866 // implicit padding between arguments.
1867 func dummy(b byte, c int, d byte, e two, f byte, g float32, h byte) (i byte, j int, k byte, l two, m byte, n float32, o byte) {
1868 return b, c, d, e, f, g, h
1871 func TestFunc(t *testing.T) {
1872 ret := ValueOf(dummy).Call([]Value{
1876 ValueOf(two{40, 50}),
1878 ValueOf(float32(70)),
1882 t.Fatalf("Call returned %d values, want 7", len(ret))
1885 i := byte(ret[0].Uint())
1886 j := int(ret[1].Int())
1887 k := byte(ret[2].Uint())
1888 l := ret[3].Interface().(two)
1889 m := byte(ret[4].Uint())
1890 n := float32(ret[5].Float())
1891 o := byte(ret[6].Uint())
1893 if i != 10 || j != 20 || k != 30 || l != (two{40, 50}) || m != 60 || n != 70 || o != 80 {
1894 t.Errorf("Call returned %d, %d, %d, %v, %d, %g, %d; want 10, 20, 30, [40, 50], 60, 70, 80", i, j, k, l, m, n, o)
1897 for i, v := range ret {
1899 t.Errorf("result %d is addressable", i)
1904 func TestCallConvert(t *testing.T) {
1905 v := ValueOf(new(io.ReadWriter)).Elem()
1906 f := ValueOf(func(r io.Reader) io.Reader { return r })
1907 out := f.Call([]Value{v})
1908 if len(out) != 1 || out[0].Type() != TypeOf(new(io.Reader)).Elem() || !out[0].IsNil() {
1909 t.Errorf("expected [nil], got %v", out)
1913 type emptyStruct struct{}
1915 type nonEmptyStruct struct {
1919 func returnEmpty() emptyStruct {
1920 return emptyStruct{}
1923 func takesEmpty(e emptyStruct) {
1926 func returnNonEmpty(i int) nonEmptyStruct {
1927 return nonEmptyStruct{member: i}
1930 func takesNonEmpty(n nonEmptyStruct) int {
1934 func TestCallWithStruct(t *testing.T) {
1935 r := ValueOf(returnEmpty).Call(nil)
1936 if len(r) != 1 || r[0].Type() != TypeOf(emptyStruct{}) {
1937 t.Errorf("returning empty struct returned %#v instead", r)
1939 r = ValueOf(takesEmpty).Call([]Value{ValueOf(emptyStruct{})})
1941 t.Errorf("takesEmpty returned values: %#v", r)
1943 r = ValueOf(returnNonEmpty).Call([]Value{ValueOf(42)})
1944 if len(r) != 1 || r[0].Type() != TypeOf(nonEmptyStruct{}) || r[0].Field(0).Int() != 42 {
1945 t.Errorf("returnNonEmpty returned %#v", r)
1947 r = ValueOf(takesNonEmpty).Call([]Value{ValueOf(nonEmptyStruct{member: 42})})
1948 if len(r) != 1 || r[0].Type() != TypeOf(1) || r[0].Int() != 42 {
1949 t.Errorf("takesNonEmpty returned %#v", r)
1953 func TestCallReturnsEmpty(t *testing.T) {
1954 // Issue 21717: past-the-end pointer write in Call with
1955 // nonzero-sized frame and zero-sized return value.
1957 var finalized uint32
1958 f := func() (emptyStruct, *[2]int64) {
1959 i := new([2]int64) // big enough to not be tinyalloc'd, so finalizer always runs when i dies
1960 runtime.SetFinalizer(i, func(*[2]int64) { atomic.StoreUint32(&finalized, 1) })
1961 return emptyStruct{}, i
1963 v := ValueOf(f).Call(nil)[0] // out[0] should not alias out[1]'s memory, so the finalizer should run.
1964 timeout := time.After(5 * time.Second)
1965 for atomic.LoadUint32(&finalized) == 0 {
1968 t.Fatal("finalizer did not run")
1974 runtime.KeepAlive(v)
1977 func BenchmarkCall(b *testing.B) {
1978 fv := ValueOf(func(a, b string) {})
1980 b.RunParallel(func(pb *testing.PB) {
1981 args := []Value{ValueOf("a"), ValueOf("b")}
1990 func (i *myint) inc() {
1994 func BenchmarkCallMethod(b *testing.B) {
1999 for i := 0; i < b.N; i++ {
2004 func BenchmarkCallArgCopy(b *testing.B) {
2005 byteArray := func(n int) Value {
2006 return Zero(ArrayOf(n, TypeOf(byte(0))))
2008 sizes := [...]struct {
2012 {ValueOf(func(a [128]byte) {}), byteArray(128)},
2013 {ValueOf(func(a [256]byte) {}), byteArray(256)},
2014 {ValueOf(func(a [1024]byte) {}), byteArray(1024)},
2015 {ValueOf(func(a [4096]byte) {}), byteArray(4096)},
2016 {ValueOf(func(a [65536]byte) {}), byteArray(65536)},
2018 for _, size := range sizes {
2019 bench := func(b *testing.B) {
2020 args := []Value{size.arg}
2021 b.SetBytes(int64(size.arg.Len()))
2023 b.RunParallel(func(pb *testing.PB) {
2029 name := fmt.Sprintf("size=%v", size.arg.Len())
2034 func TestMakeFunc(t *testing.T) {
2036 fv := MakeFunc(TypeOf(f), func(in []Value) []Value { return in })
2037 ValueOf(&f).Elem().Set(fv)
2039 // Call g with small arguments so that there is
2040 // something predictable (and different from the
2041 // correct results) in those positions on the stack.
2043 g(1, 2, 3, two{4, 5}, 6, 7, 8)
2045 // Call constructed function f.
2046 i, j, k, l, m, n, o := f(10, 20, 30, two{40, 50}, 60, 70, 80)
2047 if i != 10 || j != 20 || k != 30 || l != (two{40, 50}) || m != 60 || n != 70 || o != 80 {
2048 t.Errorf("Call returned %d, %d, %d, %v, %d, %g, %d; want 10, 20, 30, [40, 50], 60, 70, 80", i, j, k, l, m, n, o)
2052 func TestMakeFuncInterface(t *testing.T) {
2053 fn := func(i int) int { return i }
2054 incr := func(in []Value) []Value {
2055 return []Value{ValueOf(int(in[0].Int() + 1))}
2057 fv := MakeFunc(TypeOf(fn), incr)
2058 ValueOf(&fn).Elem().Set(fv)
2059 if r := fn(2); r != 3 {
2060 t.Errorf("Call returned %d, want 3", r)
2062 if r := fv.Call([]Value{ValueOf(14)})[0].Int(); r != 15 {
2063 t.Errorf("Call returned %d, want 15", r)
2065 if r := fv.Interface().(func(int) int)(26); r != 27 {
2066 t.Errorf("Call returned %d, want 27", r)
2070 func TestMakeFuncVariadic(t *testing.T) {
2071 // Test that variadic arguments are packed into a slice and passed as last arg
2072 fn := func(_ int, is ...int) []int { return nil }
2073 fv := MakeFunc(TypeOf(fn), func(in []Value) []Value { return in[1:2] })
2074 ValueOf(&fn).Elem().Set(fv)
2077 if r[0] != 2 || r[1] != 3 {
2078 t.Errorf("Call returned [%v, %v]; want 2, 3", r[0], r[1])
2081 r = fn(1, []int{2, 3}...)
2082 if r[0] != 2 || r[1] != 3 {
2083 t.Errorf("Call returned [%v, %v]; want 2, 3", r[0], r[1])
2086 r = fv.Call([]Value{ValueOf(1), ValueOf(2), ValueOf(3)})[0].Interface().([]int)
2087 if r[0] != 2 || r[1] != 3 {
2088 t.Errorf("Call returned [%v, %v]; want 2, 3", r[0], r[1])
2091 r = fv.CallSlice([]Value{ValueOf(1), ValueOf([]int{2, 3})})[0].Interface().([]int)
2092 if r[0] != 2 || r[1] != 3 {
2093 t.Errorf("Call returned [%v, %v]; want 2, 3", r[0], r[1])
2096 f := fv.Interface().(func(int, ...int) []int)
2099 if r[0] != 2 || r[1] != 3 {
2100 t.Errorf("Call returned [%v, %v]; want 2, 3", r[0], r[1])
2102 r = f(1, []int{2, 3}...)
2103 if r[0] != 2 || r[1] != 3 {
2104 t.Errorf("Call returned [%v, %v]; want 2, 3", r[0], r[1])
2108 // Dummy type that implements io.WriteCloser
2112 func (w *WC) Write(p []byte) (n int, err error) {
2115 func (w *WC) Close() error {
2119 func TestMakeFuncValidReturnAssignments(t *testing.T) {
2120 // reflect.Values returned from the wrapped function should be assignment-converted
2121 // to the types returned by the result of MakeFunc.
2123 // Concrete types should be promotable to interfaces they implement.
2125 f = MakeFunc(TypeOf(f), func([]Value) []Value {
2126 return []Value{ValueOf(io.EOF)}
2127 }).Interface().(func() error)
2130 // Super-interfaces should be promotable to simpler interfaces.
2131 var g func() io.Writer
2132 g = MakeFunc(TypeOf(g), func([]Value) []Value {
2133 var w io.WriteCloser = &WC{}
2134 return []Value{ValueOf(&w).Elem()}
2135 }).Interface().(func() io.Writer)
2138 // Channels should be promotable to directional channels.
2139 var h func() <-chan int
2140 h = MakeFunc(TypeOf(h), func([]Value) []Value {
2141 return []Value{ValueOf(make(chan int))}
2142 }).Interface().(func() <-chan int)
2145 // Unnamed types should be promotable to named types.
2146 type T struct{ a, b, c int }
2148 i = MakeFunc(TypeOf(i), func([]Value) []Value {
2149 return []Value{ValueOf(struct{ a, b, c int }{a: 1, b: 2, c: 3})}
2150 }).Interface().(func() T)
2154 func TestMakeFuncInvalidReturnAssignments(t *testing.T) {
2155 // Type doesn't implement the required interface.
2156 shouldPanic("", func() {
2158 f = MakeFunc(TypeOf(f), func([]Value) []Value {
2159 return []Value{ValueOf(int(7))}
2160 }).Interface().(func() error)
2163 // Assigning to an interface with additional methods.
2164 shouldPanic("", func() {
2165 var f func() io.ReadWriteCloser
2166 f = MakeFunc(TypeOf(f), func([]Value) []Value {
2167 var w io.WriteCloser = &WC{}
2168 return []Value{ValueOf(&w).Elem()}
2169 }).Interface().(func() io.ReadWriteCloser)
2172 // Directional channels can't be assigned to bidirectional ones.
2173 shouldPanic("", func() {
2174 var f func() chan int
2175 f = MakeFunc(TypeOf(f), func([]Value) []Value {
2176 var c <-chan int = make(chan int)
2177 return []Value{ValueOf(c)}
2178 }).Interface().(func() chan int)
2181 // Two named types which are otherwise identical.
2182 shouldPanic("", func() {
2183 type T struct{ a, b, c int }
2184 type U struct{ a, b, c int }
2186 f = MakeFunc(TypeOf(f), func([]Value) []Value {
2187 return []Value{ValueOf(U{a: 1, b: 2, c: 3})}
2188 }).Interface().(func() T)
2197 // This will be index 0.
2198 func (p Point) AnotherMethod(scale int) int {
2202 // This will be index 1.
2203 func (p Point) Dist(scale int) int {
2204 //println("Point.Dist", p.x, p.y, scale)
2205 return p.x*p.x*scale + p.y*p.y*scale
2208 // This will be index 2.
2209 func (p Point) GCMethod(k int) int {
2214 // This will be index 3.
2215 func (p Point) NoArgs() {
2216 // Exercise no-argument/no-result paths.
2219 // This will be index 4.
2220 func (p Point) TotalDist(points ...Point) int {
2222 for _, q := range points {
2225 tot += dx*dx + dy*dy // Should call Sqrt, but it's just a test.
2231 // This will be index 5.
2232 func (p *Point) Int64Method(x int64) int64 {
2236 // This will be index 6.
2237 func (p *Point) Int32Method(x int32) int32 {
2241 func TestMethod(t *testing.T) {
2242 // Non-curried method of type.
2244 i := TypeOf(p).Method(1).Func.Call([]Value{ValueOf(p), ValueOf(10)})[0].Int()
2246 t.Errorf("Type Method returned %d; want 250", i)
2249 m, ok := TypeOf(p).MethodByName("Dist")
2251 t.Fatalf("method by name failed")
2253 i = m.Func.Call([]Value{ValueOf(p), ValueOf(11)})[0].Int()
2255 t.Errorf("Type MethodByName returned %d; want 275", i)
2258 m, ok = TypeOf(p).MethodByName("NoArgs")
2260 t.Fatalf("method by name failed")
2262 n := len(m.Func.Call([]Value{ValueOf(p)}))
2264 t.Errorf("NoArgs returned %d values; want 0", n)
2267 i = TypeOf(&p).Method(1).Func.Call([]Value{ValueOf(&p), ValueOf(12)})[0].Int()
2269 t.Errorf("Pointer Type Method returned %d; want 300", i)
2272 m, ok = TypeOf(&p).MethodByName("Dist")
2274 t.Fatalf("ptr method by name failed")
2276 i = m.Func.Call([]Value{ValueOf(&p), ValueOf(13)})[0].Int()
2278 t.Errorf("Pointer Type MethodByName returned %d; want 325", i)
2281 m, ok = TypeOf(&p).MethodByName("NoArgs")
2283 t.Fatalf("method by name failed")
2285 n = len(m.Func.Call([]Value{ValueOf(&p)}))
2287 t.Errorf("NoArgs returned %d values; want 0", n)
2290 // Curried method of value.
2291 tfunc := TypeOf((func(int) int)(nil))
2292 v := ValueOf(p).Method(1)
2293 if tt := v.Type(); tt != tfunc {
2294 t.Errorf("Value Method Type is %s; want %s", tt, tfunc)
2296 i = v.Call([]Value{ValueOf(14)})[0].Int()
2298 t.Errorf("Value Method returned %d; want 350", i)
2300 v = ValueOf(p).MethodByName("Dist")
2301 if tt := v.Type(); tt != tfunc {
2302 t.Errorf("Value MethodByName Type is %s; want %s", tt, tfunc)
2304 i = v.Call([]Value{ValueOf(15)})[0].Int()
2306 t.Errorf("Value MethodByName returned %d; want 375", i)
2308 v = ValueOf(p).MethodByName("NoArgs")
2311 // Curried method of pointer.
2312 v = ValueOf(&p).Method(1)
2313 if tt := v.Type(); tt != tfunc {
2314 t.Errorf("Pointer Value Method Type is %s; want %s", tt, tfunc)
2316 i = v.Call([]Value{ValueOf(16)})[0].Int()
2318 t.Errorf("Pointer Value Method returned %d; want 400", i)
2320 v = ValueOf(&p).MethodByName("Dist")
2321 if tt := v.Type(); tt != tfunc {
2322 t.Errorf("Pointer Value MethodByName Type is %s; want %s", tt, tfunc)
2324 i = v.Call([]Value{ValueOf(17)})[0].Int()
2326 t.Errorf("Pointer Value MethodByName returned %d; want 425", i)
2328 v = ValueOf(&p).MethodByName("NoArgs")
2331 // Curried method of interface value.
2332 // Have to wrap interface value in a struct to get at it.
2333 // Passing it to ValueOf directly would
2334 // access the underlying Point, not the interface.
2338 pv := ValueOf(&x).Elem()
2340 if tt := v.Type(); tt != tfunc {
2341 t.Errorf("Interface Method Type is %s; want %s", tt, tfunc)
2343 i = v.Call([]Value{ValueOf(18)})[0].Int()
2345 t.Errorf("Interface Method returned %d; want 450", i)
2347 v = pv.MethodByName("Dist")
2348 if tt := v.Type(); tt != tfunc {
2349 t.Errorf("Interface MethodByName Type is %s; want %s", tt, tfunc)
2351 i = v.Call([]Value{ValueOf(19)})[0].Int()
2353 t.Errorf("Interface MethodByName returned %d; want 475", i)
2357 func TestMethodValue(t *testing.T) {
2361 // Curried method of value.
2362 tfunc := TypeOf((func(int) int)(nil))
2363 v := ValueOf(p).Method(1)
2364 if tt := v.Type(); tt != tfunc {
2365 t.Errorf("Value Method Type is %s; want %s", tt, tfunc)
2367 i = ValueOf(v.Interface()).Call([]Value{ValueOf(10)})[0].Int()
2369 t.Errorf("Value Method returned %d; want 250", i)
2371 v = ValueOf(p).MethodByName("Dist")
2372 if tt := v.Type(); tt != tfunc {
2373 t.Errorf("Value MethodByName Type is %s; want %s", tt, tfunc)
2375 i = ValueOf(v.Interface()).Call([]Value{ValueOf(11)})[0].Int()
2377 t.Errorf("Value MethodByName returned %d; want 275", i)
2379 v = ValueOf(p).MethodByName("NoArgs")
2380 ValueOf(v.Interface()).Call(nil)
2381 v.Interface().(func())()
2383 // Curried method of pointer.
2384 v = ValueOf(&p).Method(1)
2385 if tt := v.Type(); tt != tfunc {
2386 t.Errorf("Pointer Value Method Type is %s; want %s", tt, tfunc)
2388 i = ValueOf(v.Interface()).Call([]Value{ValueOf(12)})[0].Int()
2390 t.Errorf("Pointer Value Method returned %d; want 300", i)
2392 v = ValueOf(&p).MethodByName("Dist")
2393 if tt := v.Type(); tt != tfunc {
2394 t.Errorf("Pointer Value MethodByName Type is %s; want %s", tt, tfunc)
2396 i = ValueOf(v.Interface()).Call([]Value{ValueOf(13)})[0].Int()
2398 t.Errorf("Pointer Value MethodByName returned %d; want 325", i)
2400 v = ValueOf(&p).MethodByName("NoArgs")
2401 ValueOf(v.Interface()).Call(nil)
2402 v.Interface().(func())()
2404 // Curried method of pointer to pointer.
2406 v = ValueOf(&pp).Elem().Method(1)
2407 if tt := v.Type(); tt != tfunc {
2408 t.Errorf("Pointer Pointer Value Method Type is %s; want %s", tt, tfunc)
2410 i = ValueOf(v.Interface()).Call([]Value{ValueOf(14)})[0].Int()
2412 t.Errorf("Pointer Pointer Value Method returned %d; want 350", i)
2414 v = ValueOf(&pp).Elem().MethodByName("Dist")
2415 if tt := v.Type(); tt != tfunc {
2416 t.Errorf("Pointer Pointer Value MethodByName Type is %s; want %s", tt, tfunc)
2418 i = ValueOf(v.Interface()).Call([]Value{ValueOf(15)})[0].Int()
2420 t.Errorf("Pointer Pointer Value MethodByName returned %d; want 375", i)
2423 // Curried method of interface value.
2424 // Have to wrap interface value in a struct to get at it.
2425 // Passing it to ValueOf directly would
2426 // access the underlying Point, not the interface.
2432 pv := ValueOf(s).Field(0)
2434 if tt := v.Type(); tt != tfunc {
2435 t.Errorf("Interface Method Type is %s; want %s", tt, tfunc)
2437 i = ValueOf(v.Interface()).Call([]Value{ValueOf(16)})[0].Int()
2439 t.Errorf("Interface Method returned %d; want 400", i)
2441 v = pv.MethodByName("Dist")
2442 if tt := v.Type(); tt != tfunc {
2443 t.Errorf("Interface MethodByName Type is %s; want %s", tt, tfunc)
2445 i = ValueOf(v.Interface()).Call([]Value{ValueOf(17)})[0].Int()
2447 t.Errorf("Interface MethodByName returned %d; want 425", i)
2450 // For issue #33628: method args are not stored at the right offset
2452 m64 := ValueOf(&p).MethodByName("Int64Method").Interface().(func(int64) int64)
2453 if x := m64(123); x != 123 {
2454 t.Errorf("Int64Method returned %d; want 123", x)
2456 m32 := ValueOf(&p).MethodByName("Int32Method").Interface().(func(int32) int32)
2457 if x := m32(456); x != 456 {
2458 t.Errorf("Int32Method returned %d; want 456", x)
2462 func TestVariadicMethodValue(t *testing.T) {
2464 points := []Point{{20, 21}, {22, 23}, {24, 25}}
2465 want := int64(p.TotalDist(points[0], points[1], points[2]))
2467 // Variadic method of type.
2468 tfunc := TypeOf((func(Point, ...Point) int)(nil))
2469 if tt := TypeOf(p).Method(4).Type; tt != tfunc {
2470 t.Errorf("Variadic Method Type from TypeOf is %s; want %s", tt, tfunc)
2473 // Curried method of value.
2474 tfunc = TypeOf((func(...Point) int)(nil))
2475 v := ValueOf(p).Method(4)
2476 if tt := v.Type(); tt != tfunc {
2477 t.Errorf("Variadic Method Type is %s; want %s", tt, tfunc)
2479 i := ValueOf(v.Interface()).Call([]Value{ValueOf(points[0]), ValueOf(points[1]), ValueOf(points[2])})[0].Int()
2481 t.Errorf("Variadic Method returned %d; want %d", i, want)
2483 i = ValueOf(v.Interface()).CallSlice([]Value{ValueOf(points)})[0].Int()
2485 t.Errorf("Variadic Method CallSlice returned %d; want %d", i, want)
2488 f := v.Interface().(func(...Point) int)
2489 i = int64(f(points[0], points[1], points[2]))
2491 t.Errorf("Variadic Method Interface returned %d; want %d", i, want)
2493 i = int64(f(points...))
2495 t.Errorf("Variadic Method Interface Slice returned %d; want %d", i, want)
2499 type DirectIfaceT struct {
2503 func (d DirectIfaceT) M() int { return *d.p }
2505 func TestDirectIfaceMethod(t *testing.T) {
2507 v := DirectIfaceT{&x}
2509 m, ok := typ.MethodByName("M")
2511 t.Fatalf("cannot find method M")
2513 in := []Value{ValueOf(v)}
2514 out := m.Func.Call(in)
2515 if got := out[0].Int(); got != 42 {
2516 t.Errorf("Call with value receiver got %d, want 42", got)
2521 m, ok = typ.MethodByName("M")
2523 t.Fatalf("cannot find method M")
2525 in = []Value{ValueOf(pv)}
2526 out = m.Func.Call(in)
2527 if got := out[0].Int(); got != 42 {
2528 t.Errorf("Call with pointer receiver got %d, want 42", got)
2532 // Reflect version of $GOROOT/test/method5.go
2534 // Concrete types implementing M method.
2535 // Smaller than a word, word-sized, larger than a word.
2536 // Value and pointer receivers.
2538 type Tinter interface {
2539 M(int, byte) (byte, int)
2544 func (v Tsmallv) M(x int, b byte) (byte, int) { return b, x + int(v) }
2548 func (p *Tsmallp) M(x int, b byte) (byte, int) { return b, x + int(*p) }
2552 func (v Twordv) M(x int, b byte) (byte, int) { return b, x + int(v) }
2556 func (p *Twordp) M(x int, b byte) (byte, int) { return b, x + int(*p) }
2558 type Tbigv [2]uintptr
2560 func (v Tbigv) M(x int, b byte) (byte, int) { return b, x + int(v[0]) + int(v[1]) }
2562 type Tbigp [2]uintptr
2564 func (p *Tbigp) M(x int, b byte) (byte, int) { return b, x + int(p[0]) + int(p[1]) }
2566 type tinter interface {
2567 m(int, byte) (byte, int)
2570 // Embedding via pointer.
2587 func (t4 Tm4) M(x int, b byte) (byte, int) { return b, x + 40 }
2589 func TestMethod5(t *testing.T) {
2590 CheckF := func(name string, f func(int, byte) (byte, int), inc int) {
2592 if b != 99 || x != 1000+inc {
2593 t.Errorf("%s(1000, 99) = %v, %v, want 99, %v", name, b, x, 1000+inc)
2597 CheckV := func(name string, i Value, inc int) {
2598 bx := i.Method(0).Call([]Value{ValueOf(1000), ValueOf(byte(99))})
2599 b := bx[0].Interface()
2600 x := bx[1].Interface()
2601 if b != byte(99) || x != 1000+inc {
2602 t.Errorf("direct %s.M(1000, 99) = %v, %v, want 99, %v", name, b, x, 1000+inc)
2605 CheckF(name+".M", i.Method(0).Interface().(func(int, byte) (byte, int)), inc)
2608 var TinterType = TypeOf(new(Tinter)).Elem()
2610 CheckI := func(name string, i interface{}, inc int) {
2612 CheckV(name, v, inc)
2613 CheckV("(i="+name+")", v.Convert(TinterType), inc)
2618 CheckI("&sv", &sv, 1)
2621 CheckI("&sp", &sp, 2)
2625 CheckI("&wv", &wv, 3)
2628 CheckI("&wp", &wp, 4)
2630 bv := Tbigv([2]uintptr{5, 6})
2631 CheckI("bv", bv, 11)
2632 CheckI("&bv", &bv, 11)
2634 bp := Tbigp([2]uintptr{7, 8})
2635 CheckI("&bp", &bp, 15)
2641 CheckI("t4", t4, 40)
2642 CheckI("&t4", &t4, 40)
2643 CheckI("t3", t3, 40)
2644 CheckI("&t3", &t3, 40)
2645 CheckI("t2", t2, 40)
2646 CheckI("&t2", &t2, 40)
2647 CheckI("t1", t1, 40)
2648 CheckI("&t1", &t1, 40)
2651 vnil := ValueOf(&tnil).Elem()
2652 shouldPanic("Method", func() { vnil.Method(0) })
2655 func TestInterfaceSet(t *testing.T) {
2664 sv := ValueOf(&s).Elem()
2665 sv.Field(0).Set(ValueOf(p))
2666 if q := s.I.(*Point); q != p {
2667 t.Errorf("i: have %p want %p", q, p)
2672 if q := s.P.(*Point); q != p {
2673 t.Errorf("i: have %p want %p", q, p)
2676 i := pv.Method(0).Call([]Value{ValueOf(10)})[0].Int()
2678 t.Errorf("Interface Method returned %d; want 250", i)
2687 func TestAnonymousFields(t *testing.T) {
2688 var field StructField
2692 if field, ok = type1.FieldByName("int"); !ok {
2693 t.Fatal("no field 'int'")
2695 if field.Index[0] != 1 {
2696 t.Error("field index should be 1; is", field.Index)
2750 // The X in S6 and S7 annihilate, but they also block the X in S8.S9.
2772 // The X in S11.S6 and S12.S6 annihilate, but they also block the X in S13.S8.S9.
2791 // The X in S15.S11.S1 and S16.S11.S1 annihilate.
2805 var fieldTests = []FTest{
2806 {struct{}{}, "", nil, 0},
2807 {struct{}{}, "Foo", nil, 0},
2808 {S0{A: 'a'}, "A", []int{0}, 'a'},
2809 {S0{}, "D", nil, 0},
2810 {S1{S0: S0{A: 'a'}}, "A", []int{1, 0}, 'a'},
2811 {S1{B: 'b'}, "B", []int{0}, 'b'},
2812 {S1{}, "S0", []int{1}, 0},
2813 {S1{S0: S0{C: 'c'}}, "C", []int{1, 2}, 'c'},
2814 {S2{A: 'a'}, "A", []int{0}, 'a'},
2815 {S2{}, "S1", []int{1}, 0},
2816 {S2{S1: &S1{B: 'b'}}, "B", []int{1, 0}, 'b'},
2817 {S2{S1: &S1{S0: S0{C: 'c'}}}, "C", []int{1, 1, 2}, 'c'},
2818 {S2{}, "D", nil, 0},
2819 {S3{}, "S1", nil, 0},
2820 {S3{S2: S2{A: 'a'}}, "A", []int{1, 0}, 'a'},
2821 {S3{}, "B", nil, 0},
2822 {S3{D: 'd'}, "D", []int{2}, 0},
2823 {S3{E: 'e'}, "E", []int{3}, 'e'},
2824 {S4{A: 'a'}, "A", []int{1}, 'a'},
2825 {S4{}, "B", nil, 0},
2826 {S5{}, "X", nil, 0},
2827 {S5{}, "Y", []int{2, 0, 1}, 0},
2828 {S10{}, "X", nil, 0},
2829 {S10{}, "Y", []int{2, 0, 0, 1}, 0},
2830 {S14{}, "X", nil, 0},
2833 func TestFieldByIndex(t *testing.T) {
2834 for _, test := range fieldTests {
2836 f := s.FieldByIndex(test.index)
2838 if test.index != nil {
2839 if f.Name != test.name {
2840 t.Errorf("%s.%s found; want %s", s.Name(), f.Name, test.name)
2843 t.Errorf("%s.%s found", s.Name(), f.Name)
2845 } else if len(test.index) > 0 {
2846 t.Errorf("%s.%s not found", s.Name(), test.name)
2849 if test.value != 0 {
2850 v := ValueOf(test.s).FieldByIndex(test.index)
2852 if x, ok := v.Interface().(int); ok {
2853 if x != test.value {
2854 t.Errorf("%s%v is %d; want %d", s.Name(), test.index, x, test.value)
2857 t.Errorf("%s%v value not an int", s.Name(), test.index)
2860 t.Errorf("%s%v value not found", s.Name(), test.index)
2866 func TestFieldByName(t *testing.T) {
2867 for _, test := range fieldTests {
2869 f, found := s.FieldByName(test.name)
2871 if test.index != nil {
2872 // Verify field depth and index.
2873 if len(f.Index) != len(test.index) {
2874 t.Errorf("%s.%s depth %d; want %d: %v vs %v", s.Name(), test.name, len(f.Index), len(test.index), f.Index, test.index)
2876 for i, x := range f.Index {
2877 if x != test.index[i] {
2878 t.Errorf("%s.%s.Index[%d] is %d; want %d", s.Name(), test.name, i, x, test.index[i])
2883 t.Errorf("%s.%s found", s.Name(), f.Name)
2885 } else if len(test.index) > 0 {
2886 t.Errorf("%s.%s not found", s.Name(), test.name)
2889 if test.value != 0 {
2890 v := ValueOf(test.s).FieldByName(test.name)
2892 if x, ok := v.Interface().(int); ok {
2893 if x != test.value {
2894 t.Errorf("%s.%s is %d; want %d", s.Name(), test.name, x, test.value)
2897 t.Errorf("%s.%s value not an int", s.Name(), test.name)
2900 t.Errorf("%s.%s value not found", s.Name(), test.name)
2906 func TestImportPath(t *testing.T) {
2911 {TypeOf(&base64.Encoding{}).Elem(), "encoding/base64"},
2912 {TypeOf(int(0)), ""},
2913 {TypeOf(int8(0)), ""},
2914 {TypeOf(int16(0)), ""},
2915 {TypeOf(int32(0)), ""},
2916 {TypeOf(int64(0)), ""},
2917 {TypeOf(uint(0)), ""},
2918 {TypeOf(uint8(0)), ""},
2919 {TypeOf(uint16(0)), ""},
2920 {TypeOf(uint32(0)), ""},
2921 {TypeOf(uint64(0)), ""},
2922 {TypeOf(uintptr(0)), ""},
2923 {TypeOf(float32(0)), ""},
2924 {TypeOf(float64(0)), ""},
2925 {TypeOf(complex64(0)), ""},
2926 {TypeOf(complex128(0)), ""},
2927 {TypeOf(byte(0)), ""},
2928 {TypeOf(rune(0)), ""},
2929 {TypeOf([]byte(nil)), ""},
2930 {TypeOf([]rune(nil)), ""},
2931 {TypeOf(string("")), ""},
2932 {TypeOf((*interface{})(nil)).Elem(), ""},
2933 {TypeOf((*byte)(nil)), ""},
2934 {TypeOf((*rune)(nil)), ""},
2935 {TypeOf((*int64)(nil)), ""},
2936 {TypeOf(map[string]int{}), ""},
2937 {TypeOf((*error)(nil)).Elem(), ""},
2938 {TypeOf((*Point)(nil)), ""},
2939 {TypeOf((*Point)(nil)).Elem(), "reflect_test"},
2941 for _, test := range tests {
2942 if path := test.t.PkgPath(); path != test.path {
2943 t.Errorf("%v.PkgPath() = %q, want %q", test.t, path, test.path)
2948 func TestFieldPkgPath(t *testing.T) {
2950 typ := TypeOf(struct {
2958 type pkgpathTest struct {
2965 checkPkgPath := func(name string, s []pkgpathTest) {
2966 for _, test := range s {
2967 f := typ.FieldByIndex(test.index)
2968 if got, want := f.PkgPath, test.pkgPath; got != want {
2969 t.Errorf("%s: Field(%d).PkgPath = %q, want %q", name, test.index, got, want)
2971 if got, want := f.Anonymous, test.embedded; got != want {
2972 t.Errorf("%s: Field(%d).Anonymous = %v, want %v", name, test.index, got, want)
2974 if got, want := f.IsExported(), test.exported; got != want {
2975 t.Errorf("%s: Field(%d).IsExported = %v, want %v", name, test.index, got, want)
2980 checkPkgPath("testStruct", []pkgpathTest{
2981 {[]int{0}, "", false, true}, // Exported
2982 {[]int{1}, "reflect_test", false, false}, // unexported
2983 {[]int{2}, "", true, true}, // OtherPkgFields
2984 {[]int{2, 0}, "", false, true}, // OtherExported
2985 {[]int{2, 1}, "reflect", false, false}, // otherUnexported
2986 {[]int{3}, "reflect_test", true, false}, // int
2987 {[]int{4}, "reflect_test", true, false}, // *x
2990 type localOtherPkgFields OtherPkgFields
2991 typ = TypeOf(localOtherPkgFields{})
2992 checkPkgPath("localOtherPkgFields", []pkgpathTest{
2993 {[]int{0}, "", false, true}, // OtherExported
2994 {[]int{1}, "reflect", false, false}, // otherUnexported
2998 func TestMethodPkgPath(t *testing.T) {
3003 typ := TypeOf((*interface {
3016 {"x", "reflect_test", false},
3017 {"y", "reflect_test", false},
3020 for _, test := range tests {
3021 m, _ := typ.MethodByName(test.name)
3022 if got, want := m.PkgPath, test.pkgPath; got != want {
3023 t.Errorf("MethodByName(%q).PkgPath = %q, want %q", test.name, got, want)
3025 if got, want := m.IsExported(), test.exported; got != want {
3026 t.Errorf("MethodByName(%q).IsExported = %v, want %v", test.name, got, want)
3031 func TestVariadicType(t *testing.T) {
3032 // Test example from Type documentation.
3033 var f func(x int, y ...float64)
3035 if typ.NumIn() == 2 && typ.In(0) == TypeOf(int(0)) {
3037 if sl.Kind() == Slice {
3038 if sl.Elem() == TypeOf(0.0) {
3046 t.Errorf("want NumIn() = 2, In(0) = int, In(1) = []float64")
3047 s := fmt.Sprintf("have NumIn() = %d", typ.NumIn())
3048 for i := 0; i < typ.NumIn(); i++ {
3049 s += fmt.Sprintf(", In(%d) = %s", i, typ.In(i))
3063 func (*inner) M() {}
3064 func (*outer) M() {}
3066 func TestNestedMethods(t *testing.T) {
3067 typ := TypeOf((*outer)(nil))
3068 if typ.NumMethod() != 1 || typ.Method(0).Func.Pointer() != ValueOf((*outer).M).Pointer() {
3069 t.Errorf("Wrong method table for outer: (M=%p)", (*outer).M)
3070 for i := 0; i < typ.NumMethod(); i++ {
3072 t.Errorf("\t%d: %s %#x\n", i, m.Name, m.Func.Pointer())
3079 func (*unexp) f() (int32, int8) { return 7, 7 }
3080 func (*unexp) g() (int64, int8) { return 8, 8 }
3082 type unexpI interface {
3086 var unexpi unexpI = new(unexp)
3088 func TestUnexportedMethods(t *testing.T) {
3089 typ := TypeOf(unexpi)
3091 if got := typ.NumMethod(); got != 0 {
3092 t.Errorf("NumMethod=%d, want 0 satisfied methods", got)
3096 type InnerInt struct {
3100 type OuterInt struct {
3105 func (i *InnerInt) M() int {
3109 func TestEmbeddedMethods(t *testing.T) {
3110 typ := TypeOf((*OuterInt)(nil))
3111 if typ.NumMethod() != 1 || typ.Method(0).Func.Pointer() != ValueOf((*OuterInt).M).Pointer() {
3112 t.Errorf("Wrong method table for OuterInt: (m=%p)", (*OuterInt).M)
3113 for i := 0; i < typ.NumMethod(); i++ {
3115 t.Errorf("\t%d: %s %#x\n", i, m.Name, m.Func.Pointer())
3120 if v := ValueOf(i).Method(0).Call(nil)[0].Int(); v != 3 {
3121 t.Errorf("i.M() = %d, want 3", v)
3124 o := &OuterInt{1, InnerInt{2}}
3125 if v := ValueOf(o).Method(0).Call(nil)[0].Int(); v != 2 {
3126 t.Errorf("i.M() = %d, want 2", v)
3130 if v := f(o); v != 2 {
3131 t.Errorf("f(o) = %d, want 2", v)
3135 type FuncDDD func(...interface{}) error
3137 func (f FuncDDD) M() {}
3139 func TestNumMethodOnDDD(t *testing.T) {
3140 rv := ValueOf((FuncDDD)(nil))
3141 if n := rv.NumMethod(); n != 1 {
3142 t.Fatalf("NumMethod()=%d, want 1", n)
3146 func TestPtrTo(t *testing.T) {
3147 // This block of code means that the ptrToThis field of the
3148 // reflect data for *unsafe.Pointer is non zero, see
3149 // https://golang.org/issue/19003
3150 var x unsafe.Pointer
3157 for i = 0; i < 100; i++ {
3160 for i = 0; i < 100; i++ {
3163 if typ != TypeOf(z) {
3164 t.Errorf("after 100 PtrTo and Elem, have %s, want %s", typ, TypeOf(z))
3168 func TestPtrToGC(t *testing.T) {
3170 tt := TypeOf(T(nil))
3174 for i := 0; i < n; i++ {
3179 v.Elem().Set(ValueOf(p).Convert(pt))
3180 x = append(x, v.Interface())
3184 for i, xi := range x {
3185 k := ValueOf(xi).Elem().Elem().Elem().Interface().(uintptr)
3186 if k != uintptr(i) {
3187 t.Errorf("lost x[%d] = %d, want %d", i, k, i)
3192 func BenchmarkPtrTo(b *testing.B) {
3193 // Construct a type with a zero ptrToThis.
3194 type T struct{ int }
3195 t := SliceOf(TypeOf(T{}))
3196 ptrToThis := ValueOf(t).Elem().FieldByName("ptrToThis")
3197 if !ptrToThis.IsValid() {
3198 b.Fatalf("%v has no ptrToThis field; was it removed from rtype?", t)
3200 if ptrToThis.Int() != 0 {
3201 b.Fatalf("%v.ptrToThis unexpectedly nonzero", t)
3205 // Now benchmark calling PtrTo on it: we'll have to hit the ptrMap cache on
3207 b.RunParallel(func(pb *testing.PB) {
3214 func TestAddr(t *testing.T) {
3226 t.Errorf("Addr.Elem.Set failed to set value")
3229 // Again but take address of the ValueOf value.
3230 // Exercises generation of PtrTypes not present in the binary.
3232 v = ValueOf(&q).Elem()
3241 t.Errorf("Addr.Elem.Set failed to set value")
3244 // Starting without pointer we should get changed value
3247 v = ValueOf(&qq).Elem()
3253 if p.X != 3 { // should be unchanged from last time
3254 t.Errorf("somehow value Set changed original p")
3256 p = v0.Interface().(struct {
3260 t.Errorf("Addr.Elem.Set valued to set value in top value")
3263 // Verify that taking the address of a type gives us a pointer
3264 // which we can convert back using the usual interface
3269 ps := ValueOf(&s).Elem().Field(0).Addr().Interface()
3270 *(ps.(**bool)) = new(bool)
3272 t.Errorf("Addr.Interface direct assignment failed")
3276 func noAlloc(t *testing.T, n int, f func(int)) {
3277 if testing.Short() {
3278 t.Skip("skipping malloc count in short mode")
3280 if runtime.GOMAXPROCS(0) > 1 {
3281 t.Skip("skipping; GOMAXPROCS>1")
3284 allocs := testing.AllocsPerRun(n, func() {
3289 t.Errorf("%d iterations: got %v mallocs, want 0", n, allocs)
3293 func TestAllocations(t *testing.T) {
3294 noAlloc(t, 100, func(j int) {
3298 // We can uncomment this when compiler escape analysis
3299 // is good enough to see that the integer assigned to i
3300 // does not escape and therefore need not be allocated.
3304 // if int(v.Int()) != 42+j {
3305 // panic("wrong int")
3308 i = func(j int) int { return j }
3310 if v.Interface().(func(int) int)(j) != j {
3311 panic("wrong result")
3316 func TestSmallNegativeInt(t *testing.T) {
3320 t.Errorf("int16(-1).Int() returned %v", v.Int())
3324 func TestIndex(t *testing.T) {
3325 xs := []byte{1, 2, 3, 4, 5, 6, 7, 8}
3326 v := ValueOf(xs).Index(3).Interface().(byte)
3328 t.Errorf("xs.Index(3) = %v; expected %v", v, xs[3])
3330 xa := [8]byte{10, 20, 30, 40, 50, 60, 70, 80}
3331 v = ValueOf(xa).Index(2).Interface().(byte)
3333 t.Errorf("xa.Index(2) = %v; expected %v", v, xa[2])
3336 v = ValueOf(s).Index(3).Interface().(byte)
3338 t.Errorf("s.Index(3) = %v; expected %v", v, s[3])
3342 func TestSlice(t *testing.T) {
3343 xs := []int{1, 2, 3, 4, 5, 6, 7, 8}
3344 v := ValueOf(xs).Slice(3, 5).Interface().([]int)
3346 t.Errorf("len(xs.Slice(3, 5)) = %d", len(v))
3349 t.Errorf("cap(xs.Slice(3, 5)) = %d", cap(v))
3351 if !DeepEqual(v[0:5], xs[3:]) {
3352 t.Errorf("xs.Slice(3, 5)[0:5] = %v", v[0:5])
3354 xa := [8]int{10, 20, 30, 40, 50, 60, 70, 80}
3355 v = ValueOf(&xa).Elem().Slice(2, 5).Interface().([]int)
3357 t.Errorf("len(xa.Slice(2, 5)) = %d", len(v))
3360 t.Errorf("cap(xa.Slice(2, 5)) = %d", cap(v))
3362 if !DeepEqual(v[0:6], xa[2:]) {
3363 t.Errorf("xs.Slice(2, 5)[0:6] = %v", v[0:6])
3366 vs := ValueOf(s).Slice(3, 5).Interface().(string)
3368 t.Errorf("s.Slice(3, 5) = %q; expected %q", vs, s[3:5])
3371 rv := ValueOf(&xs).Elem()
3373 ptr2 := rv.Pointer()
3375 ptr3 := rv.Pointer()
3377 t.Errorf("xs.Slice(3,4).Slice3(5,5).Pointer() = %#x, want %#x", ptr3, ptr2)
3381 func TestSlice3(t *testing.T) {
3382 xs := []int{1, 2, 3, 4, 5, 6, 7, 8}
3383 v := ValueOf(xs).Slice3(3, 5, 7).Interface().([]int)
3385 t.Errorf("len(xs.Slice3(3, 5, 7)) = %d", len(v))
3388 t.Errorf("cap(xs.Slice3(3, 5, 7)) = %d", cap(v))
3390 if !DeepEqual(v[0:4], xs[3:7:7]) {
3391 t.Errorf("xs.Slice3(3, 5, 7)[0:4] = %v", v[0:4])
3393 rv := ValueOf(&xs).Elem()
3394 shouldPanic("Slice3", func() { rv.Slice3(1, 2, 1) })
3395 shouldPanic("Slice3", func() { rv.Slice3(1, 1, 11) })
3396 shouldPanic("Slice3", func() { rv.Slice3(2, 2, 1) })
3398 xa := [8]int{10, 20, 30, 40, 50, 60, 70, 80}
3399 v = ValueOf(&xa).Elem().Slice3(2, 5, 6).Interface().([]int)
3401 t.Errorf("len(xa.Slice(2, 5, 6)) = %d", len(v))
3404 t.Errorf("cap(xa.Slice(2, 5, 6)) = %d", cap(v))
3406 if !DeepEqual(v[0:4], xa[2:6:6]) {
3407 t.Errorf("xs.Slice(2, 5, 6)[0:4] = %v", v[0:4])
3409 rv = ValueOf(&xa).Elem()
3410 shouldPanic("Slice3", func() { rv.Slice3(1, 2, 1) })
3411 shouldPanic("Slice3", func() { rv.Slice3(1, 1, 11) })
3412 shouldPanic("Slice3", func() { rv.Slice3(2, 2, 1) })
3415 rv = ValueOf(&s).Elem()
3416 shouldPanic("Slice3", func() { rv.Slice3(1, 2, 3) })
3418 rv = ValueOf(&xs).Elem()
3419 rv = rv.Slice3(3, 5, 7)
3420 ptr2 := rv.Pointer()
3421 rv = rv.Slice3(4, 4, 4)
3422 ptr3 := rv.Pointer()
3424 t.Errorf("xs.Slice3(3,5,7).Slice3(4,4,4).Pointer() = %#x, want %#x", ptr3, ptr2)
3428 func TestSetLenCap(t *testing.T) {
3429 xs := []int{1, 2, 3, 4, 5, 6, 7, 8}
3430 xa := [8]int{10, 20, 30, 40, 50, 60, 70, 80}
3432 vs := ValueOf(&xs).Elem()
3433 shouldPanic("SetLen", func() { vs.SetLen(10) })
3434 shouldPanic("SetCap", func() { vs.SetCap(10) })
3435 shouldPanic("SetLen", func() { vs.SetLen(-1) })
3436 shouldPanic("SetCap", func() { vs.SetCap(-1) })
3437 shouldPanic("SetCap", func() { vs.SetCap(6) }) // smaller than len
3439 if len(xs) != 5 || cap(xs) != 8 {
3440 t.Errorf("after SetLen(5), len, cap = %d, %d, want 5, 8", len(xs), cap(xs))
3443 if len(xs) != 5 || cap(xs) != 6 {
3444 t.Errorf("after SetCap(6), len, cap = %d, %d, want 5, 6", len(xs), cap(xs))
3447 if len(xs) != 5 || cap(xs) != 5 {
3448 t.Errorf("after SetCap(5), len, cap = %d, %d, want 5, 5", len(xs), cap(xs))
3450 shouldPanic("SetCap", func() { vs.SetCap(4) }) // smaller than len
3451 shouldPanic("SetLen", func() { vs.SetLen(6) }) // bigger than cap
3453 va := ValueOf(&xa).Elem()
3454 shouldPanic("SetLen", func() { va.SetLen(8) })
3455 shouldPanic("SetCap", func() { va.SetCap(8) })
3458 func TestVariadic(t *testing.T) {
3463 V(fmt.Fprintf).Call([]Value{V(&b), V("%s, %d world"), V("hello"), V(42)})
3464 if b.String() != "hello, 42 world" {
3465 t.Errorf("after Fprintf Call: %q != %q", b.String(), "hello 42 world")
3469 V(fmt.Fprintf).CallSlice([]Value{V(&b), V("%s, %d world"), V([]interface{}{"hello", 42})})
3470 if b.String() != "hello, 42 world" {
3471 t.Errorf("after Fprintf CallSlice: %q != %q", b.String(), "hello 42 world")
3475 func TestFuncArg(t *testing.T) {
3476 f1 := func(i int, f func(int) int) int { return f(i) }
3477 f2 := func(i int) int { return i + 1 }
3478 r := ValueOf(f1).Call([]Value{ValueOf(100), ValueOf(f2)})
3479 if r[0].Int() != 101 {
3480 t.Errorf("function returned %d, want 101", r[0].Int())
3484 func TestStructArg(t *testing.T) {
3485 type padded struct {
3492 wantA = padded{"3", 4}
3495 f := func(a padded, b uint32) {
3498 ValueOf(f).Call([]Value{ValueOf(wantA), ValueOf(wantB)})
3499 if gotA != wantA || gotB != wantB {
3500 t.Errorf("function called with (%v, %v), want (%v, %v)", gotA, gotB, wantA, wantB)
3504 var tagGetTests = []struct {
3509 {`protobuf:"PB(1,2)"`, `protobuf`, `PB(1,2)`},
3510 {`protobuf:"PB(1,2)"`, `foo`, ``},
3511 {`protobuf:"PB(1,2)"`, `rotobuf`, ``},
3512 {`protobuf:"PB(1,2)" json:"name"`, `json`, `name`},
3513 {`protobuf:"PB(1,2)" json:"name"`, `protobuf`, `PB(1,2)`},
3514 {`k0:"values contain spaces" k1:"and\ttabs"`, "k0", "values contain spaces"},
3515 {`k0:"values contain spaces" k1:"and\ttabs"`, "k1", "and\ttabs"},
3518 func TestTagGet(t *testing.T) {
3519 for _, tt := range tagGetTests {
3520 if v := tt.Tag.Get(tt.Key); v != tt.Value {
3521 t.Errorf("StructTag(%#q).Get(%#q) = %#q, want %#q", tt.Tag, tt.Key, v, tt.Value)
3526 func TestBytes(t *testing.T) {
3529 y := ValueOf(x).Bytes()
3530 if !bytes.Equal(x, y) {
3531 t.Fatalf("ValueOf(%v).Bytes() = %v", x, y)
3534 t.Errorf("ValueOf(%p).Bytes() = %p", &x[0], &y[0])
3538 func TestSetBytes(t *testing.T) {
3541 y := []byte{1, 2, 3, 4}
3542 ValueOf(&x).Elem().SetBytes(y)
3543 if !bytes.Equal(x, y) {
3544 t.Fatalf("ValueOf(%v).Bytes() = %v", x, y)
3547 t.Errorf("ValueOf(%p).Bytes() = %p", &x[0], &y[0])
3551 type Private struct {
3557 func (p *Private) m() {
3560 type private struct {
3568 func (p *private) P() {
3571 type Public struct {
3577 func (p *Public) M() {
3580 func TestUnexported(t *testing.T) {
3585 isValid(v.Elem().Field(0))
3586 isValid(v.Elem().Field(1))
3587 isValid(v.Elem().Field(2))
3588 isValid(v.Elem().FieldByName("X"))
3589 isValid(v.Elem().FieldByName("Y"))
3590 isValid(v.Elem().FieldByName("Z"))
3591 isValid(v.Type().Method(0).Func)
3592 m, _ := v.Type().MethodByName("M")
3594 m, _ = v.Type().MethodByName("P")
3596 isNonNil(v.Elem().Field(0).Interface())
3597 isNonNil(v.Elem().Field(1).Interface())
3598 isNonNil(v.Elem().Field(2).Field(2).Index(0))
3599 isNonNil(v.Elem().FieldByName("X").Interface())
3600 isNonNil(v.Elem().FieldByName("Y").Interface())
3601 isNonNil(v.Elem().FieldByName("Z").Interface())
3602 isNonNil(v.Elem().FieldByName("S").Index(0).Interface())
3603 isNonNil(v.Type().Method(0).Func.Interface())
3604 m, _ = v.Type().MethodByName("P")
3605 isNonNil(m.Func.Interface())
3609 isValid(v.Elem().Field(0))
3610 isValid(v.Elem().Field(1))
3611 isValid(v.Elem().FieldByName("x"))
3612 isValid(v.Elem().FieldByName("y"))
3613 shouldPanic("Interface", func() { v.Elem().Field(0).Interface() })
3614 shouldPanic("Interface", func() { v.Elem().Field(1).Interface() })
3615 shouldPanic("Interface", func() { v.Elem().FieldByName("x").Interface() })
3616 shouldPanic("Interface", func() { v.Elem().FieldByName("y").Interface() })
3617 shouldPanic("Method", func() { v.Type().Method(0) })
3620 func TestSetPanic(t *testing.T) {
3621 ok := func(f func()) { f() }
3622 bad := func(f func()) { shouldPanic("Set", f) }
3623 clear := func(v Value) { v.Set(Zero(v.Type())) }
3651 bad(func() { clear(v.Field(0)) }) // .X
3652 bad(func() { clear(v.Field(1)) }) // .t1
3653 bad(func() { clear(v.Field(1).Field(0)) }) // .t1.Y
3654 bad(func() { clear(v.Field(1).Field(1)) }) // .t1.t0
3655 bad(func() { clear(v.Field(1).Field(1).Field(0)) }) // .t1.t0.W
3656 bad(func() { clear(v.Field(2)) }) // .T2
3657 bad(func() { clear(v.Field(2).Field(0)) }) // .T2.Z
3658 bad(func() { clear(v.Field(2).Field(1)) }) // .T2.namedT0
3659 bad(func() { clear(v.Field(2).Field(1).Field(0)) }) // .T2.namedT0.W
3660 bad(func() { clear(v.Field(3)) }) // .NamedT1
3661 bad(func() { clear(v.Field(3).Field(0)) }) // .NamedT1.Y
3662 bad(func() { clear(v.Field(3).Field(1)) }) // .NamedT1.t0
3663 bad(func() { clear(v.Field(3).Field(1).Field(0)) }) // .NamedT1.t0.W
3664 bad(func() { clear(v.Field(4)) }) // .NamedT2
3665 bad(func() { clear(v.Field(4).Field(0)) }) // .NamedT2.Z
3666 bad(func() { clear(v.Field(4).Field(1)) }) // .NamedT2.namedT0
3667 bad(func() { clear(v.Field(4).Field(1).Field(0)) }) // .NamedT2.namedT0.W
3668 bad(func() { clear(v.Field(5)) }) // .namedT1
3669 bad(func() { clear(v.Field(5).Field(0)) }) // .namedT1.Y
3670 bad(func() { clear(v.Field(5).Field(1)) }) // .namedT1.t0
3671 bad(func() { clear(v.Field(5).Field(1).Field(0)) }) // .namedT1.t0.W
3672 bad(func() { clear(v.Field(6)) }) // .namedT2
3673 bad(func() { clear(v.Field(6).Field(0)) }) // .namedT2.Z
3674 bad(func() { clear(v.Field(6).Field(1)) }) // .namedT2.namedT0
3675 bad(func() { clear(v.Field(6).Field(1).Field(0)) }) // .namedT2.namedT0.W
3678 v = ValueOf(&T{}).Elem()
3679 ok(func() { clear(v.Field(0)) }) // .X
3680 bad(func() { clear(v.Field(1)) }) // .t1
3681 ok(func() { clear(v.Field(1).Field(0)) }) // .t1.Y
3682 bad(func() { clear(v.Field(1).Field(1)) }) // .t1.t0
3683 ok(func() { clear(v.Field(1).Field(1).Field(0)) }) // .t1.t0.W
3684 ok(func() { clear(v.Field(2)) }) // .T2
3685 ok(func() { clear(v.Field(2).Field(0)) }) // .T2.Z
3686 bad(func() { clear(v.Field(2).Field(1)) }) // .T2.namedT0
3687 bad(func() { clear(v.Field(2).Field(1).Field(0)) }) // .T2.namedT0.W
3688 ok(func() { clear(v.Field(3)) }) // .NamedT1
3689 ok(func() { clear(v.Field(3).Field(0)) }) // .NamedT1.Y
3690 bad(func() { clear(v.Field(3).Field(1)) }) // .NamedT1.t0
3691 ok(func() { clear(v.Field(3).Field(1).Field(0)) }) // .NamedT1.t0.W
3692 ok(func() { clear(v.Field(4)) }) // .NamedT2
3693 ok(func() { clear(v.Field(4).Field(0)) }) // .NamedT2.Z
3694 bad(func() { clear(v.Field(4).Field(1)) }) // .NamedT2.namedT0
3695 bad(func() { clear(v.Field(4).Field(1).Field(0)) }) // .NamedT2.namedT0.W
3696 bad(func() { clear(v.Field(5)) }) // .namedT1
3697 bad(func() { clear(v.Field(5).Field(0)) }) // .namedT1.Y
3698 bad(func() { clear(v.Field(5).Field(1)) }) // .namedT1.t0
3699 bad(func() { clear(v.Field(5).Field(1).Field(0)) }) // .namedT1.t0.W
3700 bad(func() { clear(v.Field(6)) }) // .namedT2
3701 bad(func() { clear(v.Field(6).Field(0)) }) // .namedT2.Z
3702 bad(func() { clear(v.Field(6).Field(1)) }) // .namedT2.namedT0
3703 bad(func() { clear(v.Field(6).Field(1).Field(0)) }) // .namedT2.namedT0.W
3708 func (t timp) W() {}
3709 func (t timp) Y() {}
3710 func (t timp) w() {}
3711 func (t timp) y() {}
3713 func TestCallPanic(t *testing.T) {
3738 ok := func(f func()) { f() }
3739 badCall := func(f func()) { shouldPanic("Call", f) }
3740 badMethod := func(f func()) { shouldPanic("Method", f) }
3741 call := func(v Value) { v.Call(nil) }
3744 v := ValueOf(T{i, i, i, i, T2{i, i}, i, i, T2{i, i}})
3745 badCall(func() { call(v.Field(0).Method(0)) }) // .t0.W
3746 badCall(func() { call(v.Field(0).Elem().Method(0)) }) // .t0.W
3747 badCall(func() { call(v.Field(0).Method(1)) }) // .t0.w
3748 badMethod(func() { call(v.Field(0).Elem().Method(2)) }) // .t0.w
3749 ok(func() { call(v.Field(1).Method(0)) }) // .T1.Y
3750 ok(func() { call(v.Field(1).Elem().Method(0)) }) // .T1.Y
3751 badCall(func() { call(v.Field(1).Method(1)) }) // .T1.y
3752 badMethod(func() { call(v.Field(1).Elem().Method(2)) }) // .T1.y
3754 ok(func() { call(v.Field(2).Method(0)) }) // .NamedT0.W
3755 ok(func() { call(v.Field(2).Elem().Method(0)) }) // .NamedT0.W
3756 badCall(func() { call(v.Field(2).Method(1)) }) // .NamedT0.w
3757 badMethod(func() { call(v.Field(2).Elem().Method(2)) }) // .NamedT0.w
3759 ok(func() { call(v.Field(3).Method(0)) }) // .NamedT1.Y
3760 ok(func() { call(v.Field(3).Elem().Method(0)) }) // .NamedT1.Y
3761 badCall(func() { call(v.Field(3).Method(1)) }) // .NamedT1.y
3762 badMethod(func() { call(v.Field(3).Elem().Method(3)) }) // .NamedT1.y
3764 ok(func() { call(v.Field(4).Field(0).Method(0)) }) // .NamedT2.T1.Y
3765 ok(func() { call(v.Field(4).Field(0).Elem().Method(0)) }) // .NamedT2.T1.W
3766 badCall(func() { call(v.Field(4).Field(1).Method(0)) }) // .NamedT2.t0.W
3767 badCall(func() { call(v.Field(4).Field(1).Elem().Method(0)) }) // .NamedT2.t0.W
3769 badCall(func() { call(v.Field(5).Method(0)) }) // .namedT0.W
3770 badCall(func() { call(v.Field(5).Elem().Method(0)) }) // .namedT0.W
3771 badCall(func() { call(v.Field(5).Method(1)) }) // .namedT0.w
3772 badMethod(func() { call(v.Field(5).Elem().Method(2)) }) // .namedT0.w
3774 badCall(func() { call(v.Field(6).Method(0)) }) // .namedT1.Y
3775 badCall(func() { call(v.Field(6).Elem().Method(0)) }) // .namedT1.Y
3776 badCall(func() { call(v.Field(6).Method(0)) }) // .namedT1.y
3777 badCall(func() { call(v.Field(6).Elem().Method(0)) }) // .namedT1.y
3779 badCall(func() { call(v.Field(7).Field(0).Method(0)) }) // .namedT2.T1.Y
3780 badCall(func() { call(v.Field(7).Field(0).Elem().Method(0)) }) // .namedT2.T1.W
3781 badCall(func() { call(v.Field(7).Field(1).Method(0)) }) // .namedT2.t0.W
3782 badCall(func() { call(v.Field(7).Field(1).Elem().Method(0)) }) // .namedT2.t0.W
3785 func shouldPanic(expect string, f func()) {
3789 panic("did not panic")
3793 switch r := r.(type) {
3799 panic(fmt.Sprintf("panicked with unexpected type %T", r))
3801 if !strings.HasPrefix(s, "reflect") {
3802 panic(`panic string does not start with "reflect": ` + s)
3804 if !strings.Contains(s, expect) {
3805 panic(`panic string does not contain "` + expect + `": ` + s)
3812 func isNonNil(x interface{}) {
3814 panic("nil interface")
3818 func isValid(v Value) {
3824 func TestAlias(t *testing.T) {
3825 x := string("hello")
3826 v := ValueOf(&x).Elem()
3827 oldvalue := v.Interface()
3828 v.SetString("world")
3829 newvalue := v.Interface()
3831 if oldvalue != "hello" || newvalue != "world" {
3832 t.Errorf("aliasing: old=%q new=%q, want hello, world", oldvalue, newvalue)
3838 func EmptyInterfaceV(x interface{}) Value {
3839 return ValueOf(&x).Elem()
3842 func ReaderV(x io.Reader) Value {
3843 return ValueOf(&x).Elem()
3846 func ReadWriterV(x io.ReadWriter) Value {
3847 return ValueOf(&x).Elem()
3851 type MyStruct struct {
3854 type MyStruct1 struct {
3859 type MyStruct2 struct {
3864 type MyString string
3866 type MyBytesArrayPtr0 *[0]byte
3867 type MyBytesArrayPtr *[4]byte
3868 type MyBytesArray0 [0]byte
3869 type MyBytesArray [4]byte
3870 type MyRunes []int32
3874 type IntChan chan int
3875 type IntChanRecv <-chan int
3876 type IntChanSend chan<- int
3877 type BytesChan chan []byte
3878 type BytesChanRecv <-chan []byte
3879 type BytesChanSend chan<- []byte
3881 var convertTests = []struct {
3887 Edit .+1,/\*\//-1>cat >/tmp/x.go && go run /tmp/x.go
3893 var numbers = []string{
3894 "int8", "uint8", "int16", "uint16",
3895 "int32", "uint32", "int64", "uint64",
3896 "int", "uint", "uintptr",
3897 "float32", "float64",
3901 // all pairs but in an unusual order,
3902 // to emit all the int8, uint8 cases
3903 // before n grows too big.
3905 for i, f := range numbers {
3906 for _, g := range numbers[i:] {
3907 fmt.Printf("\t{V(%s(%d)), V(%s(%d))},\n", f, n, g, n)
3910 fmt.Printf("\t{V(%s(%d)), V(%s(%d))},\n", g, n, f, n)
3917 {V(int8(1)), V(int8(1))},
3918 {V(int8(2)), V(uint8(2))},
3919 {V(uint8(3)), V(int8(3))},
3920 {V(int8(4)), V(int16(4))},
3921 {V(int16(5)), V(int8(5))},
3922 {V(int8(6)), V(uint16(6))},
3923 {V(uint16(7)), V(int8(7))},
3924 {V(int8(8)), V(int32(8))},
3925 {V(int32(9)), V(int8(9))},
3926 {V(int8(10)), V(uint32(10))},
3927 {V(uint32(11)), V(int8(11))},
3928 {V(int8(12)), V(int64(12))},
3929 {V(int64(13)), V(int8(13))},
3930 {V(int8(14)), V(uint64(14))},
3931 {V(uint64(15)), V(int8(15))},
3932 {V(int8(16)), V(int(16))},
3933 {V(int(17)), V(int8(17))},
3934 {V(int8(18)), V(uint(18))},
3935 {V(uint(19)), V(int8(19))},
3936 {V(int8(20)), V(uintptr(20))},
3937 {V(uintptr(21)), V(int8(21))},
3938 {V(int8(22)), V(float32(22))},
3939 {V(float32(23)), V(int8(23))},
3940 {V(int8(24)), V(float64(24))},
3941 {V(float64(25)), V(int8(25))},
3942 {V(uint8(26)), V(uint8(26))},
3943 {V(uint8(27)), V(int16(27))},
3944 {V(int16(28)), V(uint8(28))},
3945 {V(uint8(29)), V(uint16(29))},
3946 {V(uint16(30)), V(uint8(30))},
3947 {V(uint8(31)), V(int32(31))},
3948 {V(int32(32)), V(uint8(32))},
3949 {V(uint8(33)), V(uint32(33))},
3950 {V(uint32(34)), V(uint8(34))},
3951 {V(uint8(35)), V(int64(35))},
3952 {V(int64(36)), V(uint8(36))},
3953 {V(uint8(37)), V(uint64(37))},
3954 {V(uint64(38)), V(uint8(38))},
3955 {V(uint8(39)), V(int(39))},
3956 {V(int(40)), V(uint8(40))},
3957 {V(uint8(41)), V(uint(41))},
3958 {V(uint(42)), V(uint8(42))},
3959 {V(uint8(43)), V(uintptr(43))},
3960 {V(uintptr(44)), V(uint8(44))},
3961 {V(uint8(45)), V(float32(45))},
3962 {V(float32(46)), V(uint8(46))},
3963 {V(uint8(47)), V(float64(47))},
3964 {V(float64(48)), V(uint8(48))},
3965 {V(int16(49)), V(int16(49))},
3966 {V(int16(50)), V(uint16(50))},
3967 {V(uint16(51)), V(int16(51))},
3968 {V(int16(52)), V(int32(52))},
3969 {V(int32(53)), V(int16(53))},
3970 {V(int16(54)), V(uint32(54))},
3971 {V(uint32(55)), V(int16(55))},
3972 {V(int16(56)), V(int64(56))},
3973 {V(int64(57)), V(int16(57))},
3974 {V(int16(58)), V(uint64(58))},
3975 {V(uint64(59)), V(int16(59))},
3976 {V(int16(60)), V(int(60))},
3977 {V(int(61)), V(int16(61))},
3978 {V(int16(62)), V(uint(62))},
3979 {V(uint(63)), V(int16(63))},
3980 {V(int16(64)), V(uintptr(64))},
3981 {V(uintptr(65)), V(int16(65))},
3982 {V(int16(66)), V(float32(66))},
3983 {V(float32(67)), V(int16(67))},
3984 {V(int16(68)), V(float64(68))},
3985 {V(float64(69)), V(int16(69))},
3986 {V(uint16(70)), V(uint16(70))},
3987 {V(uint16(71)), V(int32(71))},
3988 {V(int32(72)), V(uint16(72))},
3989 {V(uint16(73)), V(uint32(73))},
3990 {V(uint32(74)), V(uint16(74))},
3991 {V(uint16(75)), V(int64(75))},
3992 {V(int64(76)), V(uint16(76))},
3993 {V(uint16(77)), V(uint64(77))},
3994 {V(uint64(78)), V(uint16(78))},
3995 {V(uint16(79)), V(int(79))},
3996 {V(int(80)), V(uint16(80))},
3997 {V(uint16(81)), V(uint(81))},
3998 {V(uint(82)), V(uint16(82))},
3999 {V(uint16(83)), V(uintptr(83))},
4000 {V(uintptr(84)), V(uint16(84))},
4001 {V(uint16(85)), V(float32(85))},
4002 {V(float32(86)), V(uint16(86))},
4003 {V(uint16(87)), V(float64(87))},
4004 {V(float64(88)), V(uint16(88))},
4005 {V(int32(89)), V(int32(89))},
4006 {V(int32(90)), V(uint32(90))},
4007 {V(uint32(91)), V(int32(91))},
4008 {V(int32(92)), V(int64(92))},
4009 {V(int64(93)), V(int32(93))},
4010 {V(int32(94)), V(uint64(94))},
4011 {V(uint64(95)), V(int32(95))},
4012 {V(int32(96)), V(int(96))},
4013 {V(int(97)), V(int32(97))},
4014 {V(int32(98)), V(uint(98))},
4015 {V(uint(99)), V(int32(99))},
4016 {V(int32(100)), V(uintptr(100))},
4017 {V(uintptr(101)), V(int32(101))},
4018 {V(int32(102)), V(float32(102))},
4019 {V(float32(103)), V(int32(103))},
4020 {V(int32(104)), V(float64(104))},
4021 {V(float64(105)), V(int32(105))},
4022 {V(uint32(106)), V(uint32(106))},
4023 {V(uint32(107)), V(int64(107))},
4024 {V(int64(108)), V(uint32(108))},
4025 {V(uint32(109)), V(uint64(109))},
4026 {V(uint64(110)), V(uint32(110))},
4027 {V(uint32(111)), V(int(111))},
4028 {V(int(112)), V(uint32(112))},
4029 {V(uint32(113)), V(uint(113))},
4030 {V(uint(114)), V(uint32(114))},
4031 {V(uint32(115)), V(uintptr(115))},
4032 {V(uintptr(116)), V(uint32(116))},
4033 {V(uint32(117)), V(float32(117))},
4034 {V(float32(118)), V(uint32(118))},
4035 {V(uint32(119)), V(float64(119))},
4036 {V(float64(120)), V(uint32(120))},
4037 {V(int64(121)), V(int64(121))},
4038 {V(int64(122)), V(uint64(122))},
4039 {V(uint64(123)), V(int64(123))},
4040 {V(int64(124)), V(int(124))},
4041 {V(int(125)), V(int64(125))},
4042 {V(int64(126)), V(uint(126))},
4043 {V(uint(127)), V(int64(127))},
4044 {V(int64(128)), V(uintptr(128))},
4045 {V(uintptr(129)), V(int64(129))},
4046 {V(int64(130)), V(float32(130))},
4047 {V(float32(131)), V(int64(131))},
4048 {V(int64(132)), V(float64(132))},
4049 {V(float64(133)), V(int64(133))},
4050 {V(uint64(134)), V(uint64(134))},
4051 {V(uint64(135)), V(int(135))},
4052 {V(int(136)), V(uint64(136))},
4053 {V(uint64(137)), V(uint(137))},
4054 {V(uint(138)), V(uint64(138))},
4055 {V(uint64(139)), V(uintptr(139))},
4056 {V(uintptr(140)), V(uint64(140))},
4057 {V(uint64(141)), V(float32(141))},
4058 {V(float32(142)), V(uint64(142))},
4059 {V(uint64(143)), V(float64(143))},
4060 {V(float64(144)), V(uint64(144))},
4061 {V(int(145)), V(int(145))},
4062 {V(int(146)), V(uint(146))},
4063 {V(uint(147)), V(int(147))},
4064 {V(int(148)), V(uintptr(148))},
4065 {V(uintptr(149)), V(int(149))},
4066 {V(int(150)), V(float32(150))},
4067 {V(float32(151)), V(int(151))},
4068 {V(int(152)), V(float64(152))},
4069 {V(float64(153)), V(int(153))},
4070 {V(uint(154)), V(uint(154))},
4071 {V(uint(155)), V(uintptr(155))},
4072 {V(uintptr(156)), V(uint(156))},
4073 {V(uint(157)), V(float32(157))},
4074 {V(float32(158)), V(uint(158))},
4075 {V(uint(159)), V(float64(159))},
4076 {V(float64(160)), V(uint(160))},
4077 {V(uintptr(161)), V(uintptr(161))},
4078 {V(uintptr(162)), V(float32(162))},
4079 {V(float32(163)), V(uintptr(163))},
4080 {V(uintptr(164)), V(float64(164))},
4081 {V(float64(165)), V(uintptr(165))},
4082 {V(float32(166)), V(float32(166))},
4083 {V(float32(167)), V(float64(167))},
4084 {V(float64(168)), V(float32(168))},
4085 {V(float64(169)), V(float64(169))},
4088 {V(float64(1.5)), V(int(1))},
4091 {V(complex64(1i)), V(complex64(1i))},
4092 {V(complex64(2i)), V(complex128(2i))},
4093 {V(complex128(3i)), V(complex64(3i))},
4094 {V(complex128(4i)), V(complex128(4i))},
4097 {V(string("hello")), V(string("hello"))},
4098 {V(string("bytes1")), V([]byte("bytes1"))},
4099 {V([]byte("bytes2")), V(string("bytes2"))},
4100 {V([]byte("bytes3")), V([]byte("bytes3"))},
4101 {V(string("runes♝")), V([]rune("runes♝"))},
4102 {V([]rune("runes♕")), V(string("runes♕"))},
4103 {V([]rune("runes🙈🙉🙊")), V([]rune("runes🙈🙉🙊"))},
4104 {V(int('a')), V(string("a"))},
4105 {V(int8('a')), V(string("a"))},
4106 {V(int16('a')), V(string("a"))},
4107 {V(int32('a')), V(string("a"))},
4108 {V(int64('a')), V(string("a"))},
4109 {V(uint('a')), V(string("a"))},
4110 {V(uint8('a')), V(string("a"))},
4111 {V(uint16('a')), V(string("a"))},
4112 {V(uint32('a')), V(string("a"))},
4113 {V(uint64('a')), V(string("a"))},
4114 {V(uintptr('a')), V(string("a"))},
4115 {V(int(-1)), V(string("\uFFFD"))},
4116 {V(int8(-2)), V(string("\uFFFD"))},
4117 {V(int16(-3)), V(string("\uFFFD"))},
4118 {V(int32(-4)), V(string("\uFFFD"))},
4119 {V(int64(-5)), V(string("\uFFFD"))},
4120 {V(int64(-1 << 32)), V(string("\uFFFD"))},
4121 {V(int64(1 << 32)), V(string("\uFFFD"))},
4122 {V(uint(0x110001)), V(string("\uFFFD"))},
4123 {V(uint32(0x110002)), V(string("\uFFFD"))},
4124 {V(uint64(0x110003)), V(string("\uFFFD"))},
4125 {V(uint64(1 << 32)), V(string("\uFFFD"))},
4126 {V(uintptr(0x110004)), V(string("\uFFFD"))},
4129 {V(MyString("hello")), V(string("hello"))},
4130 {V(string("hello")), V(MyString("hello"))},
4131 {V(string("hello")), V(string("hello"))},
4132 {V(MyString("hello")), V(MyString("hello"))},
4133 {V(MyString("bytes1")), V([]byte("bytes1"))},
4134 {V([]byte("bytes2")), V(MyString("bytes2"))},
4135 {V([]byte("bytes3")), V([]byte("bytes3"))},
4136 {V(MyString("runes♝")), V([]rune("runes♝"))},
4137 {V([]rune("runes♕")), V(MyString("runes♕"))},
4138 {V([]rune("runes🙈🙉🙊")), V([]rune("runes🙈🙉🙊"))},
4139 {V([]rune("runes🙈🙉🙊")), V(MyRunes("runes🙈🙉🙊"))},
4140 {V(MyRunes("runes🙈🙉🙊")), V([]rune("runes🙈🙉🙊"))},
4141 {V(int('a')), V(MyString("a"))},
4142 {V(int8('a')), V(MyString("a"))},
4143 {V(int16('a')), V(MyString("a"))},
4144 {V(int32('a')), V(MyString("a"))},
4145 {V(int64('a')), V(MyString("a"))},
4146 {V(uint('a')), V(MyString("a"))},
4147 {V(uint8('a')), V(MyString("a"))},
4148 {V(uint16('a')), V(MyString("a"))},
4149 {V(uint32('a')), V(MyString("a"))},
4150 {V(uint64('a')), V(MyString("a"))},
4151 {V(uintptr('a')), V(MyString("a"))},
4152 {V(int(-1)), V(MyString("\uFFFD"))},
4153 {V(int8(-2)), V(MyString("\uFFFD"))},
4154 {V(int16(-3)), V(MyString("\uFFFD"))},
4155 {V(int32(-4)), V(MyString("\uFFFD"))},
4156 {V(int64(-5)), V(MyString("\uFFFD"))},
4157 {V(uint(0x110001)), V(MyString("\uFFFD"))},
4158 {V(uint32(0x110002)), V(MyString("\uFFFD"))},
4159 {V(uint64(0x110003)), V(MyString("\uFFFD"))},
4160 {V(uintptr(0x110004)), V(MyString("\uFFFD"))},
4163 {V(string("bytes1")), V(MyBytes("bytes1"))},
4164 {V(MyBytes("bytes2")), V(string("bytes2"))},
4165 {V(MyBytes("bytes3")), V(MyBytes("bytes3"))},
4166 {V(MyString("bytes1")), V(MyBytes("bytes1"))},
4167 {V(MyBytes("bytes2")), V(MyString("bytes2"))},
4170 {V(string("runes♝")), V(MyRunes("runes♝"))},
4171 {V(MyRunes("runes♕")), V(string("runes♕"))},
4172 {V(MyRunes("runes🙈🙉🙊")), V(MyRunes("runes🙈🙉🙊"))},
4173 {V(MyString("runes♝")), V(MyRunes("runes♝"))},
4174 {V(MyRunes("runes♕")), V(MyString("runes♕"))},
4176 // slice to array pointer
4177 {V([]byte(nil)), V((*[0]byte)(nil))},
4178 {V([]byte{}), V(new([0]byte))},
4179 {V([]byte{7}), V(&[1]byte{7})},
4180 {V(MyBytes([]byte(nil))), V((*[0]byte)(nil))},
4181 {V(MyBytes([]byte{})), V(new([0]byte))},
4182 {V(MyBytes([]byte{9})), V(&[1]byte{9})},
4183 {V([]byte(nil)), V(MyBytesArrayPtr0(nil))},
4184 {V([]byte{}), V(MyBytesArrayPtr0(new([0]byte)))},
4185 {V([]byte{1, 2, 3, 4}), V(MyBytesArrayPtr(&[4]byte{1, 2, 3, 4}))},
4186 {V(MyBytes([]byte{})), V(MyBytesArrayPtr0(new([0]byte)))},
4187 {V(MyBytes([]byte{5, 6, 7, 8})), V(MyBytesArrayPtr(&[4]byte{5, 6, 7, 8}))},
4189 {V([]byte(nil)), V((*MyBytesArray0)(nil))},
4190 {V([]byte{}), V((*MyBytesArray0)(new([0]byte)))},
4191 {V([]byte{1, 2, 3, 4}), V(&MyBytesArray{1, 2, 3, 4})},
4192 {V(MyBytes([]byte(nil))), V((*MyBytesArray0)(nil))},
4193 {V(MyBytes([]byte{})), V((*MyBytesArray0)(new([0]byte)))},
4194 {V(MyBytes([]byte{5, 6, 7, 8})), V(&MyBytesArray{5, 6, 7, 8})},
4195 {V(new([0]byte)), V(new(MyBytesArray0))},
4196 {V(new(MyBytesArray0)), V(new([0]byte))},
4197 {V(MyBytesArrayPtr0(nil)), V((*[0]byte)(nil))},
4198 {V((*[0]byte)(nil)), V(MyBytesArrayPtr0(nil))},
4200 // named types and equal underlying types
4201 {V(new(int)), V(new(integer))},
4202 {V(new(integer)), V(new(int))},
4203 {V(Empty{}), V(struct{}{})},
4204 {V(new(Empty)), V(new(struct{}))},
4205 {V(struct{}{}), V(Empty{})},
4206 {V(new(struct{})), V(new(Empty))},
4207 {V(Empty{}), V(Empty{})},
4208 {V(MyBytes{}), V([]byte{})},
4209 {V([]byte{}), V(MyBytes{})},
4210 {V((func())(nil)), V(MyFunc(nil))},
4211 {V((MyFunc)(nil)), V((func())(nil))},
4213 // structs with different tags
4226 {V(MyStruct{}), V(struct {
4232 }{}), V(MyStruct{})},
4234 {V(MyStruct{}), V(struct {
4240 }{}), V(MyStruct{})},
4242 {V(MyStruct1{}), V(MyStruct2{})},
4243 {V(MyStruct2{}), V(MyStruct1{})},
4245 // can convert *byte and *MyByte
4246 {V((*byte)(nil)), V((*MyByte)(nil))},
4247 {V((*MyByte)(nil)), V((*byte)(nil))},
4249 // cannot convert mismatched array sizes
4250 {V([2]byte{}), V([2]byte{})},
4251 {V([3]byte{}), V([3]byte{})},
4253 // cannot convert other instances
4254 {V((**byte)(nil)), V((**byte)(nil))},
4255 {V((**MyByte)(nil)), V((**MyByte)(nil))},
4256 {V((chan byte)(nil)), V((chan byte)(nil))},
4257 {V((chan MyByte)(nil)), V((chan MyByte)(nil))},
4258 {V(([]byte)(nil)), V(([]byte)(nil))},
4259 {V(([]MyByte)(nil)), V(([]MyByte)(nil))},
4260 {V((map[int]byte)(nil)), V((map[int]byte)(nil))},
4261 {V((map[int]MyByte)(nil)), V((map[int]MyByte)(nil))},
4262 {V((map[byte]int)(nil)), V((map[byte]int)(nil))},
4263 {V((map[MyByte]int)(nil)), V((map[MyByte]int)(nil))},
4264 {V([2]byte{}), V([2]byte{})},
4265 {V([2]MyByte{}), V([2]MyByte{})},
4268 {V((***int)(nil)), V((***int)(nil))},
4269 {V((***byte)(nil)), V((***byte)(nil))},
4270 {V((***int32)(nil)), V((***int32)(nil))},
4271 {V((***int64)(nil)), V((***int64)(nil))},
4272 {V((chan byte)(nil)), V((chan byte)(nil))},
4273 {V((chan MyByte)(nil)), V((chan MyByte)(nil))},
4274 {V((map[int]bool)(nil)), V((map[int]bool)(nil))},
4275 {V((map[int]byte)(nil)), V((map[int]byte)(nil))},
4276 {V((map[uint]bool)(nil)), V((map[uint]bool)(nil))},
4277 {V([]uint(nil)), V([]uint(nil))},
4278 {V([]int(nil)), V([]int(nil))},
4279 {V(new(interface{})), V(new(interface{}))},
4280 {V(new(io.Reader)), V(new(io.Reader))},
4281 {V(new(io.Writer)), V(new(io.Writer))},
4284 {V(IntChan(nil)), V((chan<- int)(nil))},
4285 {V(IntChan(nil)), V((<-chan int)(nil))},
4286 {V((chan int)(nil)), V(IntChanRecv(nil))},
4287 {V((chan int)(nil)), V(IntChanSend(nil))},
4288 {V(IntChanRecv(nil)), V((<-chan int)(nil))},
4289 {V((<-chan int)(nil)), V(IntChanRecv(nil))},
4290 {V(IntChanSend(nil)), V((chan<- int)(nil))},
4291 {V((chan<- int)(nil)), V(IntChanSend(nil))},
4292 {V(IntChan(nil)), V((chan int)(nil))},
4293 {V((chan int)(nil)), V(IntChan(nil))},
4294 {V((chan int)(nil)), V((<-chan int)(nil))},
4295 {V((chan int)(nil)), V((chan<- int)(nil))},
4296 {V(BytesChan(nil)), V((chan<- []byte)(nil))},
4297 {V(BytesChan(nil)), V((<-chan []byte)(nil))},
4298 {V((chan []byte)(nil)), V(BytesChanRecv(nil))},
4299 {V((chan []byte)(nil)), V(BytesChanSend(nil))},
4300 {V(BytesChanRecv(nil)), V((<-chan []byte)(nil))},
4301 {V((<-chan []byte)(nil)), V(BytesChanRecv(nil))},
4302 {V(BytesChanSend(nil)), V((chan<- []byte)(nil))},
4303 {V((chan<- []byte)(nil)), V(BytesChanSend(nil))},
4304 {V(BytesChan(nil)), V((chan []byte)(nil))},
4305 {V((chan []byte)(nil)), V(BytesChan(nil))},
4306 {V((chan []byte)(nil)), V((<-chan []byte)(nil))},
4307 {V((chan []byte)(nil)), V((chan<- []byte)(nil))},
4309 // cannot convert other instances (channels)
4310 {V(IntChan(nil)), V(IntChan(nil))},
4311 {V(IntChanRecv(nil)), V(IntChanRecv(nil))},
4312 {V(IntChanSend(nil)), V(IntChanSend(nil))},
4313 {V(BytesChan(nil)), V(BytesChan(nil))},
4314 {V(BytesChanRecv(nil)), V(BytesChanRecv(nil))},
4315 {V(BytesChanSend(nil)), V(BytesChanSend(nil))},
4318 {V(int(1)), EmptyInterfaceV(int(1))},
4319 {V(string("hello")), EmptyInterfaceV(string("hello"))},
4320 {V(new(bytes.Buffer)), ReaderV(new(bytes.Buffer))},
4321 {ReadWriterV(new(bytes.Buffer)), ReaderV(new(bytes.Buffer))},
4322 {V(new(bytes.Buffer)), ReadWriterV(new(bytes.Buffer))},
4325 func TestConvert(t *testing.T) {
4326 canConvert := map[[2]Type]bool{}
4327 all := map[Type]bool{}
4329 for _, tt := range convertTests {
4331 if !t1.ConvertibleTo(t1) {
4332 t.Errorf("(%s).ConvertibleTo(%s) = false, want true", t1, t1)
4337 if !t1.ConvertibleTo(t2) {
4338 t.Errorf("(%s).ConvertibleTo(%s) = false, want true", t1, t2)
4344 canConvert[[2]Type{t1, t2}] = true
4346 // vout1 represents the in value converted to the in type.
4348 if !v1.CanConvert(t1) {
4349 t.Errorf("ValueOf(%T(%[1]v)).CanConvert(%s) = false, want true", tt.in.Interface(), t1)
4351 vout1 := v1.Convert(t1)
4352 out1 := vout1.Interface()
4353 if vout1.Type() != tt.in.Type() || !DeepEqual(out1, tt.in.Interface()) {
4354 t.Errorf("ValueOf(%T(%[1]v)).Convert(%s) = %T(%[3]v), want %T(%[4]v)", tt.in.Interface(), t1, out1, tt.in.Interface())
4357 // vout2 represents the in value converted to the out type.
4358 if !v1.CanConvert(t2) {
4359 t.Errorf("ValueOf(%T(%[1]v)).CanConvert(%s) = false, want true", tt.in.Interface(), t2)
4361 vout2 := v1.Convert(t2)
4362 out2 := vout2.Interface()
4363 if vout2.Type() != tt.out.Type() || !DeepEqual(out2, tt.out.Interface()) {
4364 t.Errorf("ValueOf(%T(%[1]v)).Convert(%s) = %T(%[3]v), want %T(%[4]v)", tt.in.Interface(), t2, out2, tt.out.Interface())
4366 if got, want := vout2.Kind(), vout2.Type().Kind(); got != want {
4367 t.Errorf("ValueOf(%T(%[1]v)).Convert(%s) has internal kind %v want %v", tt.in.Interface(), t1, got, want)
4370 // vout3 represents a new value of the out type, set to vout2. This makes
4371 // sure the converted value vout2 is really usable as a regular value.
4372 vout3 := New(t2).Elem()
4374 out3 := vout3.Interface()
4375 if vout3.Type() != tt.out.Type() || !DeepEqual(out3, tt.out.Interface()) {
4376 t.Errorf("Set(ValueOf(%T(%[1]v)).Convert(%s)) = %T(%[3]v), want %T(%[4]v)", tt.in.Interface(), t2, out3, tt.out.Interface())
4380 t.Errorf("table entry %v is RO, should not be", v1)
4383 t.Errorf("self-conversion output %v is RO, should not be", vout1)
4386 t.Errorf("conversion output %v is RO, should not be", vout2)
4389 t.Errorf("set(conversion output) %v is RO, should not be", vout3)
4391 if !IsRO(MakeRO(v1).Convert(t1)) {
4392 t.Errorf("RO self-conversion output %v is not RO, should be", v1)
4394 if !IsRO(MakeRO(v1).Convert(t2)) {
4395 t.Errorf("RO conversion output %v is not RO, should be", v1)
4399 // Assume that of all the types we saw during the tests,
4400 // if there wasn't an explicit entry for a conversion between
4401 // a pair of types, then it's not to be allowed. This checks for
4402 // things like 'int64' converting to '*int'.
4403 for t1 := range all {
4404 for t2 := range all {
4405 expectOK := t1 == t2 || canConvert[[2]Type{t1, t2}] || t2.Kind() == Interface && t2.NumMethod() == 0
4406 if ok := t1.ConvertibleTo(t2); ok != expectOK {
4407 t.Errorf("(%s).ConvertibleTo(%s) = %v, want %v", t1, t2, ok, expectOK)
4413 func TestConvertPanic(t *testing.T) {
4414 s := make([]byte, 4)
4418 if !v.Type().ConvertibleTo(pt) {
4419 t.Errorf("[]byte should be convertible to *[8]byte")
4421 if v.CanConvert(pt) {
4422 t.Errorf("slice with length 4 should not be convertible to *[8]byte")
4424 shouldPanic("reflect: cannot convert slice with length 4 to pointer to array with length 8", func() {
4429 var gFloat32 float32
4431 const snan uint32 = 0x7f800001
4433 func TestConvertNaNs(t *testing.T) {
4434 type myFloat32 float32
4435 x := V(myFloat32(math.Float32frombits(snan)))
4436 y := x.Convert(TypeOf(float32(0)))
4437 z := y.Interface().(float32)
4438 if got := math.Float32bits(z); got != snan {
4439 t.Errorf("signaling nan conversion got %x, want %x", got, snan)
4443 type ComparableStruct struct {
4447 type NonComparableStruct struct {
4452 var comparableTests = []struct {
4457 {TypeOf("hello"), true},
4458 {TypeOf(new(byte)), true},
4459 {TypeOf((func())(nil)), false},
4460 {TypeOf([]byte{}), false},
4461 {TypeOf(map[string]int{}), false},
4462 {TypeOf(make(chan int)), true},
4463 {TypeOf(1.5), true},
4464 {TypeOf(false), true},
4466 {TypeOf(ComparableStruct{}), true},
4467 {TypeOf(NonComparableStruct{}), false},
4468 {TypeOf([10]map[string]int{}), false},
4469 {TypeOf([10]string{}), true},
4470 {TypeOf(new(interface{})).Elem(), true},
4473 func TestComparable(t *testing.T) {
4474 for _, tt := range comparableTests {
4475 if ok := tt.typ.Comparable(); ok != tt.ok {
4476 t.Errorf("TypeOf(%v).Comparable() = %v, want %v", tt.typ, ok, tt.ok)
4481 func TestOverflow(t *testing.T) {
4482 if ovf := V(float64(0)).OverflowFloat(1e300); ovf {
4483 t.Errorf("%v wrongly overflows float64", 1e300)
4486 maxFloat32 := float64((1<<24 - 1) << (127 - 23))
4487 if ovf := V(float32(0)).OverflowFloat(maxFloat32); ovf {
4488 t.Errorf("%v wrongly overflows float32", maxFloat32)
4490 ovfFloat32 := float64((1<<24-1)<<(127-23) + 1<<(127-52))
4491 if ovf := V(float32(0)).OverflowFloat(ovfFloat32); !ovf {
4492 t.Errorf("%v should overflow float32", ovfFloat32)
4494 if ovf := V(float32(0)).OverflowFloat(-ovfFloat32); !ovf {
4495 t.Errorf("%v should overflow float32", -ovfFloat32)
4498 maxInt32 := int64(0x7fffffff)
4499 if ovf := V(int32(0)).OverflowInt(maxInt32); ovf {
4500 t.Errorf("%v wrongly overflows int32", maxInt32)
4502 if ovf := V(int32(0)).OverflowInt(-1 << 31); ovf {
4503 t.Errorf("%v wrongly overflows int32", -int64(1)<<31)
4505 ovfInt32 := int64(1 << 31)
4506 if ovf := V(int32(0)).OverflowInt(ovfInt32); !ovf {
4507 t.Errorf("%v should overflow int32", ovfInt32)
4510 maxUint32 := uint64(0xffffffff)
4511 if ovf := V(uint32(0)).OverflowUint(maxUint32); ovf {
4512 t.Errorf("%v wrongly overflows uint32", maxUint32)
4514 ovfUint32 := uint64(1 << 32)
4515 if ovf := V(uint32(0)).OverflowUint(ovfUint32); !ovf {
4516 t.Errorf("%v should overflow uint32", ovfUint32)
4520 func checkSameType(t *testing.T, x Type, y interface{}) {
4521 if x != TypeOf(y) || TypeOf(Zero(x).Interface()) != TypeOf(y) {
4522 t.Errorf("did not find preexisting type for %s (vs %s)", TypeOf(x), TypeOf(y))
4526 func TestArrayOf(t *testing.T) {
4527 // check construction and use of type not in binary
4530 value func(i int) interface{}
4536 value: func(i int) interface{} { type Tint int; return Tint(i) },
4542 value: func(i int) interface{} { type Tint int; return Tint(i) },
4544 want: "[0 1 2 3 4 5 6 7 8 9]",
4548 value: func(i int) interface{} { type Tfloat float64; return Tfloat(i) },
4550 want: "[0 1 2 3 4 5 6 7 8 9]",
4554 value: func(i int) interface{} { type Tstring string; return Tstring(strconv.Itoa(i)) },
4556 want: "[0 1 2 3 4 5 6 7 8 9]",
4560 value: func(i int) interface{} { type Tstruct struct{ V int }; return Tstruct{i} },
4562 want: "[{0} {1} {2} {3} {4} {5} {6} {7} {8} {9}]",
4566 value: func(i int) interface{} { type Tint int; return []Tint{Tint(i)} },
4568 want: "[[0] [1] [2] [3] [4] [5] [6] [7] [8] [9]]",
4572 value: func(i int) interface{} { type Tint int; return [1]Tint{Tint(i)} },
4574 want: "[[0] [1] [2] [3] [4] [5] [6] [7] [8] [9]]",
4578 value: func(i int) interface{} { type Tstruct struct{ V [1]int }; return Tstruct{[1]int{i}} },
4580 want: "[{[0]} {[1]} {[2]} {[3]} {[4]} {[5]} {[6]} {[7]} {[8]} {[9]}]",
4584 value: func(i int) interface{} { type Tstruct struct{ V []int }; return Tstruct{[]int{i}} },
4586 want: "[{[0]} {[1]} {[2]} {[3]} {[4]} {[5]} {[6]} {[7]} {[8]} {[9]}]",
4590 value: func(i int) interface{} { type TstructUV struct{ U, V int }; return TstructUV{i, i} },
4592 want: "[{0 0} {1 1} {2 2} {3 3} {4 4} {5 5} {6 6} {7 7} {8 8} {9 9}]",
4596 value: func(i int) interface{} {
4597 type TstructUV struct {
4601 return TstructUV{i, float64(i)}
4604 want: "[{0 0} {1 1} {2 2} {3 3} {4 4} {5 5} {6 6} {7 7} {8 8} {9 9}]",
4608 for _, table := range tests {
4609 at := ArrayOf(table.n, TypeOf(table.value(0)))
4611 vok := New(at).Elem()
4612 vnot := New(at).Elem()
4613 for i := 0; i < v.Len(); i++ {
4614 v.Index(i).Set(ValueOf(table.value(i)))
4615 vok.Index(i).Set(ValueOf(table.value(i)))
4620 vnot.Index(i).Set(ValueOf(table.value(j))) // make it differ only by last element
4622 s := fmt.Sprint(v.Interface())
4623 if s != table.want {
4624 t.Errorf("constructed array = %s, want %s", s, table.want)
4627 if table.comparable != at.Comparable() {
4628 t.Errorf("constructed array (%#v) is comparable=%v, want=%v", v.Interface(), at.Comparable(), table.comparable)
4630 if table.comparable {
4632 if DeepEqual(vnot.Interface(), v.Interface()) {
4634 "arrays (%#v) compare ok (but should not)",
4639 if !DeepEqual(vok.Interface(), v.Interface()) {
4641 "arrays (%#v) compare NOT-ok (but should)",
4648 // check that type already in binary is found
4650 checkSameType(t, ArrayOf(5, TypeOf(T(1))), [5]T{})
4653 func TestArrayOfGC(t *testing.T) {
4655 tt := TypeOf(T(nil))
4658 for i := 0; i < n; i++ {
4659 v := New(ArrayOf(n, tt)).Elem()
4660 for j := 0; j < v.Len(); j++ {
4662 *p = uintptr(i*n + j)
4663 v.Index(j).Set(ValueOf(p).Convert(tt))
4665 x = append(x, v.Interface())
4669 for i, xi := range x {
4671 for j := 0; j < v.Len(); j++ {
4672 k := v.Index(j).Elem().Interface()
4673 if k != uintptr(i*n+j) {
4674 t.Errorf("lost x[%d][%d] = %d, want %d", i, j, k, i*n+j)
4680 func TestArrayOfAlg(t *testing.T) {
4681 at := ArrayOf(6, TypeOf(byte(0)))
4682 v1 := New(at).Elem()
4683 v2 := New(at).Elem()
4684 if v1.Interface() != v1.Interface() {
4685 t.Errorf("constructed array %v not equal to itself", v1.Interface())
4687 v1.Index(5).Set(ValueOf(byte(1)))
4688 if i1, i2 := v1.Interface(), v2.Interface(); i1 == i2 {
4689 t.Errorf("constructed arrays %v and %v should not be equal", i1, i2)
4692 at = ArrayOf(6, TypeOf([]int(nil)))
4694 shouldPanic("", func() { _ = v1.Interface() == v1.Interface() })
4697 func TestArrayOfGenericAlg(t *testing.T) {
4698 at1 := ArrayOf(5, TypeOf(string("")))
4699 at := ArrayOf(6, at1)
4700 v1 := New(at).Elem()
4701 v2 := New(at).Elem()
4702 if v1.Interface() != v1.Interface() {
4703 t.Errorf("constructed array %v not equal to itself", v1.Interface())
4706 v1.Index(0).Index(0).Set(ValueOf("abc"))
4707 v2.Index(0).Index(0).Set(ValueOf("efg"))
4708 if i1, i2 := v1.Interface(), v2.Interface(); i1 == i2 {
4709 t.Errorf("constructed arrays %v and %v should not be equal", i1, i2)
4712 v1.Index(0).Index(0).Set(ValueOf("abc"))
4713 v2.Index(0).Index(0).Set(ValueOf((v1.Index(0).Index(0).String() + " ")[:3]))
4714 if i1, i2 := v1.Interface(), v2.Interface(); i1 != i2 {
4715 t.Errorf("constructed arrays %v and %v should be equal", i1, i2)
4719 m := MakeMap(MapOf(at, TypeOf(int(0))))
4720 m.SetMapIndex(v1, ValueOf(1))
4721 if i1, i2 := v1.Interface(), v2.Interface(); !m.MapIndex(v2).IsValid() {
4722 t.Errorf("constructed arrays %v and %v have different hashes", i1, i2)
4726 func TestArrayOfDirectIface(t *testing.T) {
4729 i1 := Zero(TypeOf(T{})).Interface()
4730 v1 := ValueOf(&i1).Elem()
4731 p1 := v1.InterfaceData()[1]
4733 i2 := Zero(ArrayOf(1, PtrTo(TypeOf(int8(0))))).Interface()
4734 v2 := ValueOf(&i2).Elem()
4735 p2 := v2.InterfaceData()[1]
4738 t.Errorf("got p1=%v. want=%v", p1, nil)
4742 t.Errorf("got p2=%v. want=%v", p2, nil)
4747 i1 := Zero(TypeOf(T{})).Interface()
4748 v1 := ValueOf(&i1).Elem()
4749 p1 := v1.InterfaceData()[1]
4751 i2 := Zero(ArrayOf(0, PtrTo(TypeOf(int8(0))))).Interface()
4752 v2 := ValueOf(&i2).Elem()
4753 p2 := v2.InterfaceData()[1]
4756 t.Errorf("got p1=%v. want=not-%v", p1, nil)
4760 t.Errorf("got p2=%v. want=not-%v", p2, nil)
4765 // Ensure passing in negative lengths panics.
4766 // See https://golang.org/issue/43603
4767 func TestArrayOfPanicOnNegativeLength(t *testing.T) {
4768 shouldPanic("reflect: negative length passed to ArrayOf", func() {
4769 ArrayOf(-1, TypeOf(byte(0)))
4773 func TestSliceOf(t *testing.T) {
4774 // check construction and use of type not in binary
4776 st := SliceOf(TypeOf(T(1)))
4777 if got, want := st.String(), "[]reflect_test.T"; got != want {
4778 t.Errorf("SliceOf(T(1)).String()=%q, want %q", got, want)
4780 v := MakeSlice(st, 10, 10)
4782 for i := 0; i < v.Len(); i++ {
4783 v.Index(i).Set(ValueOf(T(i)))
4786 s := fmt.Sprint(v.Interface())
4787 want := "[0 1 2 3 4 5 6 7 8 9]"
4789 t.Errorf("constructed slice = %s, want %s", s, want)
4792 // check that type already in binary is found
4794 checkSameType(t, SliceOf(TypeOf(T1(1))), []T1{})
4797 func TestSliceOverflow(t *testing.T) {
4798 // check that MakeSlice panics when size of slice overflows uint
4801 l := (1<<(unsafe.Sizeof((*byte)(nil))*8)-1)/s + 1
4803 t.Fatal("slice size does not overflow")
4806 st := SliceOf(TypeOf(x))
4810 t.Fatal("slice overflow does not panic")
4813 MakeSlice(st, int(l), int(l))
4816 func TestSliceOfGC(t *testing.T) {
4818 tt := TypeOf(T(nil))
4822 for i := 0; i < n; i++ {
4823 v := MakeSlice(st, n, n)
4824 for j := 0; j < v.Len(); j++ {
4826 *p = uintptr(i*n + j)
4827 v.Index(j).Set(ValueOf(p).Convert(tt))
4829 x = append(x, v.Interface())
4833 for i, xi := range x {
4835 for j := 0; j < v.Len(); j++ {
4836 k := v.Index(j).Elem().Interface()
4837 if k != uintptr(i*n+j) {
4838 t.Errorf("lost x[%d][%d] = %d, want %d", i, j, k, i*n+j)
4844 func TestStructOfFieldName(t *testing.T) {
4845 // invalid field name "1nvalid"
4846 shouldPanic("has invalid name", func() {
4847 StructOf([]StructField{
4848 {Name: "Valid", Type: TypeOf("")},
4849 {Name: "1nvalid", Type: TypeOf("")},
4853 // invalid field name "+"
4854 shouldPanic("has invalid name", func() {
4855 StructOf([]StructField{
4856 {Name: "Val1d", Type: TypeOf("")},
4857 {Name: "+", Type: TypeOf("")},
4862 shouldPanic("has no name", func() {
4863 StructOf([]StructField{
4864 {Name: "", Type: TypeOf("")},
4868 // verify creation of a struct with valid struct fields
4869 validFields := []StructField{
4884 validStruct := StructOf(validFields)
4886 const structStr = `struct { φ string; ValidName string; Val1dNam5 string }`
4887 if got, want := validStruct.String(), structStr; got != want {
4888 t.Errorf("StructOf(validFields).String()=%q, want %q", got, want)
4892 func TestStructOf(t *testing.T) {
4893 // check construction and use of type not in binary
4894 fields := []StructField{
4903 Type: TypeOf(byte(0)),
4907 Type: TypeOf(uint64(0)),
4911 Type: TypeOf([3]uint16{}),
4915 st := StructOf(fields)
4918 v.FieldByName("X").Set(ValueOf(byte(2)))
4919 v.FieldByIndex([]int{1}).Set(ValueOf(byte(1)))
4922 s := fmt.Sprint(v.Interface())
4923 want := `{ 1 0 [0 0 0]}`
4925 t.Errorf("constructed struct = %s, want %s", s, want)
4927 const stStr = `struct { S string "s"; X uint8 "x"; Y uint64; Z [3]uint16 }`
4928 if got, want := st.String(), stStr; got != want {
4929 t.Errorf("StructOf(fields).String()=%q, want %q", got, want)
4932 // check the size, alignment and field offsets
4933 stt := TypeOf(struct {
4939 if st.Size() != stt.Size() {
4940 t.Errorf("constructed struct size = %v, want %v", st.Size(), stt.Size())
4942 if st.Align() != stt.Align() {
4943 t.Errorf("constructed struct align = %v, want %v", st.Align(), stt.Align())
4945 if st.FieldAlign() != stt.FieldAlign() {
4946 t.Errorf("constructed struct field align = %v, want %v", st.FieldAlign(), stt.FieldAlign())
4948 for i := 0; i < st.NumField(); i++ {
4949 o1 := st.Field(i).Offset
4950 o2 := stt.Field(i).Offset
4952 t.Errorf("constructed struct field %v offset = %v, want %v", i, o1, o2)
4956 // Check size and alignment with a trailing zero-sized field.
4957 st = StructOf([]StructField{
4960 Type: TypeOf(byte(0)),
4964 Type: TypeOf([0]*byte{}),
4967 stt = TypeOf(struct {
4971 if st.Size() != stt.Size() {
4972 t.Errorf("constructed zero-padded struct size = %v, want %v", st.Size(), stt.Size())
4974 if st.Align() != stt.Align() {
4975 t.Errorf("constructed zero-padded struct align = %v, want %v", st.Align(), stt.Align())
4977 if st.FieldAlign() != stt.FieldAlign() {
4978 t.Errorf("constructed zero-padded struct field align = %v, want %v", st.FieldAlign(), stt.FieldAlign())
4980 for i := 0; i < st.NumField(); i++ {
4981 o1 := st.Field(i).Offset
4982 o2 := stt.Field(i).Offset
4984 t.Errorf("constructed zero-padded struct field %v offset = %v, want %v", i, o1, o2)
4988 // check duplicate names
4989 shouldPanic("duplicate field", func() {
4990 StructOf([]StructField{
4991 {Name: "string", PkgPath: "p", Type: TypeOf("")},
4992 {Name: "string", PkgPath: "p", Type: TypeOf("")},
4995 shouldPanic("has no name", func() {
4996 StructOf([]StructField{
4998 {Name: "string", PkgPath: "p", Type: TypeOf("")},
5001 shouldPanic("has no name", func() {
5002 StructOf([]StructField{
5007 // check that type already in binary is found
5008 checkSameType(t, StructOf(fields[2:3]), struct{ Y uint64 }{})
5010 // gccgo used to fail this test.
5011 type structFieldType interface{}
5013 StructOf([]StructField{
5016 Type: TypeOf((*structFieldType)(nil)).Elem(),
5019 struct{ F structFieldType }{})
5022 func TestStructOfExportRules(t *testing.T) {
5028 testPanic := func(i int, mustPanic bool, f func()) {
5031 if err == nil && mustPanic {
5032 t.Errorf("test-%d did not panic", i)
5034 if err != nil && !mustPanic {
5035 t.Errorf("test-%d panicked: %v\n", i, err)
5047 field: StructField{Name: "S1", Anonymous: true, Type: TypeOf(S1{})},
5051 field: StructField{Name: "S1", Anonymous: true, Type: TypeOf((*S1)(nil))},
5055 field: StructField{Name: "s2", Anonymous: true, Type: TypeOf(s2{})},
5059 field: StructField{Name: "s2", Anonymous: true, Type: TypeOf((*s2)(nil))},
5063 field: StructField{Name: "Name", Type: nil, PkgPath: ""},
5067 field: StructField{Name: "", Type: TypeOf(S1{}), PkgPath: ""},
5071 field: StructField{Name: "S1", Anonymous: true, Type: TypeOf(S1{}), PkgPath: "other/pkg"},
5075 field: StructField{Name: "S1", Anonymous: true, Type: TypeOf((*S1)(nil)), PkgPath: "other/pkg"},
5079 field: StructField{Name: "s2", Anonymous: true, Type: TypeOf(s2{}), PkgPath: "other/pkg"},
5083 field: StructField{Name: "s2", Anonymous: true, Type: TypeOf((*s2)(nil)), PkgPath: "other/pkg"},
5087 field: StructField{Name: "s2", Type: TypeOf(int(0)), PkgPath: "other/pkg"},
5090 field: StructField{Name: "s2", Type: TypeOf(int(0)), PkgPath: "other/pkg"},
5093 field: StructField{Name: "S", Type: TypeOf(S1{})},
5097 field: StructField{Name: "S", Type: TypeOf((*S1)(nil))},
5101 field: StructField{Name: "S", Type: TypeOf(s2{})},
5105 field: StructField{Name: "S", Type: TypeOf((*s2)(nil))},
5109 field: StructField{Name: "s", Type: TypeOf(S1{})},
5113 field: StructField{Name: "s", Type: TypeOf((*S1)(nil))},
5117 field: StructField{Name: "s", Type: TypeOf(s2{})},
5121 field: StructField{Name: "s", Type: TypeOf((*s2)(nil))},
5125 field: StructField{Name: "s", Type: TypeOf(S1{}), PkgPath: "other/pkg"},
5128 field: StructField{Name: "s", Type: TypeOf((*S1)(nil)), PkgPath: "other/pkg"},
5131 field: StructField{Name: "s", Type: TypeOf(s2{}), PkgPath: "other/pkg"},
5134 field: StructField{Name: "s", Type: TypeOf((*s2)(nil)), PkgPath: "other/pkg"},
5137 field: StructField{Name: "", Type: TypeOf(ΦType{})},
5141 field: StructField{Name: "", Type: TypeOf(φType{})},
5145 field: StructField{Name: "Φ", Type: TypeOf(0)},
5149 field: StructField{Name: "φ", Type: TypeOf(0)},
5154 for i, test := range tests {
5155 testPanic(i, test.mustPanic, func() {
5156 typ := StructOf([]StructField{test.field})
5158 t.Errorf("test-%d: error creating struct type", i)
5161 field := typ.Field(0)
5164 panic("field.Name must not be empty")
5166 exported := token.IsExported(n)
5167 if exported != test.exported {
5168 t.Errorf("test-%d: got exported=%v want exported=%v", i, exported, test.exported)
5170 if field.PkgPath != test.field.PkgPath {
5171 t.Errorf("test-%d: got PkgPath=%q want pkgPath=%q", i, field.PkgPath, test.field.PkgPath)
5177 func TestStructOfGC(t *testing.T) {
5179 tt := TypeOf(T(nil))
5180 fields := []StructField{
5181 {Name: "X", Type: tt},
5182 {Name: "Y", Type: tt},
5184 st := StructOf(fields)
5188 for i := 0; i < n; i++ {
5190 for j := 0; j < v.NumField(); j++ {
5192 *p = uintptr(i*n + j)
5193 v.Field(j).Set(ValueOf(p).Convert(tt))
5195 x = append(x, v.Interface())
5199 for i, xi := range x {
5201 for j := 0; j < v.NumField(); j++ {
5202 k := v.Field(j).Elem().Interface()
5203 if k != uintptr(i*n+j) {
5204 t.Errorf("lost x[%d].%c = %d, want %d", i, "XY"[j], k, i*n+j)
5210 func TestStructOfAlg(t *testing.T) {
5211 st := StructOf([]StructField{{Name: "X", Tag: "x", Type: TypeOf(int(0))}})
5212 v1 := New(st).Elem()
5213 v2 := New(st).Elem()
5214 if !DeepEqual(v1.Interface(), v1.Interface()) {
5215 t.Errorf("constructed struct %v not equal to itself", v1.Interface())
5217 v1.FieldByName("X").Set(ValueOf(int(1)))
5218 if i1, i2 := v1.Interface(), v2.Interface(); DeepEqual(i1, i2) {
5219 t.Errorf("constructed structs %v and %v should not be equal", i1, i2)
5222 st = StructOf([]StructField{{Name: "X", Tag: "x", Type: TypeOf([]int(nil))}})
5224 shouldPanic("", func() { _ = v1.Interface() == v1.Interface() })
5227 func TestStructOfGenericAlg(t *testing.T) {
5228 st1 := StructOf([]StructField{
5229 {Name: "X", Tag: "x", Type: TypeOf(int64(0))},
5230 {Name: "Y", Type: TypeOf(string(""))},
5232 st := StructOf([]StructField{
5233 {Name: "S0", Type: st1},
5234 {Name: "S1", Type: st1},
5252 {Name: "XX", Type: TypeOf([0]int{})},
5253 {Name: "YY", Type: TypeOf("")},
5261 {Name: "XX", Type: TypeOf([0]int{})},
5262 {Name: "YY", Type: TypeOf("")},
5263 {Name: "ZZ", Type: TypeOf([2]int{})},
5271 {Name: "XX", Type: TypeOf([1]int{})},
5272 {Name: "YY", Type: TypeOf("")},
5280 {Name: "XX", Type: TypeOf([1]int{})},
5281 {Name: "YY", Type: TypeOf("")},
5282 {Name: "ZZ", Type: TypeOf([1]int{})},
5290 {Name: "XX", Type: TypeOf([2]int{})},
5291 {Name: "YY", Type: TypeOf("")},
5292 {Name: "ZZ", Type: TypeOf([2]int{})},
5300 {Name: "XX", Type: TypeOf(int64(0))},
5301 {Name: "YY", Type: TypeOf(byte(0))},
5302 {Name: "ZZ", Type: TypeOf("")},
5310 {Name: "XX", Type: TypeOf(int64(0))},
5311 {Name: "YY", Type: TypeOf(int64(0))},
5312 {Name: "ZZ", Type: TypeOf("")},
5313 {Name: "AA", Type: TypeOf([1]int64{})},
5320 for _, table := range tests {
5321 v1 := New(table.rt).Elem()
5322 v2 := New(table.rt).Elem()
5324 if !DeepEqual(v1.Interface(), v1.Interface()) {
5325 t.Errorf("constructed struct %v not equal to itself", v1.Interface())
5328 v1.FieldByIndex(table.idx).Set(ValueOf("abc"))
5329 v2.FieldByIndex(table.idx).Set(ValueOf("def"))
5330 if i1, i2 := v1.Interface(), v2.Interface(); DeepEqual(i1, i2) {
5331 t.Errorf("constructed structs %v and %v should not be equal", i1, i2)
5335 v1.FieldByIndex(table.idx).Set(ValueOf(abc))
5336 val := "+" + abc + "-"
5337 v2.FieldByIndex(table.idx).Set(ValueOf(val[1:4]))
5338 if i1, i2 := v1.Interface(), v2.Interface(); !DeepEqual(i1, i2) {
5339 t.Errorf("constructed structs %v and %v should be equal", i1, i2)
5343 m := MakeMap(MapOf(table.rt, TypeOf(int(0))))
5344 m.SetMapIndex(v1, ValueOf(1))
5345 if i1, i2 := v1.Interface(), v2.Interface(); !m.MapIndex(v2).IsValid() {
5346 t.Errorf("constructed structs %#v and %#v have different hashes", i1, i2)
5349 v2.FieldByIndex(table.idx).Set(ValueOf("abc"))
5350 if i1, i2 := v1.Interface(), v2.Interface(); !DeepEqual(i1, i2) {
5351 t.Errorf("constructed structs %v and %v should be equal", i1, i2)
5354 if i1, i2 := v1.Interface(), v2.Interface(); !m.MapIndex(v2).IsValid() {
5355 t.Errorf("constructed structs %v and %v have different hashes", i1, i2)
5360 func TestStructOfDirectIface(t *testing.T) {
5362 type T struct{ X [1]*byte }
5363 i1 := Zero(TypeOf(T{})).Interface()
5364 v1 := ValueOf(&i1).Elem()
5365 p1 := v1.InterfaceData()[1]
5367 i2 := Zero(StructOf([]StructField{
5370 Type: ArrayOf(1, TypeOf((*int8)(nil))),
5373 v2 := ValueOf(&i2).Elem()
5374 p2 := v2.InterfaceData()[1]
5377 t.Errorf("got p1=%v. want=%v", p1, nil)
5381 t.Errorf("got p2=%v. want=%v", p2, nil)
5385 type T struct{ X [0]*byte }
5386 i1 := Zero(TypeOf(T{})).Interface()
5387 v1 := ValueOf(&i1).Elem()
5388 p1 := v1.InterfaceData()[1]
5390 i2 := Zero(StructOf([]StructField{
5393 Type: ArrayOf(0, TypeOf((*int8)(nil))),
5396 v2 := ValueOf(&i2).Elem()
5397 p2 := v2.InterfaceData()[1]
5400 t.Errorf("got p1=%v. want=not-%v", p1, nil)
5404 t.Errorf("got p2=%v. want=not-%v", p2, nil)
5411 func (i StructI) Get() int { return int(i) }
5415 func (i *StructIPtr) Get() int { return int(*i) }
5416 func (i *StructIPtr) Set(v int) { *(*int)(i) = v }
5418 type SettableStruct struct {
5422 func (p *SettableStruct) Set(v int) { p.SettableField = v }
5424 type SettablePointer struct {
5428 func (p *SettablePointer) Set(v int) { *p.SettableField = v }
5430 func TestStructOfWithInterface(t *testing.T) {
5432 type Iface interface {
5435 type IfaceSet interface {
5446 typ: TypeOf(StructI(want)),
5447 val: ValueOf(StructI(want)),
5452 typ: PtrTo(TypeOf(StructI(want))),
5453 val: ValueOf(func() interface{} {
5461 typ: PtrTo(TypeOf(StructIPtr(want))),
5462 val: ValueOf(func() interface{} {
5463 v := StructIPtr(want)
5470 typ: TypeOf(StructIPtr(want)),
5471 val: ValueOf(StructIPtr(want)),
5475 // typ: TypeOf((*Iface)(nil)).Elem(), // FIXME(sbinet): fix method.ifn/tfn
5476 // val: ValueOf(StructI(want)),
5481 for i, table := range tests {
5482 for j := 0; j < 2; j++ {
5483 var fields []StructField
5485 fields = append(fields, StructField{
5488 Type: TypeOf(int(0)),
5491 fields = append(fields, StructField{
5498 // We currently do not correctly implement methods
5499 // for embedded fields other than the first.
5500 // Therefore, for now, we expect those methods
5501 // to not exist. See issues 15924 and 20824.
5502 // When those issues are fixed, this test of panic
5503 // should be removed.
5504 if j == 1 && table.impl {
5507 if err := recover(); err == nil {
5508 t.Errorf("test-%d-%d did not panic", i, j)
5511 _ = StructOf(fields)
5516 rt := StructOf(fields)
5517 rv := New(rt).Elem()
5518 rv.Field(j).Set(table.val)
5520 if _, ok := rv.Interface().(Iface); ok != table.impl {
5522 t.Errorf("test-%d-%d: type=%v fails to implement Iface.\n", i, j, table.typ)
5524 t.Errorf("test-%d-%d: type=%v should NOT implement Iface\n", i, j, table.typ)
5533 v := rv.Interface().(Iface).Get()
5535 t.Errorf("test-%d-%d: x.Get()=%v. want=%v\n", i, j, v, want)
5538 fct := rv.MethodByName("Get")
5539 out := fct.Call(nil)
5540 if !DeepEqual(out[0].Interface(), want) {
5541 t.Errorf("test-%d-%d: x.Get()=%v. want=%v\n", i, j, out[0].Interface(), want)
5546 // Test an embedded nil pointer with pointer methods.
5547 fields := []StructField{{
5550 Type: PtrTo(TypeOf(StructIPtr(want))),
5552 rt := StructOf(fields)
5553 rv := New(rt).Elem()
5554 // This should panic since the pointer is nil.
5555 shouldPanic("", func() {
5556 rv.Interface().(IfaceSet).Set(want)
5559 // Test an embedded nil pointer to a struct with pointer methods.
5561 fields = []StructField{{
5562 Name: "SettableStruct",
5564 Type: PtrTo(TypeOf(SettableStruct{})),
5566 rt = StructOf(fields)
5568 // This should panic since the pointer is nil.
5569 shouldPanic("", func() {
5570 rv.Interface().(IfaceSet).Set(want)
5573 // The behavior is different if there is a second field,
5574 // since now an interface value holds a pointer to the struct
5575 // rather than just holding a copy of the struct.
5576 fields = []StructField{
5578 Name: "SettableStruct",
5580 Type: PtrTo(TypeOf(SettableStruct{})),
5583 Name: "EmptyStruct",
5585 Type: StructOf(nil),
5588 // With the current implementation this is expected to panic.
5589 // Ideally it should work and we should be able to see a panic
5590 // if we call the Set method.
5591 shouldPanic("", func() {
5595 // Embed a field that can be stored directly in an interface,
5596 // with a second field.
5597 fields = []StructField{
5599 Name: "SettablePointer",
5601 Type: TypeOf(SettablePointer{}),
5604 Name: "EmptyStruct",
5606 Type: StructOf(nil),
5609 // With the current implementation this is expected to panic.
5610 // Ideally it should work and we should be able to call the
5611 // Set and Get methods.
5612 shouldPanic("", func() {
5617 func TestStructOfTooManyFields(t *testing.T) {
5618 // Bug Fix: #25402 - this should not panic
5619 tt := StructOf([]StructField{
5620 {Name: "Time", Type: TypeOf(time.Time{}), Anonymous: true},
5623 if _, present := tt.MethodByName("After"); !present {
5624 t.Errorf("Expected method `After` to be found")
5628 func TestStructOfDifferentPkgPath(t *testing.T) {
5629 fields := []StructField{
5633 Type: TypeOf(int(0)),
5638 Type: TypeOf(int(0)),
5641 shouldPanic("different PkgPath", func() {
5646 func TestChanOf(t *testing.T) {
5647 // check construction and use of type not in binary
5649 ct := ChanOf(BothDir, TypeOf(T("")))
5650 v := MakeChan(ct, 2)
5652 v.Send(ValueOf(T("hello")))
5654 v.Send(ValueOf(T("world")))
5661 if s1 != "hello" || s2 != "world" {
5662 t.Errorf("constructed chan: have %q, %q, want %q, %q", s1, s2, "hello", "world")
5665 // check that type already in binary is found
5667 checkSameType(t, ChanOf(BothDir, TypeOf(T1(1))), (chan T1)(nil))
5669 // Check arrow token association in undefined chan types.
5670 var left chan<- chan T
5671 var right chan (<-chan T)
5672 tLeft := ChanOf(SendDir, ChanOf(BothDir, TypeOf(T(""))))
5673 tRight := ChanOf(BothDir, ChanOf(RecvDir, TypeOf(T(""))))
5674 if tLeft != TypeOf(left) {
5675 t.Errorf("chan<-chan: have %s, want %T", tLeft, left)
5677 if tRight != TypeOf(right) {
5678 t.Errorf("chan<-chan: have %s, want %T", tRight, right)
5682 func TestChanOfDir(t *testing.T) {
5683 // check construction and use of type not in binary
5685 crt := ChanOf(RecvDir, TypeOf(T("")))
5686 cst := ChanOf(SendDir, TypeOf(T("")))
5688 // check that type already in binary is found
5690 checkSameType(t, ChanOf(RecvDir, TypeOf(T1(1))), (<-chan T1)(nil))
5691 checkSameType(t, ChanOf(SendDir, TypeOf(T1(1))), (chan<- T1)(nil))
5693 // check String form of ChanDir
5694 if crt.ChanDir().String() != "<-chan" {
5695 t.Errorf("chan dir: have %q, want %q", crt.ChanDir().String(), "<-chan")
5697 if cst.ChanDir().String() != "chan<-" {
5698 t.Errorf("chan dir: have %q, want %q", cst.ChanDir().String(), "chan<-")
5702 func TestChanOfGC(t *testing.T) {
5703 done := make(chan bool, 1)
5707 case <-time.After(5 * time.Second):
5708 panic("deadlock in TestChanOfGC")
5717 tt := TypeOf(T(nil))
5718 ct := ChanOf(BothDir, tt)
5720 // NOTE: The garbage collector handles allocated channels specially,
5721 // so we have to save pointers to channels in x; the pointer code will
5722 // use the gc info in the newly constructed chan type.
5725 for i := 0; i < n; i++ {
5726 v := MakeChan(ct, n)
5727 for j := 0; j < n; j++ {
5729 *p = uintptr(i*n + j)
5730 v.Send(ValueOf(p).Convert(tt))
5734 x = append(x, pv.Interface())
5738 for i, xi := range x {
5739 v := ValueOf(xi).Elem()
5740 for j := 0; j < n; j++ {
5742 k := pv.Elem().Interface()
5743 if k != uintptr(i*n+j) {
5744 t.Errorf("lost x[%d][%d] = %d, want %d", i, j, k, i*n+j)
5750 func TestMapOf(t *testing.T) {
5751 // check construction and use of type not in binary
5755 v := MakeMap(MapOf(TypeOf(K("")), TypeOf(V(0))))
5757 v.SetMapIndex(ValueOf(K("a")), ValueOf(V(1)))
5760 s := fmt.Sprint(v.Interface())
5763 t.Errorf("constructed map = %s, want %s", s, want)
5766 // check that type already in binary is found
5767 checkSameType(t, MapOf(TypeOf(V(0)), TypeOf(K(""))), map[V]K(nil))
5769 // check that invalid key type panics
5770 shouldPanic("invalid key type", func() { MapOf(TypeOf((func())(nil)), TypeOf(false)) })
5773 func TestMapOfGCKeys(t *testing.T) {
5775 tt := TypeOf(T(nil))
5776 mt := MapOf(tt, TypeOf(false))
5778 // NOTE: The garbage collector handles allocated maps specially,
5779 // so we have to save pointers to maps in x; the pointer code will
5780 // use the gc info in the newly constructed map type.
5783 for i := 0; i < n; i++ {
5785 for j := 0; j < n; j++ {
5787 *p = uintptr(i*n + j)
5788 v.SetMapIndex(ValueOf(p).Convert(tt), ValueOf(true))
5792 x = append(x, pv.Interface())
5796 for i, xi := range x {
5797 v := ValueOf(xi).Elem()
5799 for _, kv := range v.MapKeys() {
5800 out = append(out, int(kv.Elem().Interface().(uintptr)))
5803 for j, k := range out {
5805 t.Errorf("lost x[%d][%d] = %d, want %d", i, j, k, i*n+j)
5811 func TestMapOfGCValues(t *testing.T) {
5813 tt := TypeOf(T(nil))
5814 mt := MapOf(TypeOf(1), tt)
5816 // NOTE: The garbage collector handles allocated maps specially,
5817 // so we have to save pointers to maps in x; the pointer code will
5818 // use the gc info in the newly constructed map type.
5821 for i := 0; i < n; i++ {
5823 for j := 0; j < n; j++ {
5825 *p = uintptr(i*n + j)
5826 v.SetMapIndex(ValueOf(j), ValueOf(p).Convert(tt))
5830 x = append(x, pv.Interface())
5834 for i, xi := range x {
5835 v := ValueOf(xi).Elem()
5836 for j := 0; j < n; j++ {
5837 k := v.MapIndex(ValueOf(j)).Elem().Interface().(uintptr)
5838 if k != uintptr(i*n+j) {
5839 t.Errorf("lost x[%d][%d] = %d, want %d", i, j, k, i*n+j)
5845 func TestTypelinksSorted(t *testing.T) {
5847 for i, n := range TypeLinks() {
5849 t.Errorf("typelinks not sorted: %q [%d] > %q [%d]", last, i-1, n, i)
5855 func TestFuncOf(t *testing.T) {
5856 // check construction and use of type not in binary
5860 fn := func(args []Value) []Value {
5862 t.Errorf("args == %v, want exactly one arg", args)
5863 } else if args[0].Type() != TypeOf(K("")) {
5864 t.Errorf("args[0] is type %v, want %v", args[0].Type(), TypeOf(K("")))
5865 } else if args[0].String() != "gopher" {
5866 t.Errorf("args[0] = %q, want %q", args[0].String(), "gopher")
5868 return []Value{ValueOf(V(3.14))}
5870 v := MakeFunc(FuncOf([]Type{TypeOf(K(""))}, []Type{TypeOf(V(0))}, false), fn)
5872 outs := v.Call([]Value{ValueOf(K("gopher"))})
5874 t.Fatalf("v.Call returned %v, want exactly one result", outs)
5875 } else if outs[0].Type() != TypeOf(V(0)) {
5876 t.Fatalf("c.Call[0] is type %v, want %v", outs[0].Type(), TypeOf(V(0)))
5878 f := outs[0].Float()
5880 t.Errorf("constructed func returned %f, want %f", f, 3.14)
5883 // check that types already in binary are found
5885 testCases := []struct {
5890 {in: []Type{TypeOf(T1(0))}, want: (func(T1))(nil)},
5891 {in: []Type{TypeOf(int(0))}, want: (func(int))(nil)},
5892 {in: []Type{SliceOf(TypeOf(int(0)))}, variadic: true, want: (func(...int))(nil)},
5893 {in: []Type{TypeOf(int(0))}, out: []Type{TypeOf(false)}, want: (func(int) bool)(nil)},
5894 {in: []Type{TypeOf(int(0))}, out: []Type{TypeOf(false), TypeOf("")}, want: (func(int) (bool, string))(nil)},
5896 for _, tt := range testCases {
5897 checkSameType(t, FuncOf(tt.in, tt.out, tt.variadic), tt.want)
5900 // check that variadic requires last element be a slice.
5901 FuncOf([]Type{TypeOf(1), TypeOf(""), SliceOf(TypeOf(false))}, nil, true)
5902 shouldPanic("must be slice", func() { FuncOf([]Type{TypeOf(0), TypeOf(""), TypeOf(false)}, nil, true) })
5903 shouldPanic("must be slice", func() { FuncOf(nil, nil, true) })
5912 func BenchmarkFieldByName1(b *testing.B) {
5914 b.RunParallel(func(pb *testing.PB) {
5921 func BenchmarkFieldByName2(b *testing.B) {
5923 b.RunParallel(func(pb *testing.PB) {
6000 func TestEmbed(t *testing.T) {
6002 f, ok := typ.FieldByName("X")
6004 t.Fatalf(`FieldByName("X") should fail, returned %v`, f.Index)
6008 func BenchmarkFieldByName3(b *testing.B) {
6010 b.RunParallel(func(pb *testing.PB) {
6022 func BenchmarkInterfaceBig(b *testing.B) {
6024 b.RunParallel(func(pb *testing.PB) {
6032 func TestAllocsInterfaceBig(t *testing.T) {
6033 if testing.Short() {
6034 t.Skip("skipping malloc count in short mode")
6037 if allocs := testing.AllocsPerRun(100, func() { v.Interface() }); allocs > 0 {
6038 t.Error("allocs:", allocs)
6042 func BenchmarkInterfaceSmall(b *testing.B) {
6043 v := ValueOf(int64(0))
6044 b.RunParallel(func(pb *testing.PB) {
6051 func TestAllocsInterfaceSmall(t *testing.T) {
6052 if testing.Short() {
6053 t.Skip("skipping malloc count in short mode")
6055 v := ValueOf(int64(0))
6056 if allocs := testing.AllocsPerRun(100, func() { v.Interface() }); allocs > 0 {
6057 t.Error("allocs:", allocs)
6061 // An exhaustive is a mechanism for writing exhaustive or stochastic tests.
6062 // The basic usage is:
6065 // ... code using x.Maybe() or x.Choice(n) to create test cases ...
6068 // Each iteration of the loop returns a different set of results, until all
6069 // possible result sets have been explored. It is okay for different code paths
6070 // to make different method call sequences on x, but there must be no
6071 // other source of non-determinism in the call sequences.
6073 // When faced with a new decision, x chooses randomly. Future explorations
6074 // of that path will choose successive values for the result. Thus, stopping
6075 // the loop after a fixed number of iterations gives somewhat stochastic
6081 // v := make([]bool, x.Choose(4))
6082 // for i := range v {
6088 // prints (in some order):
6097 // [false false false]
6100 // [false false false false]
6102 // [true true true true]
6104 type exhaustive struct {
6110 type choice struct {
6116 func (x *exhaustive) Next() bool {
6118 x.r = rand.New(rand.NewSource(time.Now().UnixNano()))
6125 for i := len(x.last) - 1; i >= 0; i-- {
6129 x.last = x.last[:i+1]
6136 func (x *exhaustive) Choose(max int) int {
6137 if x.pos >= len(x.last) {
6138 x.last = append(x.last, choice{x.r.Intn(max), 0, max})
6143 panic("inconsistent use of exhaustive tester")
6145 return (c.n + c.off) % max
6148 func (x *exhaustive) Maybe() bool {
6149 return x.Choose(2) == 1
6152 func GCFunc(args []Value) []Value {
6157 func TestReflectFuncTraceback(t *testing.T) {
6158 f := MakeFunc(TypeOf(func() {}), GCFunc)
6162 func TestReflectMethodTraceback(t *testing.T) {
6164 m := ValueOf(p).MethodByName("GCMethod")
6165 i := ValueOf(m.Interface()).Call([]Value{ValueOf(5)})[0].Int()
6167 t.Errorf("Call returned %d; want 8", i)
6171 func TestSmallZero(t *testing.T) {
6174 if allocs := testing.AllocsPerRun(100, func() { Zero(typ) }); allocs > 0 {
6175 t.Errorf("Creating small zero values caused %f allocs, want 0", allocs)
6179 func TestBigZero(t *testing.T) {
6180 const size = 1 << 10
6182 z := Zero(ValueOf(v).Type()).Interface().([size]byte)
6183 for i := 0; i < size; i++ {
6185 t.Fatalf("Zero object not all zero, index %d", i)
6190 func TestZeroSet(t *testing.T) {
6198 a: 0xaaaaaaaaaaaaaaaa,
6199 T: T{9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9},
6200 b: 0xbbbbbbbbbbbbbbbb,
6202 ValueOf(&v).Elem().Field(1).Set(Zero(TypeOf(T{})))
6204 a: 0xaaaaaaaaaaaaaaaa,
6205 b: 0xbbbbbbbbbbbbbbbb,
6207 t.Fatalf("Setting a field to a Zero value didn't work")
6211 func TestFieldByIndexNil(t *testing.T) {
6220 v.FieldByName("P") // should be fine
6223 if err := recover(); err == nil {
6224 t.Fatalf("no error")
6225 } else if !strings.Contains(fmt.Sprint(err), "nil pointer to embedded struct") {
6226 t.Fatalf(`err=%q, wanted error containing "nil pointer to embedded struct"`, err)
6229 v.FieldByName("F") // should panic
6231 t.Fatalf("did not panic")
6235 // type Outer struct {
6239 // the compiler generates the implementation of (*Outer).M dispatching to the embedded Inner.
6240 // The implementation is logically:
6241 // func (p *Outer) M() {
6244 // but since the only change here is the replacement of one pointer receiver with another,
6245 // the actual generated code overwrites the original receiver with the p.Inner pointer and
6246 // then jumps to the M method expecting the *Inner receiver.
6248 // During reflect.Value.Call, we create an argument frame and the associated data structures
6249 // to describe it to the garbage collector, populate the frame, call reflect.call to
6250 // run a function call using that frame, and then copy the results back out of the frame.
6251 // The reflect.call function does a memmove of the frame structure onto the
6252 // stack (to set up the inputs), runs the call, and the memmoves the stack back to
6253 // the frame structure (to preserve the outputs).
6255 // Originally reflect.call did not distinguish inputs from outputs: both memmoves
6256 // were for the full stack frame. However, in the case where the called function was
6257 // one of these wrappers, the rewritten receiver is almost certainly a different type
6258 // than the original receiver. This is not a problem on the stack, where we use the
6259 // program counter to determine the type information and understand that
6260 // during (*Outer).M the receiver is an *Outer while during (*Inner).M the receiver in the same
6261 // memory word is now an *Inner. But in the statically typed argument frame created
6262 // by reflect, the receiver is always an *Outer. Copying the modified receiver pointer
6263 // off the stack into the frame will store an *Inner there, and then if a garbage collection
6264 // happens to scan that argument frame before it is discarded, it will scan the *Inner
6265 // memory as if it were an *Outer. If the two have different memory layouts, the
6266 // collection will interpret the memory incorrectly.
6268 // One such possible incorrect interpretation is to treat two arbitrary memory words
6269 // (Inner.P1 and Inner.P2 below) as an interface (Outer.R below). Because interpreting
6270 // an interface requires dereferencing the itab word, the misinterpretation will try to
6271 // deference Inner.P1, causing a crash during garbage collection.
6273 // This came up in a real program in issue 7725.
6286 func (pi *Inner) M() {
6287 // Clear references to pi so that the only way the
6288 // garbage collection will find the pointer is in the
6289 // argument frame, typed as a *Outer.
6292 // Set up an interface value that will cause a crash.
6293 // P1 = 1 is a non-zero, so the interface looks non-nil.
6294 // P2 = pi ensures that the data word points into the
6295 // allocated heap; if not the collection skips the interface
6296 // value as irrelevant, without dereferencing P1.
6298 pi.P2 = uintptr(unsafe.Pointer(pi))
6301 func TestCallMethodJump(t *testing.T) {
6302 // In reflect.Value.Call, trigger a garbage collection after reflect.call
6303 // returns but before the args frame has been discarded.
6304 // This is a little clumsy but makes the failure repeatable.
6307 p := &Outer{Inner: new(Inner)}
6309 ValueOf(p).Method(0).Call(nil)
6311 // Stop garbage collecting during reflect.call.
6315 func TestMakeFuncStackCopy(t *testing.T) {
6316 target := func(in []Value) []Value {
6319 return []Value{ValueOf(9)}
6322 var concrete func(*int, int) int
6323 fn := MakeFunc(ValueOf(concrete).Type(), target)
6324 ValueOf(&concrete).Elem().Set(fn)
6325 x := concrete(nil, 7)
6327 t.Errorf("have %#q want 9", x)
6331 // use about n KB of stack
6332 func useStack(n int) {
6336 var b [1024]byte // makes frame about 1KB
6337 useStack(n - 1 + int(b[99]))
6344 func TestValueString(t *testing.T) {
6345 rv := ValueOf(Impl{})
6346 if rv.String() != "<reflect_test.Impl Value>" {
6347 t.Errorf("ValueOf(Impl{}).String() = %q, want %q", rv.String(), "<reflect_test.Impl Value>")
6350 method := rv.Method(0)
6351 if method.String() != "<func() Value>" {
6352 t.Errorf("ValueOf(Impl{}).Method(0).String() = %q, want %q", method.String(), "<func() Value>")
6356 func TestInvalid(t *testing.T) {
6357 // Used to have inconsistency between IsValid() and Kind() != Invalid.
6358 type T struct{ v interface{} }
6360 v := ValueOf(T{}).Field(0)
6361 if v.IsValid() != true || v.Kind() != Interface {
6362 t.Errorf("field: IsValid=%v, Kind=%v, want true, Interface", v.IsValid(), v.Kind())
6365 if v.IsValid() != false || v.Kind() != Invalid {
6366 t.Errorf("field elem: IsValid=%v, Kind=%v, want false, Invalid", v.IsValid(), v.Kind())
6371 func TestLargeGCProg(t *testing.T) {
6372 fv := ValueOf(func([256]*byte) {})
6373 fv.Call([]Value{ValueOf([256]*byte{})})
6376 func fieldIndexRecover(t Type, i int) (recovered interface{}) {
6378 recovered = recover()
6386 func TestTypeFieldOutOfRangePanic(t *testing.T) {
6387 typ := TypeOf(struct{ X int }{10})
6388 testIndices := [...]struct {
6397 for i, tt := range testIndices {
6398 recoveredErr := fieldIndexRecover(typ, tt.i)
6400 if recoveredErr == nil {
6401 t.Errorf("#%d: fieldIndex %d expected to panic", i, tt.i)
6404 if recoveredErr != nil {
6405 t.Errorf("#%d: got err=%v, expected no panic", i, recoveredErr)
6412 func TestCallGC(t *testing.T) {
6413 f := func(a, b, c, d, e string) {
6415 g := func(in []Value) []Value {
6419 typ := ValueOf(f).Type()
6420 f2 := MakeFunc(typ, g).Interface().(func(string, string, string, string, string))
6421 f2("four", "five5", "six666", "seven77", "eight888")
6424 // Issue 18635 (function version).
6425 func TestKeepFuncLive(t *testing.T) {
6426 // Test that we keep makeFuncImpl live as long as it is
6427 // referenced on the stack.
6428 typ := TypeOf(func(i int) {})
6429 var f, g func(in []Value) []Value
6430 f = func(in []Value) []Value {
6432 i := int(in[0].Int())
6434 // We can't use Value.Call here because
6435 // runtime.call* will keep the makeFuncImpl
6436 // alive. However, by converting it to an
6437 // interface value and calling that,
6438 // reflect.callReflect is the only thing that
6439 // can keep the makeFuncImpl live.
6441 // Alternate between f and g so that if we do
6442 // reuse the memory prematurely it's more
6443 // likely to get obviously corrupted.
6444 MakeFunc(typ, g).Interface().(func(i int))(i - 1)
6448 g = func(in []Value) []Value {
6450 i := int(in[0].Int())
6451 MakeFunc(typ, f).Interface().(func(i int))(i)
6454 MakeFunc(typ, f).Call([]Value{ValueOf(10)})
6457 type UnExportedFirst int
6459 func (i UnExportedFirst) ΦExported() {}
6460 func (i UnExportedFirst) unexported() {}
6463 func TestMethodByNameUnExportedFirst(t *testing.T) {
6465 if recover() != nil {
6466 t.Errorf("should not panic")
6469 typ := TypeOf(UnExportedFirst(0))
6470 m, _ := typ.MethodByName("ΦExported")
6471 if m.Name != "ΦExported" {
6472 t.Errorf("got %s, expected ΦExported", m.Name)
6476 // Issue 18635 (method version).
6477 type KeepMethodLive struct{}
6479 func (k KeepMethodLive) Method1(i int) {
6482 ValueOf(k).MethodByName("Method2").Interface().(func(i int))(i - 1)
6486 func (k KeepMethodLive) Method2(i int) {
6488 ValueOf(k).MethodByName("Method1").Interface().(func(i int))(i)
6491 func TestKeepMethodLive(t *testing.T) {
6492 // Test that we keep methodValue live as long as it is
6493 // referenced on the stack.
6494 KeepMethodLive{}.Method1(10)
6497 // clobber tries to clobber unreachable memory.
6500 for i := 1; i < 32; i++ {
6501 for j := 0; j < 10; j++ {
6502 obj := make([]*byte, i)
6509 func TestFuncLayout(t *testing.T) {
6510 align := func(x uintptr) uintptr {
6511 return (x + goarch.PtrSize - 1) &^ (goarch.PtrSize - 1)
6514 if goarch.PtrSize == 4 {
6515 r = []byte{0, 0, 0, 1}
6527 size, argsize, retOffset uintptr
6528 stack, gc, inRegs, outRegs []byte // pointer bitmap: 1 is pointer, 0 is scalar
6529 intRegs, floatRegs int
6530 floatRegSize uintptr
6534 typ: ValueOf(func(a, b string) string { return "" }).Type(),
6535 size: 6 * goarch.PtrSize,
6536 argsize: 4 * goarch.PtrSize,
6537 retOffset: 4 * goarch.PtrSize,
6538 stack: []byte{1, 0, 1, 0, 1},
6539 gc: []byte{1, 0, 1, 0, 1},
6542 typ: ValueOf(func(a, b, c uint32, p *byte, d uint16) {}).Type(),
6543 size: align(align(3*4) + goarch.PtrSize + 2),
6544 argsize: align(3*4) + goarch.PtrSize + 2,
6545 retOffset: align(align(3*4) + goarch.PtrSize + 2),
6550 typ: ValueOf(func(a map[int]int, b uintptr, c interface{}) {}).Type(),
6551 size: 4 * goarch.PtrSize,
6552 argsize: 4 * goarch.PtrSize,
6553 retOffset: 4 * goarch.PtrSize,
6554 stack: []byte{1, 0, 1, 1},
6555 gc: []byte{1, 0, 1, 1},
6558 typ: ValueOf(func(a S) {}).Type(),
6559 size: 4 * goarch.PtrSize,
6560 argsize: 4 * goarch.PtrSize,
6561 retOffset: 4 * goarch.PtrSize,
6562 stack: []byte{0, 0, 1, 1},
6563 gc: []byte{0, 0, 1, 1},
6566 rcvr: ValueOf((*byte)(nil)).Type(),
6567 typ: ValueOf(func(a uintptr, b *int) {}).Type(),
6568 size: 3 * goarch.PtrSize,
6569 argsize: 3 * goarch.PtrSize,
6570 retOffset: 3 * goarch.PtrSize,
6571 stack: []byte{1, 0, 1},
6572 gc: []byte{1, 0, 1},
6575 typ: ValueOf(func(a uintptr) {}).Type(),
6576 size: goarch.PtrSize,
6577 argsize: goarch.PtrSize,
6578 retOffset: goarch.PtrSize,
6583 typ: ValueOf(func() uintptr { return 0 }).Type(),
6584 size: goarch.PtrSize,
6591 rcvr: ValueOf(uintptr(0)).Type(),
6592 typ: ValueOf(func(a uintptr) {}).Type(),
6593 size: 2 * goarch.PtrSize,
6594 argsize: 2 * goarch.PtrSize,
6595 retOffset: 2 * goarch.PtrSize,
6598 // Note: this one is tricky, as the receiver is not a pointer. But we
6599 // pass the receiver by reference to the autogenerated pointer-receiver
6600 // version of the function.
6602 // TODO(mknyszek): Add tests for non-zero register count.
6604 for _, lt := range tests {
6605 name := lt.typ.String()
6607 name = lt.rcvr.String() + "." + name
6609 t.Run(name, func(t *testing.T) {
6610 defer SetArgRegs(SetArgRegs(lt.intRegs, lt.floatRegs, lt.floatRegSize))
6612 typ, argsize, retOffset, stack, gc, inRegs, outRegs, ptrs := FuncLayout(lt.typ, lt.rcvr)
6613 if typ.Size() != lt.size {
6614 t.Errorf("funcLayout(%v, %v).size=%d, want %d", lt.typ, lt.rcvr, typ.Size(), lt.size)
6616 if argsize != lt.argsize {
6617 t.Errorf("funcLayout(%v, %v).argsize=%d, want %d", lt.typ, lt.rcvr, argsize, lt.argsize)
6619 if retOffset != lt.retOffset {
6620 t.Errorf("funcLayout(%v, %v).retOffset=%d, want %d", lt.typ, lt.rcvr, retOffset, lt.retOffset)
6622 if !bytes.Equal(stack, lt.stack) {
6623 t.Errorf("funcLayout(%v, %v).stack=%v, want %v", lt.typ, lt.rcvr, stack, lt.stack)
6625 if !bytes.Equal(gc, lt.gc) {
6626 t.Errorf("funcLayout(%v, %v).gc=%v, want %v", lt.typ, lt.rcvr, gc, lt.gc)
6628 if !bytes.Equal(inRegs, lt.inRegs) {
6629 t.Errorf("funcLayout(%v, %v).inRegs=%v, want %v", lt.typ, lt.rcvr, inRegs, lt.inRegs)
6631 if !bytes.Equal(outRegs, lt.outRegs) {
6632 t.Errorf("funcLayout(%v, %v).outRegs=%v, want %v", lt.typ, lt.rcvr, outRegs, lt.outRegs)
6634 if ptrs && len(stack) == 0 || !ptrs && len(stack) > 0 {
6635 t.Errorf("funcLayout(%v, %v) pointers flag=%v, want %v", lt.typ, lt.rcvr, ptrs, !ptrs)
6641 func verifyGCBits(t *testing.T, typ Type, bits []byte) {
6642 heapBits := GCBits(New(typ).Interface())
6643 if !bytes.Equal(heapBits, bits) {
6644 _, _, line, _ := runtime.Caller(1)
6645 t.Errorf("line %d: heapBits incorrect for %v\nhave %v\nwant %v", line, typ, heapBits, bits)
6649 func verifyGCBitsSlice(t *testing.T, typ Type, cap int, bits []byte) {
6650 // Creating a slice causes the runtime to repeat a bitmap,
6651 // which exercises a different path from making the compiler
6652 // repeat a bitmap for a small array or executing a repeat in
6654 val := MakeSlice(typ, 0, cap)
6655 data := NewAt(ArrayOf(cap, typ), unsafe.Pointer(val.Pointer()))
6656 heapBits := GCBits(data.Interface())
6657 // Repeat the bitmap for the slice size, trimming scalars in
6658 // the last element.
6659 bits = rep(cap, bits)
6660 for len(bits) > 0 && bits[len(bits)-1] == 0 {
6661 bits = bits[:len(bits)-1]
6663 if !bytes.Equal(heapBits, bits) {
6664 t.Errorf("heapBits incorrect for make(%v, 0, %v)\nhave %v\nwant %v", typ, cap, heapBits, bits)
6668 func TestGCBits(t *testing.T) {
6669 verifyGCBits(t, TypeOf((*byte)(nil)), []byte{1})
6671 // Building blocks for types seen by the compiler (like [2]Xscalar).
6672 // The compiler will create the type structures for the derived types,
6673 // including their GC metadata.
6674 type Xscalar struct{ x uintptr }
6675 type Xptr struct{ x *byte }
6676 type Xptrscalar struct {
6680 type Xscalarptr struct {
6684 type Xbigptrscalar struct {
6689 var Tscalar, Tint64, Tptr, Tscalarptr, Tptrscalar, Tbigptrscalar Type
6691 // Building blocks for types constructed by reflect.
6692 // This code is in a separate block so that code below
6693 // cannot accidentally refer to these.
6694 // The compiler must NOT see types derived from these
6695 // (for example, [2]Scalar must NOT appear in the program),
6696 // or else reflect will use it instead of having to construct one.
6697 // The goal is to test the construction.
6698 type Scalar struct{ x uintptr }
6699 type Ptr struct{ x *byte }
6700 type Ptrscalar struct {
6704 type Scalarptr struct {
6708 type Bigptrscalar struct {
6713 Tscalar = TypeOf(Scalar{})
6714 Tint64 = TypeOf(Int64(0))
6715 Tptr = TypeOf(Ptr{})
6716 Tscalarptr = TypeOf(Scalarptr{})
6717 Tptrscalar = TypeOf(Ptrscalar{})
6718 Tbigptrscalar = TypeOf(Bigptrscalar{})
6723 verifyGCBits(t, TypeOf(Xscalar{}), empty)
6724 verifyGCBits(t, Tscalar, empty)
6725 verifyGCBits(t, TypeOf(Xptr{}), lit(1))
6726 verifyGCBits(t, Tptr, lit(1))
6727 verifyGCBits(t, TypeOf(Xscalarptr{}), lit(0, 1))
6728 verifyGCBits(t, Tscalarptr, lit(0, 1))
6729 verifyGCBits(t, TypeOf(Xptrscalar{}), lit(1))
6730 verifyGCBits(t, Tptrscalar, lit(1))
6732 verifyGCBits(t, TypeOf([0]Xptr{}), empty)
6733 verifyGCBits(t, ArrayOf(0, Tptr), empty)
6734 verifyGCBits(t, TypeOf([1]Xptrscalar{}), lit(1))
6735 verifyGCBits(t, ArrayOf(1, Tptrscalar), lit(1))
6736 verifyGCBits(t, TypeOf([2]Xscalar{}), empty)
6737 verifyGCBits(t, ArrayOf(2, Tscalar), empty)
6738 verifyGCBits(t, TypeOf([10000]Xscalar{}), empty)
6739 verifyGCBits(t, ArrayOf(10000, Tscalar), empty)
6740 verifyGCBits(t, TypeOf([2]Xptr{}), lit(1, 1))
6741 verifyGCBits(t, ArrayOf(2, Tptr), lit(1, 1))
6742 verifyGCBits(t, TypeOf([10000]Xptr{}), rep(10000, lit(1)))
6743 verifyGCBits(t, ArrayOf(10000, Tptr), rep(10000, lit(1)))
6744 verifyGCBits(t, TypeOf([2]Xscalarptr{}), lit(0, 1, 0, 1))
6745 verifyGCBits(t, ArrayOf(2, Tscalarptr), lit(0, 1, 0, 1))
6746 verifyGCBits(t, TypeOf([10000]Xscalarptr{}), rep(10000, lit(0, 1)))
6747 verifyGCBits(t, ArrayOf(10000, Tscalarptr), rep(10000, lit(0, 1)))
6748 verifyGCBits(t, TypeOf([2]Xptrscalar{}), lit(1, 0, 1))
6749 verifyGCBits(t, ArrayOf(2, Tptrscalar), lit(1, 0, 1))
6750 verifyGCBits(t, TypeOf([10000]Xptrscalar{}), rep(10000, lit(1, 0)))
6751 verifyGCBits(t, ArrayOf(10000, Tptrscalar), rep(10000, lit(1, 0)))
6752 verifyGCBits(t, TypeOf([1][10000]Xptrscalar{}), rep(10000, lit(1, 0)))
6753 verifyGCBits(t, ArrayOf(1, ArrayOf(10000, Tptrscalar)), rep(10000, lit(1, 0)))
6754 verifyGCBits(t, TypeOf([2][10000]Xptrscalar{}), rep(2*10000, lit(1, 0)))
6755 verifyGCBits(t, ArrayOf(2, ArrayOf(10000, Tptrscalar)), rep(2*10000, lit(1, 0)))
6756 verifyGCBits(t, TypeOf([4]Xbigptrscalar{}), join(rep(3, join(rep(100, lit(1)), rep(100, lit(0)))), rep(100, lit(1))))
6757 verifyGCBits(t, ArrayOf(4, Tbigptrscalar), join(rep(3, join(rep(100, lit(1)), rep(100, lit(0)))), rep(100, lit(1))))
6759 verifyGCBitsSlice(t, TypeOf([]Xptr{}), 0, empty)
6760 verifyGCBitsSlice(t, SliceOf(Tptr), 0, empty)
6761 verifyGCBitsSlice(t, TypeOf([]Xptrscalar{}), 1, lit(1))
6762 verifyGCBitsSlice(t, SliceOf(Tptrscalar), 1, lit(1))
6763 verifyGCBitsSlice(t, TypeOf([]Xscalar{}), 2, lit(0))
6764 verifyGCBitsSlice(t, SliceOf(Tscalar), 2, lit(0))
6765 verifyGCBitsSlice(t, TypeOf([]Xscalar{}), 10000, lit(0))
6766 verifyGCBitsSlice(t, SliceOf(Tscalar), 10000, lit(0))
6767 verifyGCBitsSlice(t, TypeOf([]Xptr{}), 2, lit(1))
6768 verifyGCBitsSlice(t, SliceOf(Tptr), 2, lit(1))
6769 verifyGCBitsSlice(t, TypeOf([]Xptr{}), 10000, lit(1))
6770 verifyGCBitsSlice(t, SliceOf(Tptr), 10000, lit(1))
6771 verifyGCBitsSlice(t, TypeOf([]Xscalarptr{}), 2, lit(0, 1))
6772 verifyGCBitsSlice(t, SliceOf(Tscalarptr), 2, lit(0, 1))
6773 verifyGCBitsSlice(t, TypeOf([]Xscalarptr{}), 10000, lit(0, 1))
6774 verifyGCBitsSlice(t, SliceOf(Tscalarptr), 10000, lit(0, 1))
6775 verifyGCBitsSlice(t, TypeOf([]Xptrscalar{}), 2, lit(1, 0))
6776 verifyGCBitsSlice(t, SliceOf(Tptrscalar), 2, lit(1, 0))
6777 verifyGCBitsSlice(t, TypeOf([]Xptrscalar{}), 10000, lit(1, 0))
6778 verifyGCBitsSlice(t, SliceOf(Tptrscalar), 10000, lit(1, 0))
6779 verifyGCBitsSlice(t, TypeOf([][10000]Xptrscalar{}), 1, rep(10000, lit(1, 0)))
6780 verifyGCBitsSlice(t, SliceOf(ArrayOf(10000, Tptrscalar)), 1, rep(10000, lit(1, 0)))
6781 verifyGCBitsSlice(t, TypeOf([][10000]Xptrscalar{}), 2, rep(10000, lit(1, 0)))
6782 verifyGCBitsSlice(t, SliceOf(ArrayOf(10000, Tptrscalar)), 2, rep(10000, lit(1, 0)))
6783 verifyGCBitsSlice(t, TypeOf([]Xbigptrscalar{}), 4, join(rep(100, lit(1)), rep(100, lit(0))))
6784 verifyGCBitsSlice(t, SliceOf(Tbigptrscalar), 4, join(rep(100, lit(1)), rep(100, lit(0))))
6786 verifyGCBits(t, TypeOf((chan [100]Xscalar)(nil)), lit(1))
6787 verifyGCBits(t, ChanOf(BothDir, ArrayOf(100, Tscalar)), lit(1))
6789 verifyGCBits(t, TypeOf((func([10000]Xscalarptr))(nil)), lit(1))
6790 verifyGCBits(t, FuncOf([]Type{ArrayOf(10000, Tscalarptr)}, nil, false), lit(1))
6792 verifyGCBits(t, TypeOf((map[[10000]Xscalarptr]Xscalar)(nil)), lit(1))
6793 verifyGCBits(t, MapOf(ArrayOf(10000, Tscalarptr), Tscalar), lit(1))
6795 verifyGCBits(t, TypeOf((*[10000]Xscalar)(nil)), lit(1))
6796 verifyGCBits(t, PtrTo(ArrayOf(10000, Tscalar)), lit(1))
6798 verifyGCBits(t, TypeOf(([][10000]Xscalar)(nil)), lit(1))
6799 verifyGCBits(t, SliceOf(ArrayOf(10000, Tscalar)), lit(1))
6801 hdr := make([]byte, 8/goarch.PtrSize)
6803 verifyMapBucket := func(t *testing.T, k, e Type, m interface{}, want []byte) {
6804 verifyGCBits(t, MapBucketOf(k, e), want)
6805 verifyGCBits(t, CachedBucketOf(TypeOf(m)), want)
6809 map[Xscalar]Xptr(nil),
6810 join(hdr, rep(8, lit(0)), rep(8, lit(1)), lit(1)))
6813 map[Xscalarptr]Xptr(nil),
6814 join(hdr, rep(8, lit(0, 1)), rep(8, lit(1)), lit(1)))
6815 verifyMapBucket(t, Tint64, Tptr,
6816 map[int64]Xptr(nil),
6817 join(hdr, rep(8, rep(8/goarch.PtrSize, lit(0))), rep(8, lit(1)), lit(1)))
6820 map[Xscalar]Xscalar(nil),
6823 ArrayOf(2, Tscalarptr), ArrayOf(3, Tptrscalar),
6824 map[[2]Xscalarptr][3]Xptrscalar(nil),
6825 join(hdr, rep(8*2, lit(0, 1)), rep(8*3, lit(1, 0)), lit(1)))
6827 ArrayOf(64/goarch.PtrSize, Tscalarptr), ArrayOf(64/goarch.PtrSize, Tptrscalar),
6828 map[[64 / goarch.PtrSize]Xscalarptr][64 / goarch.PtrSize]Xptrscalar(nil),
6829 join(hdr, rep(8*64/goarch.PtrSize, lit(0, 1)), rep(8*64/goarch.PtrSize, lit(1, 0)), lit(1)))
6831 ArrayOf(64/goarch.PtrSize+1, Tscalarptr), ArrayOf(64/goarch.PtrSize, Tptrscalar),
6832 map[[64/goarch.PtrSize + 1]Xscalarptr][64 / goarch.PtrSize]Xptrscalar(nil),
6833 join(hdr, rep(8, lit(1)), rep(8*64/goarch.PtrSize, lit(1, 0)), lit(1)))
6835 ArrayOf(64/goarch.PtrSize, Tscalarptr), ArrayOf(64/goarch.PtrSize+1, Tptrscalar),
6836 map[[64 / goarch.PtrSize]Xscalarptr][64/goarch.PtrSize + 1]Xptrscalar(nil),
6837 join(hdr, rep(8*64/goarch.PtrSize, lit(0, 1)), rep(8, lit(1)), lit(1)))
6839 ArrayOf(64/goarch.PtrSize+1, Tscalarptr), ArrayOf(64/goarch.PtrSize+1, Tptrscalar),
6840 map[[64/goarch.PtrSize + 1]Xscalarptr][64/goarch.PtrSize + 1]Xptrscalar(nil),
6841 join(hdr, rep(8, lit(1)), rep(8, lit(1)), lit(1)))
6844 func rep(n int, b []byte) []byte { return bytes.Repeat(b, n) }
6845 func join(b ...[]byte) []byte { return bytes.Join(b, nil) }
6846 func lit(x ...byte) []byte { return x }
6848 func TestTypeOfTypeOf(t *testing.T) {
6849 // Check that all the type constructors return concrete *rtype implementations.
6850 // It's difficult to test directly because the reflect package is only at arm's length.
6851 // The easiest thing to do is just call a function that crashes if it doesn't get an *rtype.
6852 check := func(name string, typ Type) {
6853 if underlying := TypeOf(typ).String(); underlying != "*reflect.rtype" {
6854 t.Errorf("%v returned %v, not *reflect.rtype", name, underlying)
6858 type T struct{ int }
6859 check("TypeOf", TypeOf(T{}))
6861 check("ArrayOf", ArrayOf(10, TypeOf(T{})))
6862 check("ChanOf", ChanOf(BothDir, TypeOf(T{})))
6863 check("FuncOf", FuncOf([]Type{TypeOf(T{})}, nil, false))
6864 check("MapOf", MapOf(TypeOf(T{}), TypeOf(T{})))
6865 check("PtrTo", PtrTo(TypeOf(T{})))
6866 check("SliceOf", SliceOf(TypeOf(T{})))
6869 type XM struct{ _ bool }
6871 func (*XM) String() string { return "" }
6873 func TestPtrToMethods(t *testing.T) {
6875 yp := New(TypeOf(y)).Interface()
6876 _, ok := yp.(fmt.Stringer)
6878 t.Fatal("does not implement Stringer, but should")
6882 func TestMapAlloc(t *testing.T) {
6883 m := ValueOf(make(map[int]int, 10))
6886 allocs := testing.AllocsPerRun(100, func() {
6890 t.Errorf("allocs per map assignment: want 0 got %f", allocs)
6895 val := ValueOf(&tmp).Elem()
6896 allocs = testing.AllocsPerRun(100, func() {
6897 mv := MakeMapWithSize(TypeOf(map[int]int{}), size)
6898 // Only adding half of the capacity to not trigger re-allocations due too many overloaded buckets.
6899 for i := 0; i < size/2; i++ {
6900 val.SetInt(int64(i))
6901 mv.SetMapIndex(val, val)
6905 t.Errorf("allocs per map assignment: want at most 10 got %f", allocs)
6907 // Empirical testing shows that with capacity hint single run will trigger 3 allocations and without 91. I set
6908 // the threshold to 10, to not make it overly brittle if something changes in the initial allocation of the
6909 // map, but to still catch a regression where we keep re-allocating in the hashmap as new entries are added.
6912 func TestChanAlloc(t *testing.T) {
6913 // Note: for a chan int, the return Value must be allocated, so we
6914 // use a chan *int instead.
6915 c := ValueOf(make(chan *int, 1))
6916 v := ValueOf(new(int))
6917 allocs := testing.AllocsPerRun(100, func() {
6921 if allocs < 0.5 || allocs > 1.5 {
6922 t.Errorf("allocs per chan send/recv: want 1 got %f", allocs)
6924 // Note: there is one allocation in reflect.recv which seems to be
6925 // a limitation of escape analysis. If that is ever fixed the
6926 // allocs < 0.5 condition will trigger and this test should be fixed.
6929 type TheNameOfThisTypeIsExactly255BytesLongSoWhenTheCompilerPrependsTheReflectTestPackageNameAndExtraStarTheLinkerRuntimeAndReflectPackagesWillHaveToCorrectlyDecodeTheSecondLengthByte0123456789_0123456789_0123456789_0123456789_0123456789_012345678 int
6931 type nameTest struct {
6936 var nameTests = []nameTest{
6937 {(*int32)(nil), "int32"},
6940 {(*chan D1)(nil), ""},
6941 {(*func() D1)(nil), ""},
6942 {(*<-chan D1)(nil), ""},
6943 {(*chan<- D1)(nil), ""},
6944 {(*interface{})(nil), ""},
6948 {(*TheNameOfThisTypeIsExactly255BytesLongSoWhenTheCompilerPrependsTheReflectTestPackageNameAndExtraStarTheLinkerRuntimeAndReflectPackagesWillHaveToCorrectlyDecodeTheSecondLengthByte0123456789_0123456789_0123456789_0123456789_0123456789_012345678)(nil), "TheNameOfThisTypeIsExactly255BytesLongSoWhenTheCompilerPrependsTheReflectTestPackageNameAndExtraStarTheLinkerRuntimeAndReflectPackagesWillHaveToCorrectlyDecodeTheSecondLengthByte0123456789_0123456789_0123456789_0123456789_0123456789_012345678"},
6951 func TestNames(t *testing.T) {
6952 for _, test := range nameTests {
6953 typ := TypeOf(test.v).Elem()
6954 if got := typ.Name(); got != test.want {
6955 t.Errorf("%v Name()=%q, want %q", typ, got, test.want)
6960 func TestExported(t *testing.T) {
6961 type ΦExported struct{}
6962 type φUnexported struct{}
6969 type exportTest struct {
6973 exportTests := []exportTest{
6977 {(*big)(nil), false},
6978 {(BigP)(nil), true},
6979 {(*BigP)(nil), true},
6980 {ΦExported{}, true},
6981 {φUnexported{}, false},
6988 for i, test := range exportTests {
6989 typ := TypeOf(test.v)
6990 if got := IsExported(typ); got != test.want {
6991 t.Errorf("%d: %s exported=%v, want %v", i, typ.Name(), got, test.want)
6996 func TestTypeStrings(t *testing.T) {
6997 type stringTest struct {
7001 stringTests := []stringTest{
7002 {TypeOf(func(int) {}), "func(int)"},
7003 {FuncOf([]Type{TypeOf(int(0))}, nil, false), "func(int)"},
7004 {TypeOf(XM{}), "reflect_test.XM"},
7005 {TypeOf(new(XM)), "*reflect_test.XM"},
7006 {TypeOf(new(XM).String), "func() string"},
7007 {TypeOf(new(XM)).Method(0).Type, "func(*reflect_test.XM) string"},
7008 {ChanOf(3, TypeOf(XM{})), "chan reflect_test.XM"},
7009 {MapOf(TypeOf(int(0)), TypeOf(XM{})), "map[int]reflect_test.XM"},
7010 {ArrayOf(3, TypeOf(XM{})), "[3]reflect_test.XM"},
7011 {ArrayOf(3, TypeOf(struct{}{})), "[3]struct {}"},
7014 for i, test := range stringTests {
7015 if got, want := test.typ.String(), test.want; got != want {
7016 t.Errorf("type %d String()=%q, want %q", i, got, want)
7021 func TestOffsetLock(t *testing.T) {
7022 var wg sync.WaitGroup
7023 for i := 0; i < 4; i++ {
7027 for j := 0; j < 50; j++ {
7028 ResolveReflectName(fmt.Sprintf("OffsetLockName:%d:%d", i, j))
7036 func BenchmarkNew(b *testing.B) {
7038 b.RunParallel(func(pb *testing.PB) {
7045 func TestSwapper(t *testing.T) {
7051 type pairPtr struct {
7063 in: []int{1, 20, 300},
7066 want: []int{300, 20, 1},
7069 in: []uintptr{1, 20, 300},
7072 want: []uintptr{300, 20, 1},
7075 in: []int16{1, 20, 300},
7078 want: []int16{300, 20, 1},
7081 in: []int8{1, 20, 100},
7084 want: []int8{100, 20, 1},
7087 in: []*I{&a, &b, &c},
7090 want: []*I{&c, &b, &a},
7093 in: []string{"eric", "sergey", "larry"},
7096 want: []string{"larry", "sergey", "eric"},
7099 in: []S{"eric", "sergey", "larry"},
7102 want: []S{"larry", "sergey", "eric"},
7105 in: []pair{{1, 2}, {3, 4}, {5, 6}},
7108 want: []pair{{5, 6}, {3, 4}, {1, 2}},
7111 in: []pairPtr{{1, 2, &a}, {3, 4, &b}, {5, 6, &c}},
7114 want: []pairPtr{{5, 6, &c}, {3, 4, &b}, {1, 2, &a}},
7118 for i, tt := range tests {
7119 inStr := fmt.Sprint(tt.in)
7120 Swapper(tt.in)(tt.i, tt.j)
7121 if !DeepEqual(tt.in, tt.want) {
7122 t.Errorf("%d. swapping %v and %v of %v = %v; want %v", i, tt.i, tt.j, inStr, tt.in, tt.want)
7127 // TestUnaddressableField tests that the reflect package will not allow
7128 // a type from another package to be used as a named type with an
7129 // unexported field.
7131 // This ensures that unexported fields cannot be modified by other packages.
7132 func TestUnaddressableField(t *testing.T) {
7133 var b Buffer // type defined in reflect, a different package
7134 var localBuffer struct {
7137 lv := ValueOf(&localBuffer).Elem()
7139 shouldPanic("Set", func() {
7148 type Talias1 struct {
7156 type Talias2 struct {
7161 func TestAliasNames(t *testing.T) {
7162 t1 := Talias1{byte: 1, uint8: 2, int: 3, int32: 4, rune: 5}
7163 out := fmt.Sprintf("%#v", t1)
7164 want := "reflect_test.Talias1{byte:0x1, uint8:0x2, int:3, int32:4, rune:5}"
7166 t.Errorf("Talias1 print:\nhave: %s\nwant: %s", out, want)
7169 t2 := Talias2{Tint: 1, Tint2: 2}
7170 out = fmt.Sprintf("%#v", t2)
7171 want = "reflect_test.Talias2{Tint:1, Tint2:2}"
7173 t.Errorf("Talias2 print:\nhave: %s\nwant: %s", out, want)
7177 func TestIssue22031(t *testing.T) {
7178 type s []struct{ C int }
7181 type t2 struct{ f s }
7184 ValueOf(t1{s{{}}}).Field(0).Index(0).Field(0),
7185 ValueOf(t2{s{{}}}).Field(0).Index(0).Field(0),
7188 for i, test := range tests {
7190 t.Errorf("%d: CanSet: got true, want false", i)
7195 type NonExportedFirst int
7197 func (i NonExportedFirst) ΦExported() {}
7198 func (i NonExportedFirst) nonexported() int { panic("wrong") }
7200 func TestIssue22073(t *testing.T) {
7201 m := ValueOf(NonExportedFirst(0)).Method(0)
7203 if got := m.Type().NumOut(); got != 0 {
7204 t.Errorf("NumOut: got %v, want 0", got)
7211 func TestMapIterNonEmptyMap(t *testing.T) {
7212 m := map[string]int{"one": 1, "two": 2, "three": 3}
7213 iter := ValueOf(m).MapRange()
7214 if got, want := iterateToString(iter), `[one: 1, three: 3, two: 2]`; got != want {
7215 t.Errorf("iterator returned %s (after sorting), want %s", got, want)
7219 func TestMapIterNilMap(t *testing.T) {
7220 var m map[string]int
7221 iter := ValueOf(m).MapRange()
7222 if got, want := iterateToString(iter), `[]`; got != want {
7223 t.Errorf("non-empty result iteratoring nil map: %s", got)
7227 func TestMapIterReset(t *testing.T) {
7228 iter := new(MapIter)
7230 // Use of zero iterator should panic.
7232 defer func() { recover() }()
7234 t.Error("Next did not panic")
7237 // Reset to new Map should work.
7238 m := map[string]int{"one": 1, "two": 2, "three": 3}
7239 iter.Reset(ValueOf(m))
7240 if got, want := iterateToString(iter), `[one: 1, three: 3, two: 2]`; got != want {
7241 t.Errorf("iterator returned %s (after sorting), want %s", got, want)
7244 // Reset to Zero value should work, but iterating over it should panic.
7247 defer func() { recover() }()
7249 t.Error("Next did not panic")
7252 // Reset to a different Map with different types should work.
7253 m2 := map[int]string{1: "one", 2: "two", 3: "three"}
7254 iter.Reset(ValueOf(m2))
7255 if got, want := iterateToString(iter), `[1: one, 2: two, 3: three]`; got != want {
7256 t.Errorf("iterator returned %s (after sorting), want %s", got, want)
7259 // Check that Reset, Next, and SetKey/SetValue play nicely together.
7260 m3 := map[uint64]uint64{
7265 kv := New(TypeOf(uint64(0))).Elem()
7266 for i := 0; i < 5; i++ {
7267 var seenk, seenv uint64
7268 iter.Reset(ValueOf(m3))
7276 t.Errorf("iteration yielded keys %b, want %b", seenk, 0b111)
7278 if seenv != 0b1110 {
7279 t.Errorf("iteration yielded values %b, want %b", seenv, 0b1110)
7283 // Reset should not allocate.
7284 n := int(testing.AllocsPerRun(10, func() {
7285 iter.Reset(ValueOf(m2))
7289 t.Errorf("MapIter.Reset allocated %d times", n)
7293 func TestMapIterSafety(t *testing.T) {
7294 // Using a zero MapIter causes a panic, but not a crash.
7296 defer func() { recover() }()
7298 t.Fatal("Key did not panic")
7301 defer func() { recover() }()
7302 new(MapIter).Value()
7303 t.Fatal("Value did not panic")
7306 defer func() { recover() }()
7308 t.Fatal("Next did not panic")
7311 // Calling Key/Value on a MapIter before Next
7312 // causes a panic, but not a crash.
7313 var m map[string]int
7314 iter := ValueOf(m).MapRange()
7317 defer func() { recover() }()
7319 t.Fatal("Key did not panic")
7322 defer func() { recover() }()
7324 t.Fatal("Value did not panic")
7327 // Calling Next, Key, or Value on an exhausted iterator
7328 // causes a panic, but not a crash.
7329 iter.Next() // -> false
7331 defer func() { recover() }()
7333 t.Fatal("Key did not panic")
7336 defer func() { recover() }()
7338 t.Fatal("Value did not panic")
7341 defer func() { recover() }()
7343 t.Fatal("Next did not panic")
7347 func TestMapIterNext(t *testing.T) {
7348 // The first call to Next should reflect any
7349 // insertions to the map since the iterator was created.
7350 m := map[string]int{}
7351 iter := ValueOf(m).MapRange()
7353 if got, want := iterateToString(iter), `[one: 1]`; got != want {
7354 t.Errorf("iterator returned deleted elements: got %s, want %s", got, want)
7358 func TestMapIterDelete0(t *testing.T) {
7359 // Delete all elements before first iteration.
7360 m := map[string]int{"one": 1, "two": 2, "three": 3}
7361 iter := ValueOf(m).MapRange()
7365 if got, want := iterateToString(iter), `[]`; got != want {
7366 t.Errorf("iterator returned deleted elements: got %s, want %s", got, want)
7370 func TestMapIterDelete1(t *testing.T) {
7371 // Delete all elements after first iteration.
7372 m := map[string]int{"one": 1, "two": 2, "three": 3}
7373 iter := ValueOf(m).MapRange()
7376 got = append(got, fmt.Sprint(iter.Key(), iter.Value()))
7382 t.Errorf("iterator returned wrong number of elements: got %d, want 1", len(got))
7386 // iterateToString returns the set of elements
7387 // returned by an iterator in readable form.
7388 func iterateToString(it *MapIter) string {
7391 line := fmt.Sprintf("%v: %v", it.Key(), it.Value())
7392 got = append(got, line)
7395 return "[" + strings.Join(got, ", ") + "]"
7398 func TestConvertibleTo(t *testing.T) {
7399 t1 := ValueOf(example1.MyStruct{}).Type()
7400 t2 := ValueOf(example2.MyStruct{}).Type()
7402 // Shouldn't raise stack overflow
7403 if t1.ConvertibleTo(t2) {
7404 t.Fatalf("(%s).ConvertibleTo(%s) = true, want false", t1, t2)
7407 t3 := ValueOf([]example1.MyStruct{}).Type()
7408 t4 := ValueOf([]example2.MyStruct{}).Type()
7410 if t3.ConvertibleTo(t4) {
7411 t.Fatalf("(%s).ConvertibleTo(%s) = true, want false", t3, t4)