11

C# では、次の例に示すように、ジェネリック型でメソッドをオーバーロードできます。

// http://ideone.com/QVooD
using System;
using System.Collections.Generic;

public class Test {
  public static void Foo(List<int> ints) {
    Console.WriteLine("I just print");
  }

  public static void Foo(List<double> doubles) {
    Console.WriteLine("I iterate over list and print it.");
    foreach(var x in doubles)
      Console.WriteLine(x);
  }

  public static void Main(string[] args) {
    Foo(new List<int> {1, 2});
    Foo(new List<double> {3.4, 1.2});
  }
}

ただし、Scala で同じことをしようとすると、コンパイル時エラーが発生しList[Int]、List[Double]消去のために同じ型に消去されます。Scala の を使用してこれを回避できると聞きManifestましたが、方法がわかりません。ドキュメントにも役立つものは何も見つかりませんでした。

だから私の質問は: Manifests (または他の機能するもの) を使用して、消去のために同じ型に消去されるジェネリック型のメソッドをオーバーロードするにはどうすればよいですか?

4

3 に答える 3

23

マニフェストは、消去後に同じタイプになるため、実際には役に立ちません。

さまざまな数の引数（または消去後のさまざまなタイプ）を持つのに役立つものは何ですか。さまざまな数の暗黙的な引数を使用すると、この問題を透過的に解決できることがわかり scala.Predef.DummyImplicitました。

class Test{
  def foo(ints : List[Int])
  def foo(doubles : List[Double])(implicit i1:DummyImplicit)
  def foo(strings : List[String])(implicit i1:DummyImplicit, i2:DummyImplicit)
}
于 2011-02-13T05:44:48.010 に答える
11

Scala ではそのようにはしないでしょう。JVM の制限により、正しく動作しないものをエミュレートしようとするのはなぜでしょうか? 代わりに慣用的な Scala を試してください。

trait Fooable[T] {
  def foo : Unit
}

object IntListFoo extends Fooable[List[Int]] {
  def foo {
    println("I just print")
  }
}

class DoubleListFoo(val l : List[Double]) extends Fooable[List[Double]] {
  def foo {
    println("I iterate over list and print it.")
    l.foreach { e =>
      println(e)
    }
  }
}

implicit def intlist2fooable(l : List[Int]) = IntListFoo
implicit def doublelist2fooable(l : List[Double]) = new DoubleListFoo(l)

次に、次のようなコードを実行できます

List(1,2,3,4).foo
List(1.0,2.0,3.0).foo
于 2011-02-14T08:50:45.577 に答える
3

ちょっとハックで、両方のメソッドが同じ戻り値の型 (ここでは Unit) を必要とします...

def fooInt(list: List[Int]) = println("int")
def fooDouble(list: List[Double]) = println("double")

def foo[N <: AnyVal](list:List[N])(implicit m:ClassManifest[N]) = m.erasure match {
    case c if c == classOf[Int] => fooInt(list.asInstanceOf[List[Int]])
    case c if c == classOf[Double] => fooDouble(list.asInstanceOf[List[Double]])
    case _ => error("No soup for you!")
}

foo(List(1,2,3,4))
//--> int

foo(List(1.0,2.0,3.0))
//--> double
于 2011-02-13T15:29:22.463 に答える