解决Swift 3中缺少递归协议约束的问题

Swift 3(Xcode 8 beta 6)目前对“递归协议约束”有一个限制.有一个公开的问题 here,在 here,here和 here有类似的讨论.但是,我仍然没有看到应该如何解决这个限制.可能吗？

让我们考虑一个引用视图模型的视图的简单示例,而不用考虑ref / value类型以及任何保留周期：

protocol viewmodelType {
    associatedtype V: ViewType
    var view: V { get }
}

struct viewmodel<V: ViewType>: viewmodelType {
    var view: V
}


protocol ViewType {
    associatedtype VM: viewmodelType
    var viewmodel: VM { get }
}

struct View<VM: viewmodelType>: ViewType {
    var viewmodel: VM
}

使用上述代码,您将遇到“类型”可能不会将其自身参考为所提供链接中所讨论的要求.

然后(天真的,因为我),我以为我可以解决这个做：

protocol _viewmodelType {}
protocol viewmodelType: _viewmodelType {
    associatedtype V: _ViewType
    var view: V { get }
}

struct viewmodel<V: ViewType>: viewmodelType {
    var view: V
}


protocol _ViewType {}
protocol ViewType: _ViewType {
    associatedtype VM: _viewmodelType
    var viewmodel: VM { get }
}

struct View<VM: viewmodelType>: ViewType {
    var viewmodel: VM
}

这会导致错误,但它基本上只是推迟了问题.因为现在,当我们想要构建我们的具体类型时,我们最终会成为一个永无止境的专业化循环：

let vm = viewmodel<View<viewmodel<View...>>>()

我相信这是一个有点基本的限制,我想放在我的协议中,但目前我看不到如何做.在Swift更新之前可以解决这个问题吗？或者我需要开始引入较不严格的协议,直到在Swift中实现？

更新2016年8月19日

在尝试解决这个问题的最佳方法之后,我相信我已经找到了一个可以接受的解决方案,只需要最少的妥协：

protocol viewmodelType {
    associatedtype D: Any // Compromise to avoid the circular protocol constraints.
    var delegate: D? { get set }
}

protocol ViewType {
    associatedtype VM: viewmodelType
    var viewmodel: VM { get }
}

protocol ViewDelegate {
    func foo()
}


struct viewmodel: viewmodelType {
    typealias D = ViewDelegate
    var delegate: D?

    func bar() {
        delegate?.foo() // Access to delegate methods
    }
}

struct View<VM: viewmodelType>: ViewType,ViewDelegate {
    var viewmodel: VM

    func foo() {
        // Preferred,but not possible: viewmodel.delegate = self
    }
}


var vm = viewmodel() // Type: viewmodel
let v = View(viewmodel: vm) // Type: View<viewmodel>
vm.delegate = v

主要思想是介绍一个中介对象或一个委托对象来处理视图和视图模型之间的通信.对这个委托的引用类型为Any,以破坏循环协议约束.我看到的唯一的缺点是代理需要从外部设置,从创建对象的位置设置,并且不能在View实现中设置.如果尝试这样做,错误无法分配View< VM>类型的值输入 _？会出现.

然而,通过这种方法,我们可以得到正确的类型,而无需做很多专业化.当然,可以添加更多的协议来获得更多的抽象,但同样的解决方案将会适用.

var vm = viewmodel() // Type: viewmodel
let v = View(viewmodel: vm) // Type: View<viewmodel> 
vm.delegate = v

func foo() {
    viewmodel.delegate = self
}

protocol viewmodelType {
    associatedtype D: Any // Compromise to avoid the circular protocol constraints.
    var delegate: D? { get set }
}

protocol ViewType {
    associatedtype VM: viewmodelType
    var viewmodel: VM { get }
}

protocol ViewDelegate {
    func foo()
}


class viewmodel: viewmodelType {
    typealias D = ViewDelegate
    var delegate: D?

    func bar() {
        delegate?.foo() // Access to delegate methods
    }
}

class View<VM: viewmodelType>: ViewType,ViewDelegate {
    var viewmodel: VM

    // initializer needed,because we are no struct any more
    init(viewmodel vm:VM) {
        self.viewmodel = vm
    }

    func foo() {
        viewmodel.delegate = self as? VM.D
    }
}


var vm = viewmodel() // Type: viewmodel
let v = View(viewmodel: vm) // Type: View<viewmodel>
v.foo()     // View<viewmodel>
vm.delegate // View<viewmodel>

// initializer needed,because we are no struct any more
init(viewmodel vm:VM) {
    self.viewmodel = vm
    self.viewmodel.delegate = self as? VM.D
}