Is there a way to constrain generic placeholder has to be value type?

Using Swift
1

Is there a way to constrain the generic placeholder to be a value type?

struct Box<T> {
    var value: T
}

how can I constrain T to be a value type?

2
1 Like
3

There’s no “negation of AnyObject” requirement because the distinction isn’t useful. Any reference type can become a “value type”:

struct Wrapper {
  var wrapped: SomeClass
}

What you’re probably thinking of is a value semantics guarantee that would be able to rule out the above for example, but that’s not something that a type system like Swift’s can describe.

4 Likes
4

I know the situation above. but in some cases, I still want to restrict to the value types.

5

Whenever I think "I really only want __ to be used with value types", I try and think about what I'm hoping to achieve with that restriction. This makes me realize that what I actually want is Sendable or BitwiseCopyable or Hashable, i.e. some quality that I've come to associate with value types and not literally value types. To be clear, I'm not saying these are truly equivalent or that this association actually makes sense, e.g., reference types can be Sendable and Hashable but not BitwiseCopyable while every value type need not have those qualities.

Assuming you could constrain to value types:

extension Box where T: ValueType {
  // What special thing can I do?
}
2 Likes
6

The concept of value semantics is a tricky one. There have been some legendary discussions about it here on the forums, for example ValueSemantic protocol.

When thinking about this I try to keep in mind:

  • NSUUID, which is an reference type, but is always immutable [1] and thus has value semantics.

  • File descriptors, commonly modelled as CInt, which are value types but do have reference semantics.

Share and Enjoy

Quinn “The Eskimo!” @ DTS @ Apple

[1] Well, if you ignore subclasses, but subclassing NSUUID would be bananas.

3 Likes