How to iterate over a union of slices passed in a generic function? (T has no core type)

by

A core type, for an interface (including an interface constraint) is defined as follows:

An interface T has a core type if one of the following conditions is
satisfied:

  • There is a single type U which is the underlying type of all types in the type set of T

  • or the type set of T contains only channel types with identical element type E, and all directional channels have the same direction.

Your interface constraint has no core type, because it has two underlying types: []int64 and []float64.

Therefore you can’t use it where a core type is required. Notably range and make.

You can change the interface to require the base types, and then specify the slice in the function signature:

// still no core type...
type Number interface {
    int64 | float64
}

// ...but the argument will be instantiated with either int64 or float64
func add[N Number](n []N) {
    for _, v := range n {
        fmt.Println(v)
    }
}

This also works, but it’s way more verbose:

type NumberSlice[N int64 | float64] interface {
    // one core type []N
    ~[]N
}

func add[S NumberSlice[N], N int64 | float64](n S) {
    for _, v := range n {
        fmt.Println(v)
    }
}

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. Difference between any/interface{} as constraint vs. type of argument?
  14. Is there a way to map an array of objects in golang?
  15. Why a generic can’t be assigned to another even if their type arguments can?
  16. Handle maps with same key type but different value type
  17. How to print string with a carriage return
  18. how to send dynamic json key/value as request params
  19. How to stop a goroutine
  20. Is it safe to read a function pointer concurrently without a lock?
  21. Method Sets (Pointer vs Value Receiver)
  22. Golang append an item to a slice
  23. How to convert uint8 to string
  24. Using reflect, how do you set the value of a struct field?
  25. Multiple goroutines listening on one channel
  26. range over interface{} which stores a slice
  27. How to stop http.ListenAndServe()
  28. How can I install a package with go get?
  29. How to disable “use of internal package not allowed”
  30. Golang parse a json with DYNAMIC key [duplicate]

Leave a Comment