无法分配给类型的不可变表达式......但使用协议

Question

我知道有很多这样的问题。但是，这是我的代码 sn-p：

protocol AProt { var a:Int { get set } }
protocol BProt { var b:Int { get set } }
protocol CProt { var c:Int { get set } }
class A:AProt, CProt { var a = 1;  var c = 3 }
class B:BProt, CProt { var b = 2; var c = 30 }

var a = A()
var b = B()
var c = a as CProt // works
c.c = 123
a = c as! A
print (a.c)
(a as CProt).c = 999 // throws error
print (a.c)

查看this answer 它告诉(...as...) 使表达式不可变。但是……

虽然(a as CProt).c = 999 失败并显示上述错误消息，但使用var c = a as CProt 的解决方法可以工作。我认为这是一个简单的编译器错误，但我想知道这里是否可以做一些事情（比如添加一个秘密关键字）。

Answer 1

这不是编译器错误。 CProt 可以是值类型。考虑这段代码：

protocol CProt { var c:Int { get set } }
struct A: CProt { var a = 1;  var c = 3 } // Note this is a struct
var a = A()  // It's mutable
let c = a as CProt  // But this one isn't
c.c = 999  // So no surprise this fails

您希望这会起作用吗？它不应该，因为c 是一个不可变结构。这与您在(a as CProt).c = 999 中写的内容相同。

问题是你期望CProt 是一个引用类型。如果您需要，请说出来：

protocol CProt:class { var c:Int { get set } } // Note the addition of :class
class A: CProt { var a = 1;  var c = 3 }
let a = A()
(a as CProt).c = 999 // Success