| // run |
| |
| // Copyright 2020 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| // Test conversion from slice to array pointer. |
| |
| package main |
| |
| func wantPanic(fn func(), s string) { |
| defer func() { |
| err := recover() |
| if err == nil { |
| panic("expected panic") |
| } |
| if got := err.(error).Error(); got != s { |
| panic("expected panic " + s + " got " + got) |
| } |
| }() |
| fn() |
| } |
| |
| func main() { |
| s := make([]byte, 8, 10) |
| if p := (*[8]byte)(s); &p[0] != &s[0] { |
| panic("*[8]byte conversion failed") |
| } |
| wantPanic( |
| func() { |
| _ = (*[9]byte)(s) |
| }, |
| "runtime error: cannot convert slice with length 8 to pointer to array with length 9", |
| ) |
| |
| var n []byte |
| if p := (*[0]byte)(n); p != nil { |
| panic("nil slice converted to *[0]byte should be nil") |
| } |
| |
| z := make([]byte, 0) |
| if p := (*[0]byte)(z); p == nil { |
| panic("empty slice converted to *[0]byte should be non-nil") |
| } |
| |
| // Test with named types |
| type Slice []int |
| type Int4 [4]int |
| type PInt4 *[4]int |
| ii := make(Slice, 4) |
| if p := (*Int4)(ii); &p[0] != &ii[0] { |
| panic("*Int4 conversion failed") |
| } |
| if p := PInt4(ii); &p[0] != &ii[0] { |
| panic("PInt4 conversion failed") |
| } |
| } |
| |
| // test static variable conversion |
| |
| var ( |
| ss = make([]string, 10) |
| s5 = (*[5]string)(ss) |
| s10 = (*[10]string)(ss) |
| |
| ns []string |
| ns0 = (*[0]string)(ns) |
| |
| zs = make([]string, 0) |
| zs0 = (*[0]string)(zs) |
| ) |
| |
| func init() { |
| if &ss[0] != &s5[0] { |
| panic("s5 conversion failed") |
| } |
| if &ss[0] != &s10[0] { |
| panic("s5 conversion failed") |
| } |
| if ns0 != nil { |
| panic("ns0 should be nil") |
| } |
| if zs0 == nil { |
| panic("zs0 should not be nil") |
| } |
| } |