Why a generic can’t be assigned to another even if their type arguments can?

by

Instantiating a generic type with different type arguments produces two new different named types.

Note that every time you supply a type argument, including in function arguments or return types, you are instantiating the generic type:

// Props is instantiated with type argument 'Generic'
func Problem() Props[Generic] {
    return ExampleProps
}

Therefore Props[Example] is just not the same type as Props[Generic] and you can’t use values of one type wherever the other one is expected. It does not matter if the types used as arguments themselves meet some condition for assignability, e.g. interfaces and implementors.

This is also true of generics instantiated with any. The type any is just another static type — alias of interface{}. It’s not equal to T and it’s not equal to “whatever type”.

In simpler terms it’s as if you were using int where string is expected.

What you can do fix it and keep some flexibility is to instantiate Props with a type parameter — whether this makes sense or not depends on how you actually plan to use this function. Anyway, as demonstration:

// adding a field to make this a bit less contrived
type Props[G Generic] struct{ Value G }

// Props instantiated with T, adequately constrained
func Problem[T Generic](v T) Props[T] {
    return Props[T]{ Value: v }
}

func main() {
    a := Problem(Example{})
    fmt.Println(a)
}

Playground: https://gotipplay.golang.org/p/wcDOtJ6z80u

More Related Contents:

  1. Generic Structs with Go
  2. In Go generics, how to use a common method for types in a union constraint?
  3. generic map value
  4. How can I access a struct field with generics (type T has no field or method)?
  5. How to create generic method in Go? (method must have no type parameters)
  6. Can I construct a slice of a generic type with different type parameters?
  7. How to assign or return generic T that is constrained by union?
  8. Go error: cannot use generic type without instantiation
  9. How to implement generic interfaces?
  10. How can I instantiate a non-nil pointer of type argument with generic Go?
  11. Go Generics – Unions
  12. How to write a generic function that accepts any numerical type?
  13. Golang mixed assignment and declaration
  14. Difference between any/interface{} as constraint vs. type of argument?
  15. Is there a way to map an array of objects in golang?
  16. How to iterate over a union of slices passed in a generic function? (T has no core type)
  17. Handle maps with same key type but different value type
  18. Unable to install gRPC for go in mac os
  19. What’s the meaning of interface{}?
  20. Multiple values in single-value context
  21. If Go’s interfaces aren’t enforced, are they necessary?
  22. How to set default values in Go structs
  23. What are channels used for?
  24. Convert between slices of different types
  25. Is it possible get information about caller function in Golang?
  26. Does Go have standard Err variables?
  27. Specs: What’s the purpose of the blank identifier in variable assignment? [duplicate]
  28. When is the init() function run?
  29. Go gin framework CORS
  30. TypeOf without an instance and passing result to a func

Leave a Comment