4

C++ の概念や Haskell の型クラスなどの Scala の特性を使用する例が、ペーパー«Type Classes as Objects and Implicits» にあります。私は Scala でInputIteratorコンセプトと関数のようなものを書こうとしています:find

concept InputIterator<typename Iter> {
  typename value_type;
  value_type operator*(Iter);
  ...
};

template<typename Iter, typename V>
requires InputIterator<Iter> && EqualityComparable<Iter::value_type, V>
Iter find(Iter first, Iter last, V v) { 
    while (first < last && *first != v)
        ++first;
    return first;
}

特性を正しく理解しているかどうかはわかりません。それでも... InputIteratorScalaで書かれた特性があります(より正確には、find関数で使用されるメソッドを使用した単純化された類似物です):

trait InputIterator[Iter] {
    type value_type

    def <(a: Iter, b: Iter): Boolean
    def ++(it: Iter): Unit
    def *(it: Iter): value_type
}

EqualityComparable明らかです：

trait EqualityComparable[S, T] {
    def ==(s: S, t: T): Boolean
    def !=(s: S, t: T): Boolean = !(s == t)
}

しかし、私たちは何をすべきfindでしょうか? 私はこのようなものを書きたいと思います:

def find[Iter, V](first: Iter, last: Iter, x: V)(implicit iterator: InputIterator[Iter], 
    cmp: EqualityComparable[iterator.value_type, V]): Iter =
{
    while (iterator.<(first, last) && cmp.!=(iterator.*(first), x))
        iterator.++(first)
    first
}

しかし、エラー«illegaldependent method type»が発生します。そして、他の方法で抽象型を「抽出」する方法がわかりませんvalue_type。その結果、次のコードを取得しました。

trait EqualityComparable[S, T] {
    def ==(s: S, t: T): Boolean
    def !=(s: S, t: T): Boolean = !(s == t)
}

trait InputIterator[Iter] {
    type value_type

    def <(a: Iter, b: Iter): Boolean
    def ++(it: Iter): Unit
    def *(it: Iter): value_type
}

trait VTInputIterator[Iter, VT] extends InputIterator[Iter] {
    type value_type = VT
}

class ArrayListIterator[T](a: ArrayList[T], i: Int) {
    val arr: ArrayList[T] = a
    var ind: Int = i

    def curr(): T = arr.get(ind)
    def ++(): Unit = { ind += 1 }

    override def toString() = "[" + ind.toString() + "]"
}

class InputIterArrList[T] extends VTInputIterator[ArrayListIterator[T], T]{ 
    def <(a: ArrayListIterator[T], b: ArrayListIterator[T]) = {
      if (a.arr == b.arr) a.ind < b.ind
      else throw new IllegalArgumentException()
    }

    def ++(it: ArrayListIterator[T]): Unit = it.++()
    def *(it: ArrayListIterator[T]) = it.curr()
}

object TestInputIterator extends Application{   

    def find[Iter, VT, V](first: Iter, last: Iter, x: V)(implicit iterator: VTInputIterator[Iter, VT], 
        cmp: EqualityComparable[VT, V]): Iter = 
    {
      while (iterator.<(first, last) && cmp.!=(iterator.*(first), x))
        iterator.++(first)
      first
    }

    implicit object EqIntInt extends EqualityComparable[Int, Int] {
      def ==(a: Int, b: Int): Boolean = { a == b }
    }

    implicit object inputIterArrListInt extends InputIterArrList[Int]{}

    val len = 10;
    var arr: ArrayList[Int] = new ArrayList(len);
    for (i: Int <- 1 to len)
      arr.add(i)
    var arrFirst = new ArrayListIterator(arr, 0)
    var arrLast = new ArrayListIterator(arr, len)
    var r = find(arrFirst, arrLast, 7)
    println(r)
}

では抽象型の代わりに型パラメータを使用VTしましたdef find[Iter, VT, V]。

問題は、どうすればより良くできるかということです。value_typeまた、追加の型パラメーターなしで抽象型を使用することは可能VTですか?

4

1 に答える 1

4

find のシグネチャを次のように変更します。

def find[Iter, V, II <: InputIterator[Iter]](first: Iter, last: Iter, x: V)(
  implicit iterator: II, cmp: EqualityComparable[II#value_type, V]): Iter

それがあなたの表現したいことなのかもしれません。

Scala コードは実際には C++ コードと同じではないことに注意してください。C++ ではfind使用しますIter::value_typeが、Scalaでは使用しますInputIterator[Iter]#value_type。

于 2013-02-21T12:07:13.973 に答える