wire: fix error messages for Bind and InterfaceValue when the arg doesn't implement the interface (google/go-cloud#491)
Fixes google/go-cloud#490
This commit is contained in:
committed by
Ross Light
parent
2c50843322
commit
be8ecba636
17
README.md
17
README.md
@@ -237,6 +237,23 @@ interface type and the second argument is a zero value of the concrete type. Any
|
|||||||
set that includes an interface binding must also have a provider in the same set
|
set that includes an interface binding must also have a provider in the same set
|
||||||
that provides the concrete type.
|
that provides the concrete type.
|
||||||
|
|
||||||
|
If necessary, you can also bind one interface to another:
|
||||||
|
|
||||||
|
```go
|
||||||
|
type FooerPlus interface {
|
||||||
|
Fooer
|
||||||
|
Bar() String
|
||||||
|
}
|
||||||
|
|
||||||
|
func ProviderFooerPlus() FooerPlus {
|
||||||
|
...
|
||||||
|
}
|
||||||
|
|
||||||
|
var FooerPlusAsFooer = wire.NewSet(
|
||||||
|
ProvideFooerPlus,
|
||||||
|
wire.Bind(new(Fooer), *new(FooerPlus)))
|
||||||
|
```
|
||||||
|
|
||||||
[type identity]: https://golang.org/ref/spec#Type_identity
|
[type identity]: https://golang.org/ref/spec#Type_identity
|
||||||
[return concrete types]: https://github.com/golang/go/wiki/CodeReviewComments#interfaces
|
[return concrete types]: https://github.com/golang/go/wiki/CodeReviewComments#interfaces
|
||||||
|
|
||||||
|
|||||||
@@ -680,22 +680,23 @@ func processBind(fset *token.FileSet, info *types.Info, call *ast.CallExpr) (*If
|
|||||||
ifaceArgType := info.TypeOf(call.Args[0])
|
ifaceArgType := info.TypeOf(call.Args[0])
|
||||||
ifacePtr, ok := ifaceArgType.(*types.Pointer)
|
ifacePtr, ok := ifaceArgType.(*types.Pointer)
|
||||||
if !ok {
|
if !ok {
|
||||||
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("first argument to bind must be a pointer to an interface type; found %s", types.TypeString(ifaceArgType, nil)))
|
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("first argument to Bind must be a pointer to an interface type; found %s", types.TypeString(ifaceArgType, nil)))
|
||||||
}
|
}
|
||||||
methodSet, ok := ifacePtr.Elem().Underlying().(*types.Interface)
|
iface := ifacePtr.Elem()
|
||||||
|
methodSet, ok := iface.Underlying().(*types.Interface)
|
||||||
if !ok {
|
if !ok {
|
||||||
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("first argument to bind must be a pointer to an interface type; found %s", types.TypeString(ifaceArgType, nil)))
|
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("first argument to Bind must be a pointer to an interface type; found %s", types.TypeString(ifaceArgType, nil)))
|
||||||
}
|
}
|
||||||
provided := info.TypeOf(call.Args[1])
|
provided := info.TypeOf(call.Args[1])
|
||||||
if types.Identical(ifacePtr.Elem(), provided) {
|
if types.Identical(iface, provided) {
|
||||||
return nil, notePosition(fset.Position(call.Pos()), errors.New("cannot bind interface to itself"))
|
return nil, notePosition(fset.Position(call.Pos()), errors.New("cannot bind interface to itself"))
|
||||||
}
|
}
|
||||||
if !types.Implements(provided, methodSet) {
|
if !types.Implements(provided, methodSet) {
|
||||||
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("%s does not implement %s", types.TypeString(provided, nil), types.TypeString(ifaceArgType, nil)))
|
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("%s does not implement %s", types.TypeString(provided, nil), types.TypeString(iface, nil)))
|
||||||
}
|
}
|
||||||
return &IfaceBinding{
|
return &IfaceBinding{
|
||||||
Pos: call.Pos(),
|
Pos: call.Pos(),
|
||||||
Iface: ifacePtr.Elem(),
|
Iface: iface,
|
||||||
Provided: provided,
|
Provided: provided,
|
||||||
}, nil
|
}, nil
|
||||||
}
|
}
|
||||||
@@ -764,7 +765,7 @@ func processInterfaceValue(fset *token.FileSet, info *types.Info, call *ast.Call
|
|||||||
}
|
}
|
||||||
provided := info.TypeOf(call.Args[1])
|
provided := info.TypeOf(call.Args[1])
|
||||||
if !types.Implements(provided, methodSet) {
|
if !types.Implements(provided, methodSet) {
|
||||||
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("%s does not implement %s", types.TypeString(provided, nil), types.TypeString(ifaceArgType, nil)))
|
return nil, notePosition(fset.Position(call.Pos()), fmt.Errorf("%s does not implement %s", types.TypeString(provided, nil), types.TypeString(iface, nil)))
|
||||||
}
|
}
|
||||||
return &Value{
|
return &Value{
|
||||||
Pos: call.Args[1].Pos(),
|
Pos: call.Args[1].Pos(),
|
||||||
|
|||||||
27
internal/wire/testdata/InterfaceBindingDoesntImplement/foo/foo.go
vendored
Normal file
27
internal/wire/testdata/InterfaceBindingDoesntImplement/foo/foo.go
vendored
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"fmt"
|
||||||
|
)
|
||||||
|
|
||||||
|
func main() {
|
||||||
|
fmt.Println(injectFooer().Foo())
|
||||||
|
}
|
||||||
|
|
||||||
|
type Fooer interface {
|
||||||
|
Foo() string
|
||||||
|
}
|
||||||
27
internal/wire/testdata/InterfaceBindingDoesntImplement/foo/wire.go
vendored
Normal file
27
internal/wire/testdata/InterfaceBindingDoesntImplement/foo/wire.go
vendored
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
//+build wireinject
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"github.com/google/go-cloud/wire"
|
||||||
|
)
|
||||||
|
|
||||||
|
func injectFooer() Fooer {
|
||||||
|
// wrong: string doesn't implement Fooer.
|
||||||
|
wire.Build(wire.Bind((*Fooer)(nil), "foo"))
|
||||||
|
return nil
|
||||||
|
}
|
||||||
1
internal/wire/testdata/InterfaceBindingDoesntImplement/pkg
vendored
Normal file
1
internal/wire/testdata/InterfaceBindingDoesntImplement/pkg
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
example.com/foo
|
||||||
1
internal/wire/testdata/InterfaceBindingDoesntImplement/want/wire_errs.txt
vendored
Normal file
1
internal/wire/testdata/InterfaceBindingDoesntImplement/want/wire_errs.txt
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
string does not implement example.com/foo.Fooer
|
||||||
27
internal/wire/testdata/InterfaceBindingInvalidArg0/foo/foo.go
vendored
Normal file
27
internal/wire/testdata/InterfaceBindingInvalidArg0/foo/foo.go
vendored
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"fmt"
|
||||||
|
)
|
||||||
|
|
||||||
|
func main() {
|
||||||
|
fmt.Println(injectFooer().Foo())
|
||||||
|
}
|
||||||
|
|
||||||
|
type Fooer interface {
|
||||||
|
Foo() string
|
||||||
|
}
|
||||||
27
internal/wire/testdata/InterfaceBindingInvalidArg0/foo/wire.go
vendored
Normal file
27
internal/wire/testdata/InterfaceBindingInvalidArg0/foo/wire.go
vendored
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
//+build wireinject
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"github.com/google/go-cloud/wire"
|
||||||
|
)
|
||||||
|
|
||||||
|
func injectFooer() Fooer {
|
||||||
|
// wrong: arg0 must be a pointer to an interface.
|
||||||
|
wire.Build(wire.Bind("foo", "bar"))
|
||||||
|
return nil
|
||||||
|
}
|
||||||
1
internal/wire/testdata/InterfaceBindingInvalidArg0/pkg
vendored
Normal file
1
internal/wire/testdata/InterfaceBindingInvalidArg0/pkg
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
example.com/foo
|
||||||
1
internal/wire/testdata/InterfaceBindingInvalidArg0/want/wire_errs.txt
vendored
Normal file
1
internal/wire/testdata/InterfaceBindingInvalidArg0/want/wire_errs.txt
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
first argument to Bind must be a pointer to an interface type; found string
|
||||||
27
internal/wire/testdata/InterfaceBindingNotEnoughArgs/foo/foo.go
vendored
Normal file
27
internal/wire/testdata/InterfaceBindingNotEnoughArgs/foo/foo.go
vendored
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"fmt"
|
||||||
|
)
|
||||||
|
|
||||||
|
func main() {
|
||||||
|
fmt.Println(injectFooer().Foo())
|
||||||
|
}
|
||||||
|
|
||||||
|
type Fooer interface {
|
||||||
|
Foo() string
|
||||||
|
}
|
||||||
27
internal/wire/testdata/InterfaceBindingNotEnoughArgs/foo/wire.go
vendored
Normal file
27
internal/wire/testdata/InterfaceBindingNotEnoughArgs/foo/wire.go
vendored
Normal file
@@ -0,0 +1,27 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
//+build wireinject
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"github.com/google/go-cloud/wire"
|
||||||
|
)
|
||||||
|
|
||||||
|
func injectFooer() Fooer {
|
||||||
|
// wrong: wire.Bind requires 2 args.
|
||||||
|
wire.Build(wire.Bind((*Fooer)(nil)))
|
||||||
|
return nil
|
||||||
|
}
|
||||||
1
internal/wire/testdata/InterfaceBindingNotEnoughArgs/pkg
vendored
Normal file
1
internal/wire/testdata/InterfaceBindingNotEnoughArgs/pkg
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
example.com/foo
|
||||||
1
internal/wire/testdata/InterfaceBindingNotEnoughArgs/want/wire_errs.txt
vendored
Normal file
1
internal/wire/testdata/InterfaceBindingNotEnoughArgs/want/wire_errs.txt
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
too few arguments in call to wire.Bind
|
||||||
21
internal/wire/testdata/InterfaceValueDoesntImplement/foo/foo.go
vendored
Normal file
21
internal/wire/testdata/InterfaceValueDoesntImplement/foo/foo.go
vendored
Normal file
@@ -0,0 +1,21 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import "fmt"
|
||||||
|
|
||||||
|
func main() {
|
||||||
|
fmt.Println(injectedMessage())
|
||||||
|
}
|
||||||
28
internal/wire/testdata/InterfaceValueDoesntImplement/foo/wire.go
vendored
Normal file
28
internal/wire/testdata/InterfaceValueDoesntImplement/foo/wire.go
vendored
Normal file
@@ -0,0 +1,28 @@
|
|||||||
|
// Copyright 2018 The Go Cloud Authors
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||||||
|
// you may not use this file except in compliance with the License.
|
||||||
|
// You may obtain a copy of the License at
|
||||||
|
//
|
||||||
|
// https://www.apache.org/licenses/LICENSE-2.0
|
||||||
|
//
|
||||||
|
// Unless required by applicable law or agreed to in writing, software
|
||||||
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||||||
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||||
|
// See the License for the specific language governing permissions and
|
||||||
|
// limitations under the License.
|
||||||
|
|
||||||
|
//+build wireinject
|
||||||
|
|
||||||
|
package main
|
||||||
|
|
||||||
|
import (
|
||||||
|
"github.com/google/go-cloud/wire"
|
||||||
|
"io"
|
||||||
|
)
|
||||||
|
|
||||||
|
func injectedMessage() string {
|
||||||
|
// wrong: string doesn't implement io.Reader.
|
||||||
|
wire.Build(wire.InterfaceValue(new(io.Reader), "bar"))
|
||||||
|
return ""
|
||||||
|
}
|
||||||
1
internal/wire/testdata/InterfaceValueDoesntImplement/pkg
vendored
Normal file
1
internal/wire/testdata/InterfaceValueDoesntImplement/pkg
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
example.com/foo
|
||||||
1
internal/wire/testdata/InterfaceValueDoesntImplement/want/wire_errs.txt
vendored
Normal file
1
internal/wire/testdata/InterfaceValueDoesntImplement/want/wire_errs.txt
vendored
Normal file
@@ -0,0 +1 @@
|
|||||||
|
string does not implement io.Reader
|
||||||
@@ -21,6 +21,7 @@ import (
|
|||||||
)
|
)
|
||||||
|
|
||||||
func injectedMessage() string {
|
func injectedMessage() string {
|
||||||
|
// wrong: arg0 must be a pointer to an interface.
|
||||||
wire.Build(wire.InterfaceValue("foo", "bar"))
|
wire.Build(wire.InterfaceValue("foo", "bar"))
|
||||||
return ""
|
return ""
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -21,6 +21,7 @@ import (
|
|||||||
)
|
)
|
||||||
|
|
||||||
func injectedMessage() string {
|
func injectedMessage() string {
|
||||||
|
// wrong: InterfaceValue requires 2 args.
|
||||||
wire.Build(wire.InterfaceValue("foo"))
|
wire.Build(wire.InterfaceValue("foo"))
|
||||||
return ""
|
return ""
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user