mirror of
https://github.com/golang/go
synced 2024-11-13 14:50:21 -07:00
cmd/compile: allow embedding overlapping interfaces
Quietly drop duplicate methods inherited from embedded interfaces if they have an identical signature to existing methods. Updates #6977. Change-Id: I144151cb7d99695f12b555c0db56207993c56284 Reviewed-on: https://go-review.googlesource.com/c/go/+/187519 Run-TryBot: Matthew Dempsky <mdempsky@google.com> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Robert Griesemer <gri@golang.org>
This commit is contained in:
parent
97edf77903
commit
8d4b685ab5
@ -27,11 +27,32 @@ func Rnd(o int64, r int64) int64 {
|
|||||||
// expandiface computes the method set for interface type t by
|
// expandiface computes the method set for interface type t by
|
||||||
// expanding embedded interfaces.
|
// expanding embedded interfaces.
|
||||||
func expandiface(t *types.Type) {
|
func expandiface(t *types.Type) {
|
||||||
var fields []*types.Field
|
seen := make(map[*types.Sym]*types.Field)
|
||||||
|
var methods []*types.Field
|
||||||
|
|
||||||
|
addMethod := func(m *types.Field, explicit bool) {
|
||||||
|
switch prev := seen[m.Sym]; {
|
||||||
|
case prev == nil:
|
||||||
|
seen[m.Sym] = m
|
||||||
|
case !explicit && types.Identical(m.Type, prev.Type):
|
||||||
|
return
|
||||||
|
default:
|
||||||
|
yyerrorl(m.Pos, "duplicate method %s", m.Sym.Name)
|
||||||
|
}
|
||||||
|
methods = append(methods, m)
|
||||||
|
}
|
||||||
|
|
||||||
|
for _, m := range t.Methods().Slice() {
|
||||||
|
if m.Sym == nil {
|
||||||
|
continue
|
||||||
|
}
|
||||||
|
|
||||||
|
checkwidth(m.Type)
|
||||||
|
addMethod(m, true)
|
||||||
|
}
|
||||||
|
|
||||||
for _, m := range t.Methods().Slice() {
|
for _, m := range t.Methods().Slice() {
|
||||||
if m.Sym != nil {
|
if m.Sym != nil {
|
||||||
fields = append(fields, m)
|
|
||||||
checkwidth(m.Type)
|
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -43,7 +64,7 @@ func expandiface(t *types.Type) {
|
|||||||
// include the broken embedded type when
|
// include the broken embedded type when
|
||||||
// printing t.
|
// printing t.
|
||||||
// TODO(mdempsky): Revisit this.
|
// TODO(mdempsky): Revisit this.
|
||||||
fields = append(fields, m)
|
methods = append(methods, m)
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -56,23 +77,22 @@ func expandiface(t *types.Type) {
|
|||||||
f.Sym = t1.Sym
|
f.Sym = t1.Sym
|
||||||
f.Type = t1.Type
|
f.Type = t1.Type
|
||||||
f.SetBroke(t1.Broke())
|
f.SetBroke(t1.Broke())
|
||||||
fields = append(fields, f)
|
addMethod(f, false)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
sort.Sort(methcmp(fields))
|
sort.Sort(methcmp(methods))
|
||||||
checkdupfields("method", fields)
|
|
||||||
|
|
||||||
if int64(len(fields)) >= thearch.MAXWIDTH/int64(Widthptr) {
|
if int64(len(methods)) >= thearch.MAXWIDTH/int64(Widthptr) {
|
||||||
yyerror("interface too large")
|
yyerror("interface too large")
|
||||||
}
|
}
|
||||||
for i, f := range fields {
|
for i, m := range methods {
|
||||||
f.Offset = int64(i) * int64(Widthptr)
|
m.Offset = int64(i) * int64(Widthptr)
|
||||||
}
|
}
|
||||||
|
|
||||||
// Access fields directly to avoid recursively calling dowidth
|
// Access fields directly to avoid recursively calling dowidth
|
||||||
// within Type.Fields().
|
// within Type.Fields().
|
||||||
t.Extra.(*types.Interface).Fields.Set(fields)
|
t.Extra.(*types.Interface).Fields.Set(methods)
|
||||||
}
|
}
|
||||||
|
|
||||||
func widstruct(errtype *types.Type, t *types.Type, o int64, flag int) int64 {
|
func widstruct(errtype *types.Type, t *types.Type, o int64, flag int) int64 {
|
||||||
|
@ -8,11 +8,7 @@ package main
|
|||||||
|
|
||||||
type I1 interface { // GC_ERROR "invalid recursive type"
|
type I1 interface { // GC_ERROR "invalid recursive type"
|
||||||
m() I2
|
m() I2
|
||||||
// TODO(mdempsky): The duplicate method error is silly
|
I2 // GCCGO_ERROR "loop|interface"
|
||||||
// and redundant, but tricky to prevent as it's actually
|
|
||||||
// being emitted against the underlying interface type
|
|
||||||
// literal, not I1 itself.
|
|
||||||
I2 // ERROR "loop|interface|duplicate method m"
|
|
||||||
}
|
}
|
||||||
|
|
||||||
type I2 interface {
|
type I2 interface {
|
||||||
|
40
test/fixedbugs/issue6977.go
Normal file
40
test/fixedbugs/issue6977.go
Normal file
@ -0,0 +1,40 @@
|
|||||||
|
// errorcheck
|
||||||
|
|
||||||
|
// Copyright 2019 The Go Authors. All rights reserved.
|
||||||
|
// Use of this source code is governed by a BSD-style
|
||||||
|
// license that can be found in the LICENSE file.
|
||||||
|
|
||||||
|
package p
|
||||||
|
|
||||||
|
import "io"
|
||||||
|
|
||||||
|
// Alan's initial report.
|
||||||
|
|
||||||
|
type I interface { f(); String() string }
|
||||||
|
type J interface { g(); String() string }
|
||||||
|
|
||||||
|
type IJ1 = interface { I; J }
|
||||||
|
type IJ2 = interface { f(); g(); String() string }
|
||||||
|
|
||||||
|
var _ = (*IJ1)(nil) == (*IJ2)(nil) // static assert that IJ1 and IJ2 are identical types
|
||||||
|
|
||||||
|
// The canonical example.
|
||||||
|
|
||||||
|
type ReadWriteCloser interface { io.ReadCloser; io.WriteCloser }
|
||||||
|
|
||||||
|
// Some more cases.
|
||||||
|
|
||||||
|
type M interface { m() }
|
||||||
|
type M32 interface { m() int32 }
|
||||||
|
type M64 interface { m() int64 }
|
||||||
|
|
||||||
|
type U1 interface { m() }
|
||||||
|
type U2 interface { m(); M }
|
||||||
|
type U3 interface { M; m() }
|
||||||
|
type U4 interface { M; M; M }
|
||||||
|
type U5 interface { U1; U2; U3; U4 }
|
||||||
|
|
||||||
|
type U6 interface { m(); m() } // ERROR "duplicate method m"
|
||||||
|
type U7 interface { M32; m() } // ERROR "duplicate method m"
|
||||||
|
type U8 interface { m(); M32 } // ERROR "duplicate method m"
|
||||||
|
type U9 interface { M32; M64 } // ERROR "duplicate method m"
|
Loading…
Reference in New Issue
Block a user