diff options
author | Dan Scales <danscales@google.com> | 2021-02-11 10:50:20 -0800 |
---|---|---|
committer | Dan Scales <danscales@google.com> | 2021-02-18 22:37:06 +0000 |
commit | 20050a15fee5b03735d6a14fcd96c059a05e149c (patch) | |
tree | ebe294d807231d8d57b0d85a448488378f7fce4e /src/cmd/compile/internal/reflectdata/reflect.go | |
parent | 2ff1e05a4ce132dec2a640d9fa941c2d33f90c36 (diff) | |
download | go-20050a15fee5b03735d6a14fcd96c059a05e149c.tar.gz go-20050a15fee5b03735d6a14fcd96c059a05e149c.zip |
[dev.typeparams] cmd/compile: support generic types (with stenciling of method calls)
A type may now have a type param in it, either because it has been
composed from a function type param, or it has been declared as or
derived from a reference to a generic type. No objects or types with
type params can be exported yet. No generic type has a runtime
descriptor (but will likely eventually be associated with a dictionary).
types.Type now has an RParam field, which for a Named type can specify
the type params (in order) that must be supplied to fully instantiate
the type. Also, there is a new flag HasTParam to indicate if there is
a type param (TTYPEPARAM) anywhere in the type.
An instantiated generic type (whether fully instantiated or
re-instantiated to new type params) is a defined type, even though there
was no explicit declaration. This allows us to handle recursive
instantiated types (and improves printing of types).
To avoid the need to transform later in the compiler, an instantiation
of a method of a generic type is immediately represented as a function
with the method as the first argument.
Added 5 tests on generic types to test/typeparams, including list.go,
which tests recursive generic types.
Change-Id: Ib7ff27abd369a06d1c8ea84edc6ca1fd74bbb7c2
Reviewed-on: https://go-review.googlesource.com/c/go/+/292652
Trust: Dan Scales <danscales@google.com>
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Dan Scales <danscales@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>
Diffstat (limited to 'src/cmd/compile/internal/reflectdata/reflect.go')
-rw-r--r-- | src/cmd/compile/internal/reflectdata/reflect.go | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/cmd/compile/internal/reflectdata/reflect.go b/src/cmd/compile/internal/reflectdata/reflect.go index 632e0f48d4..06a7f91c52 100644 --- a/src/cmd/compile/internal/reflectdata/reflect.go +++ b/src/cmd/compile/internal/reflectdata/reflect.go @@ -1288,6 +1288,11 @@ func ITabSym(it *obj.LSym, offset int64) *obj.LSym { // NeedRuntimeType ensures that a runtime type descriptor is emitted for t. func NeedRuntimeType(t *types.Type) { + if t.HasTParam() { + // Generic types don't have a runtime type descriptor (but will + // have a dictionary) + return + } if _, ok := signatset[t]; !ok { signatset[t] = struct{}{} signatslice = append(signatslice, t) |