Идиоматическое свойство изменило уведомление в scala?

Я пытаюсь найти более чистую альтернативу (то есть идиоматическую для Scala) для того, что вы видите с привязкой данных в привязке данных WPF/Silverlight, то есть к реализации INotifyPropertyChanged. Во-первых, некоторый фон:

В приложениях .NET.NET или Silverlight у вас есть концепция двусторонней привязки данных (то есть привязка значения некоторого элемента пользовательского интерфейса к .net-свойству DataContext таким образом, что изменяется на элемент пользовательского интерфейса влияет на свойство и наоборот. Один из способов включить это - реализовать интерфейс INotifyPropertyChanged в вашем DataContext. К сожалению, это вводит множество шаблонов кода для любого свойства, которое вы добавляете к типу ModelView. он может выглядеть в Scala:

trait IDrawable extends INotifyPropertyChanged
{    
      protected var drawOrder : Int = 0
      def DrawOrder : Int = drawOrder
      def DrawOrder_=(value : Int) {
            if(drawOrder != value) {
                  drawOrder = value
                  OnPropertyChanged("DrawOrder")
            }
      }

      protected var visible : Boolean = true
      def Visible : Boolean = visible
      def Visible_=(value: Boolean) = {
            if(visible != value) {
                  visible = value
                  OnPropertyChanged("Visible")
            }
      }
      def Mutate() : Unit = {
          if(Visible) {
              DrawOrder += 1 // Should trigger the PropertyChanged "Event" of INotifyPropertyChanged trait
          }
      }
}

Для пространства пусть пусть тип INotifyPropertyChanged является признаком, который управляет списком обратных вызовов типа (AnyRef, String) = > Unit и что OnPropertyChanged - это метод, который вызывает все эти обратные вызовы, передавая "this" как AnyRef, и переданная строка). Это будет просто событие в С#.

Вы можете сразу увидеть проблему: это тонна кода шаблона только для двух свойств. Я всегда хотел написать что-то вроде этого:

trait IDrawable
{
      val Visible = new ObservableProperty[Boolean]('Visible, true)
      val DrawOrder = new ObservableProperty[Int]('DrawOrder, 0)
      def Mutate() : Unit = {
          if(Visible) {
              DrawOrder += 1 // Should trigger the PropertyChanged "Event" of ObservableProperty class
          }
      }
}

Я знаю, что я могу легко написать его так, если ObservableProperty [T] имеет методы Value/Value_ = (это метод, который я использую сейчас):

trait IDrawable {
      // on a side note, is there some way to get a Symbol representing the Visible field
      // on the following line, instead of hard-coding it in the ObservableProperty 
      // constructor?
      val Visible = new ObservableProperty[Boolean]('Visible, true)
      val DrawOrder = new ObservableProperty[Int]('DrawOrder, 0)
      def Mutate() : Unit = {
          if(Visible.Value) {
              DrawOrder.Value += 1 
          }
      }
}

// given this implementation of ObservableProperty[T] in my library
// note: IEvent, Event, and EventArgs are classes in my library for
// handling lists of callbacks - they work similarly to events in C#
class PropertyChangedEventArgs(val PropertyName: Symbol) extends EventArgs("")
class ObservableProperty[T](val PropertyName: Symbol, private var value: T) {
    protected val propertyChanged = new Event[PropertyChangedEventArgs]
    def PropertyChanged: IEvent[PropertyChangedEventArgs] = propertyChanged
    def Value = value;
    def Value_=(value: T) {
        if(this.value != value) {
            this.value = value
            propertyChanged(this, new PropertyChangedEventArgs(PropertyName))
        }
    }
}

Но есть ли способ реализовать первую версию с использованием implicits или какой-либо другой функции/идиомы Scala, чтобы экземпляры ObservableProperty функционировали так, как если бы они были обычными "свойствами" в scala, без необходимости вызова методов Value? Единственное, что я могу придумать, это что-то вроде этого, что более подробно, чем любая из двух вышеупомянутых версий, но все еще менее подробна, чем оригинал:

trait IDrawable {     
  private val visible = new ObservableProperty[Boolean]('Visible, false)
  def Visible = visible.Value
  def Visible_=(value: Boolean): Unit = { visible.Value = value }

  private val drawOrder = new ObservableProperty[Int]('DrawOrder, 0)
  def DrawOrder = drawOrder.Value
  def DrawOrder_=(value: Int): Unit = { drawOrder.Value = value }

  def Mutate() : Unit = {
    if(Visible) {
      DrawOrder += 1 
    }
  }
}

Ответы

Ответ 1

Я не мог утверждать, что это каноническая структура изменения свойств в Scala, но я уже использовал такой класс:

abstract class Notifier[T,U](t0: T) {
  import java.util.concurrent.atomic.AtomicReference
  import scala.actors.OutputChannel
  type OCUT = OutputChannel[(U,AtomicReference[T])]
  val data = new AtomicReference[T](t0)
  def id: U
  protected var callbacks = Nil:List[T => Unit]
  protected var listeners = Nil:List[OCUT]
  def apply() = data.get
  def update(t: T) {
    val told = data.getAndSet(t)
    if (t != told) {
      callbacks.foreach(_(t))
      listeners.foreach(_ ! (id,data))
    }
  }
  def attend(f: T=>Unit) { callbacks ::= f }
  def attend(oc: OCUT) { listeners ::= oc }
  def ignore(f: T=>Unit) { callbacks = callbacks.filter(_ != f) }
  def ignore(oc: OCUT) { listeners = listeners.filter(_ != oc) }
}

Мотивация для создания этого класса заключалась в том, что я хотел, чтобы гибкий поточно-безопасный способ реагировать на изменения, который это обеспечивает (поскольку он обеспечивает оба обратных вызова и может передавать сообщения актерам).

Мне кажется - если я не понимаю, что именно вы хотите, потому что у меня не было возможности изучить материал WPF/Silverlight - это может реализовать все, что вам нужно, и многое другое.

Например,

class IDrawable extends SomethingWithOnPropertyChanged {
  val drawOrder = new Notifier[Int,Symbol](0) { def id = 'DrawOrder }
  val visible = new Notifier[Boolean,Symbol](false) { def id = 'Visible }
  drawOrder.attend((i:Int) => OnPropertyChanged(drawOrder.id))
  def mutate {
    if (visible()) drawOrder() += 1
  } 
}

должен быть примерно эквивалентен тому, что вы хотите. (Опять же, я не уверен, насколько гибким вы хотите, чтобы это было: вы могли бы создать набор сопоставлений с символами → уведомителей, которые вы искали бы с помощью метода apply, чтобы у мишени было бы легче сделать что-то, когда он получит символ DrawOrder.)

Единственное существенное отличие от вашего использования заключается в том, что Notifier использует свои методы применения/обновления для сохранения шаблона; вам не нужно писать def x и def x_ = методы каждый раз, но вам нужно использовать() для доступа.