NSCopying copy(with:) - Does it really need to return Any?

Question

Is there any way to use NSCopying without the returned object being of type Any ? It always forces me to cast. This seems strange. I'm copying the object, shouldn't Swift know it's the same type by definition of the word copy ?

Is there another way to copy objects that I don't know about, or is there some "gotcha" that I'm missing that requires this.

The class is very simple, like:

class Person {
   var name: String
   var age: Int
}

It must be a class because I need to have inheritance.

example:

var john = Person(name: "John", age: 30)
var johnsClone = john.copy() as! Person

I suppose I could create an initializer that takes an existing object, but this seems semantically less good than the word "copy".

init(person: Person) {
     return Person(name: person.name. age: person.age)
}

The only issue I have with implementing my own clone() method is that I would also like to have a protocol which can call clone() on many of such objects and implicitly return the same object type.

Answer 1

This is the Objective-C API for the NSObject method copy :

- (id)copy;

That translates into Swift as:

func copy() -> Any

Thus, no type information is attached to the new object; that's why you have to cast.

Now, if you don't like that, there's an easy solution in your situation: don't adopt NSCopying and don't use the built-in NSObject copy method! Write your own one-off method that clones a Person — eg an instance method called makeClone() . NSObject copy is a convenience, but no law requires you to use it (unless there is some other reason why Person needs to conform to NSCopying, eg it is to be used as the key to an NSDictionary, but I'm betting you are never encountering any such reason).

Answer 2

copy(with:) is the Swift imported version of the Objective C method, -copyWithZone . At the time this protocol was made Objective C didn't have a mechanism for expressing that copyWithZone should return the same type as the self it's called on. instancetype was introduced to be able to do just this, but NSCopying predates the existence of instancetype . Switching it from id to instancetype would have been a breaking change, so it was never done.

Answer 3

Based off the information I received above and this post Protocol func returning Self , this is a way to do it without using NSCopying .

Because the custom copy() returns the type of the object, while NSCopying 's copy() returns Any , the two have different method signatures, so you can use your own copy() without ambiguity.

protocol Copyable {
    init(copy: Self)
}

extension Copyable {
    func copy() -> Self {
        return Self.init(copy: self)
    }
 }

class Person: Copyable{

    var name: String
    var age: Int

   init(name: String, age: Int) {
        self.name = name
        self.age = age
    }

    required init(copy: Person) {
        self.name = copy.name
        self.age = copy.age
    }
 }


 let john = Person(name: "John", age: 30)
 let johnsClone = john.copy()