функция, работающая с функциями Array [T], List [T] или Iterable [T]

Я пытался написать функцию тестирования / синхронизации для ответов, представленных в этот ТАК вопрос. Некоторые ответы работают с Array[T], некоторые с List[T], один с Iterable[T] и один с String!

Я хотел бы написать функцию, которая берет shift* функций из вопроса или ответов, списка ввода, предиката и ожидаемого вывода и запускает функцию. Вроде как:

def test[T](
  func:(Seq[T], T=>Boolean) => Seq[T],
  input:Seq[T],
  predicate:T=>Boolean,
  expected:Seq[T]): Unit = {
    // may be some warm up
    // ... time start, run func, time stop, 
    // check output against expected
}

За исключением того, что я могу определить подпись, поскольку Array, похоже, имеет изменяемые свойства Seq, а List, похоже, имеет неизменяемые свойства Seq.

Как лучше всего с этим справиться?

Изменить: используя предложение Томаса, вот насколько я могу приблизиться (работает на Array[Char], List[T], но не на Array[T]):

val inputArr = Array('a', 'b', 'C', 'D')
val expectArr = Array('a', 'C', 'D', 'b')
val inputList = inputArr.toList
val expectList = expectArr.toList

def test[I, T](
  func:(I, T=>Boolean) => Traversable[T],
  input: I,
  predicate: T=>Boolean,
  expected: Traversable[T]): Boolean = {
  val result = func(input, predicate)
  if (result.size == expected.size) {
    result.toIterable.zip(expected.toIterable).forall(x => x._1 == x._2)
  } else {
    false
  }
}

// this method is from Geoff [there][2] 
def shiftElements[A](l: List[A], pred: A => Boolean): List[A] = {
  def aux(lx: List[A], accum: List[A]): List[A] = {
    lx match {
      case Nil => accum
      case a::b::xs if pred(b) && !pred(a) => aux(a::xs, b::accum)
      case x::xs => aux(xs, x::accum)
    }
  }
  aux(l, Nil).reverse
}

def shiftWithFor[T](a: Array[T], p: T => Boolean):Array[T] = {
  for (i <- 0 until a.length - 1; if !p(a(i)) && p(a(i+1))) {
    val tmp = a(i); a(i) = a(i+1); a(i+1) = tmp
  }
  a
}

def shiftWithFor2(a: Array[Char], p: Char => Boolean):Array[Char] = {
  for (i <- 0 until a.length - 1; if !p(a(i)) && p(a(i+1))) {
    val tmp = a(i); a(i) = a(i+1); a(i+1) = tmp
  }
  a
}

def shiftMe_?(c:Char): Boolean = c.isUpper

println(test(shiftElements[Char], inputList, shiftMe_?, expectList))
println(test(shiftWithFor2, inputArr, shiftMe_?, expectArr))
//following line does not compile
println(test(shiftWithFor, inputArr, shiftMe_?, expectArr))
//found   : [T](Array[T], (T) => Boolean) => Array[T]
//required: (?, (?) => Boolean) => Traversable[?]

//following line does not compile
println(test(shiftWithFor[Char], inputArr, shiftMe_?, expectArr))
//found   : => (Array[Char], (Char) => Boolean) => Array[Char]
//required: (?, (?) => Boolean) => Traversable[?]

//following line does not compile
println(test[Array[Char], Char](shiftWithFor[Char], inputArr, shiftMe_?, expectArr))
//found   : => (Array[Char], (Char) => Boolean) => Array[Char]
//required: (Array[Char], (Char) => Boolean) => Traversable[Char]

Я отмечу ответ Дэниела как принятый, поскольку он компилируется и предоставляет мне другой способ достичь того, чего я хотел, - если только метод в Array [T] не создает новый массив (и не вызывает проблем с манифестом).

(2): Как бы быть функциональным подходом к смещению определенных элементов массива?


person huynhjl    schedule 12.02.2010    source источник


Ответы (3)


Я бы использовал scala.collection.Seq в Scala 2.8, поскольку этот тип является родительским для всех упорядоченных коллекций. Кроме Array и String, к сожалению. Это можно обойти с помощью границ просмотра, например:

def test
  [A, CC <% scala.collection.Seq[A]]
  (input: CC, expected: CC)
  (func: (CC, A => Boolean) => CC, predicate: A => Boolean): Unit = {
  def times(n: Int)(f: => Unit) = 1 to n foreach { count => f }
  def testFunction = assert(func(input, predicate) == expected)
  def warm = times(50) { testFunction }
  def test = times(50) { testFunction }

  warm
  val start = System.currentTimeMillis()
  test
  val end = System.currentTimeMillis()
  println("Total time "+(end - start))
}

Я каррировал эту функцию, чтобы входные данные (и ожидаемые) можно было использовать для определения типа. В любом случае, это не будет работать с вашей собственной Array версией на Scala 2.8, потому что для этого требуется Manifest. Я уверен, что это можно как-то здесь предоставить, но я не совсем понимаю, как это сделать.

Но предположим, что вы игнорируете все, что касается последовательностей, массивов и т. Д. Просто удалите привязку представления из функции, и вы получите следующее:

def test
  [A, CC]
  (input: CC, expected: CC)
  (func: (CC, A => Boolean) => CC, predicate: A => Boolean): Unit = {
  def times(n: Int)(f: => Unit) = 1 to n foreach { count => f }
  def testFunction = assert(func(input, predicate) == expected)
  def warm = times(50) { testFunction }
  def test = times(50) { testFunction }

  warm
  val start = System.currentTimeMillis()
  test
  val end = System.currentTimeMillis()
  println("Total time "+(end - start))
}

Которая будет работать так же, как и найти. Пока тип совпадает, этой программе не важно знать, что такое CC.

person Daniel C. Sobral    schedule 12.02.2010
comment
Во-первых, спасибо за то, что на самом деле материализовали то, что я предлагаю в вопросе, а также за то, что предлагаю A и CC как несвязанные типы, связанные вместе с помощью func. Единственная проблема, с которой я столкнулся, заключается в том, что решение Array на месте не очень хорошо сочетается с многократным запуском функции, так как выходные данные становятся входными данными в следующий раз. Я попытался создать новую копию массива в функции сдвига, но затем столкнулся с проблемой с Manifest: could not find implicit value for evidence parameter of type Manifest[T]. - person huynhjl; 13.02.2010
comment
@huynhjl Да, работать с массивами в Scala 2.8 может быть сложно. Я думал, что вам, вероятно, придется сделать функцию каррированной, передав в первом списке параметров явный Manifest[T], а затем передать этот параметр там, где это необходимо. И при вызове test также передайте явный Manifest для него. Задайте еще один вопрос, и я займусь этим. - person Daniel C. Sobral; 14.02.2010

Один из способов - определить функцию:

def test[I, T](
  func:(I, T=>Boolean) => Traversable[T],
  input: I,
  predicate: T=>Boolean,
  expected: Traversable[T]): Unit = {
  println(func(input, predicate))
}

def g(x : Char) = true

test((x : String, y: Char => Boolean) => x, "asdf", g _ , "expected")
test((x : List[Char], y: Char => Boolean) => x, List('s'), g _, List('e'))
test((x : Array[Char], y: Char => Boolean) => x, Array('s'), g _, Array('e'))
test((x : Iterable[Char], y: Char => Boolean) => x, Set('s'), g _, Set('e'))
person Thomas Jung    schedule 12.02.2010
comment
Я действительно хотел, чтобы test позвонил func(input, predicate). Это вызывает found: input.type, required: I. Я могу исправить это, изменив на input:I в объявлении test. Тогда я получаю inferred type arguments [Array[Char],Char] do not conform to method test's type parameter bounds [I <: Traversable[T],T] для примера Array[Char]. Пример String также имеет проблему. List и Iterable работают. - person huynhjl; 13.02.2010
comment
Вы можете отбросить ограничение I ‹: Traversable [T]. Вы можете сделать это также для возвращаемых типов (func: (I, T = ›Boolean) =› I и expected: I). - person Thomas Jung; 13.02.2010

Все упомянутые вами типы (даже String) являются eithr явно (List) или неявно (Array и String) Iterable, поэтому все, что вам нужно сделать, это использовать Iterable в своей сигнатуре метода, где вы теперь используете Seq.

person Randall Schulz    schedule 12.02.2010
comment
У меня проблемы с этим подходом: polymorphic expression cannot be instantiated to expected type; found : => (Array[Char], (Char) => Boolean) => Array[Char] required: (Iterable[Char], (Char) => Boolean) => Iterable[Char]. Если я оставлю [Char], я получу то же сообщение с Iterable[?]. Так что не похоже, что имплициты применяются. - person huynhjl; 13.02.2010