Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Failing cast in Swift from Any? to protocol

Tags:

casting

swift

FYI: Swift bug raised here: https://bugs.swift.org/browse/SR-3871


I'm having an odd problem where a cast isn't working, but the console shows it as the correct type.

I have a public protocol

public protocol MyProtocol { } 

And I implement this in a module, with a public method which return an instance.

internal struct MyStruct: MyProtocol { }  public func make() -> MyProtocol { return MyStruct() } 

Then, in my view controller, I trigger a segue with that object as the sender

let myStruct = make() self.performSegue(withIdentifier: "Bob", sender: myStruct) 

All good so far.

The problem is in my prepare(for:sender:) method.

override func prepare(for segue: UIStoryboardSegue, sender: Any?) {     if segue.identifier == "Bob" {         if let instance = sender as? MyProtocol {             print("Yay")         }     } } 

However, the cast of instance to MyProtocol always returns nil.

When I run po sender as! MyProtocol in the console, it gives me the error Could not cast value of type '_SwiftValue' (0x1107c4c70) to 'MyProtocol' (0x1107c51c8). However, po sender will output a valid Module.MyStruct instance.

Why doesn't this cast work?

(I've managed to solve it by boxing my protocol in a struct, but I'd like to know why it's not working as is, and if there is a better way to fix it)

like image 456
deanWombourne Avatar asked Feb 03 '17 22:02

deanWombourne


2 Answers

This is pretty weird bug – it looks like it happens when an instance has been bridged to Obj-C by being boxed in a _SwiftValue and is statically typed as Any(?). That instance then cannot be cast to a given protocol that it conforms to.

According to Joe Groff in the comments of the bug report you filed:

This is an instance of the general "runtime dynamic casting doesn't bridge if necessary to bridge to a protocol" bug. Since sender is seen as _SwiftValue object type, and we're trying to get to a protocol it doesn't conform to, we give up without also trying the bridged type.

A more minimal example would be:

protocol P {} struct S : P {}  let s = S()  let val : Any = s as AnyObject // bridge to Obj-C as a _SwiftValue.  print(val as? P) // nil 

Weirdly enough, first casting to AnyObject and then casting to the protocol appears to work:

print(val as AnyObject as! P) // S() 

So it appears that statically typing it as AnyObject makes Swift also check the bridged type for protocol conformance, allowing the cast to succeed. The reasoning for this, as explained in another comment by Joe Groff, is:

The runtime has had a number of bugs where it only attempts certain conversions to one level of depth, but not after performing other conversions (so AnyObject -> bridge -> Protocol might work, but Any -> AnyObject -> bridge -> Protocol doesn't). It ought to work, at any rate.

like image 168
Hamish Avatar answered Sep 19 '22 14:09

Hamish


The problem is that the sender must pass through the Objective-C world, but Objective-C is unaware of this protocol / struct relationship, since both Swift protocols and Swift structs are invisible to it. Instead of a struct, use a class:

protocol MyProtocol {} class MyClass: MyProtocol { } func make() -> MyProtocol { return MyClass() } 

Now everything works as you expect, because the sender can live and breathe coherently in the Objective-C world.

like image 33
matt Avatar answered Sep 19 '22 14:09

matt