Невозможно присвоить свойству в протоколе стесненного в классе - Swift ошибок компилятора

Question

Я использую Xcode 7 бета-6 и у меня есть следующий код:

public protocol ViewForViewModel { 
    typealias ViewModelType 
    var viewModel: ViewModelType! { get set } 
    func bindToViewModel() 
} 

func afterViewInstantiated <V : ViewForViewModel where V: UIViewController, V.ViewModelType: AnyObject>(view : V, viewModel: V.ViewModelType) -> V { 
    //Cannot assign to property: 'view' is a 'let' constant 
    view.viewModel = viewModel // error here 

    VMTracker.append(viewModel, view: view) 

    return view 
} 

Компилятор жалуется на присвоение view.viewModel = viewModel. Я понимаю, что протокол ViewForViewModel не ограничивается классом, но тип V ограничен классом UIViewController. Это ошибка или функция?

UPD: она даже жалуется на UITableViewCell переменную:

func registerBinding<V: BindableCellView where V: UITableViewCell>(viewType: V.Type) { 
    let typeName = nameOfType(V.ViewModelType.self) 

    bindings[typeName] = { [unowned self] viewModel, indexPath in 
     let view = self.tableView.dequeueReusableCellWithIdentifier(V.CellIdentifier, forIndexPath: indexPath) as! V 

     //Cannot assign to 'viewModel' because 'view' is a 'let' constant 
     //However view is UITableViewCell that support ViewForViewModel protocol 
     view.viewModel = viewModel as! V.ViewModelType 

     self.onWillBind?(view, indexPath) 
     view.bindToViewModel() 
     self.onDidBind?(view, indexPath) 

     return view 
    } 
} 

Answer 1

В первом случае это должно рассматриваться как «нереализованная функция» (что компилятор не может вывести поведение класса в этом контексте). Таким образом, чтобы исправить это вы должны сделать value в var:

func afterViewInstantiated <V : ViewForViewModel where V: UIViewController, V.ViewModelType: AnyObject>(var view : V, viewModel: V.ViewModelType) -> V 

Во втором случае вы должны предоставить более подробную информацию об ошибке (сообщения) и типов. Откуда берутся V?

Answer 2

Если компилятор жалуется протокол не в состоянии быть использованы в качестве не универсального типа, удалите typealias в протоколе.

BTW, что такое прецедент для этого?

Answer 3

Если компилятор не может сделать вывод, что параметр всегда будет ссылочный тип, вы всегда можете добавить class к декларации протокола:

public protocol ViewForViewModel: class { 
    typealias ViewModelType 
    var viewModel: ViewModelType! { get set } 
    func bindToViewModel() 
} 

После протокола размечена так, вы должны иметь возможность присваивать значения этому свойству, даже если объект хранится в константе.