我们可以用Java中的泛型做些什么来使它们看起来更好:

时间:2011-07-05 21:50:14

标签: c# java generics scala static-typing

我有这种方法使用列表元素的一个属性将List转换为Map

简而言之,它看起来像这样:

private Map<String, List<Diagnostic<? extends JavaFileObject>>> toMap( List<Diagnostic<? extends JavaFileObject>> diagnostics ) {
    Map<String, List<Diagnostic<? extends JavaFileObject>>> result = new HashMap<String, List<Diagnostic<? extends JavaFileObject>>>();
    for ( Diagnostic<? extends JavaFileObject> d : diagnostics ) {
        List<Diagnostic<? extends JavaFileObject>> list = null;
        if ( !result.containsKey( d.getCode() ) ) {
            list = new ArrayList<Diagnostic<? extends JavaFileObject>>();
            result.put( d.getCode(), list );
        } else {
            list = result.get( d.getCode() );
        }
        assert list != null;
        list.add( d );
    }
    return result;
}

Yiack!..

我非常喜欢genercis,我之前使用java并且我不想回到强制转换所有时代,但是当一个泛型包含作为元素的通用元素时,我自己,事情变得凌乱。

我知道在Java1.7中我们可以使用“ diamond ”运算符,但应该有另一种方法。

这是非通用版本的样子:

private Map toMap( List diagnostics ) { 
    Map result = new HashMap();
    for( Object o  : diagnostics ) {
        Diagnostic d = ( Diagnostic ) o; 
        List list = null;
        if( !result.containsKey( d.getCode() ) ) { 
            list = new ArrayList();
            result.put( d.getCode() , list );
         } else { 
            list = result.get( d.getCode() );
         }
         assert list != null;
         list.add( d );
     }
     return result;
}

大概,我没有尝试编译它。

其他语言如何处理?例如C#,Scala?我喜欢SML或Haskell处理的方式,但我认为太多魔法可能会受到伤害(但这当然是主观的)

有解决方法吗?

7 个答案:

答案 0 :(得分:7)

您定义了一个名为T的类型参数。然后,您可以在通用中使用T,如下所示:

private <T extends JavaFileObject> Map<String, List<Diagnostic<T>> toMap(List<Diagnostic<T> diagnostics) {
    Map<String, List<Diagnostic<T>> result = new HashMap<String, List<Diagnostic<T>>();
    for (Diagnostic<T> d : diagnostics ) {
        List<Diagnostic<T>> list = null;
        if ( !result.containsKey(d.getCode())) {
            list = new ArrayList<Diagnostic<T>>();
            result.put( d.getCode(), list );
        } else {
            list = result.get( d.getCode() );
        }
        assert list != null;
        list.add( d );
    }
    return result;
}

上面你会看到定义为<T extends JavaFileObject>的类型参数,你可以在任何地方重复使用T.这将使它更清洁。

答案 1 :(得分:4)

在Scala中,这看起来像是:

// collections are immutable by default, but we want the mutable flavour
import collection.mutable

// An alias so we don't keep repeating ourself
type DiagMultiMap[T] = mutable.Map[String, mutable.Set[Diagnostic[T]]]

//pimp DiagMultiMap with the addDiagnostic method
class MapDiag[T](theMap: DiagMultiMap[T]) {
  def addDiagnostic(d: Diagnostic[T]): Unit = {
    val set = theMap.getOrElseUpdate(d.getCode) {mutable.Set.empty}
    set += d
  }
}

//an implicit conversion to enable the pimp
implicit def mapDiagPimp[T](theMap: DiagMultiMap[T]) = new MapDiag(theMap)

//This is how we make one
def mkDiagnosticMultiMap[T](entries: Seq[Diagnostic[T]]): DiagMultiMap[T] = {
  val theMap = new mutable.HashMap[String, mutable.Set[Diagnostic[T]]]()
  entries foreach { theMap addDiagnostic _ }
  theMap
}

没有经过测试,因为我无法访问Diagnostic

的代码

<强>更新

这会教我深夜发帖,实际上要容易得多......

给定Diagnostic个对象的任何序列:

val diags = List(new Diagnostic(...), new Diagnositic(...), ...)

可以使用单一方法轻松对其进行分组:

val diagMap = diags.groupBy(_.getCode)

但它比那复杂一点!

更大的问题是Diagnostic是Java标准库的一部分,因此您无法使用方差注释重写它(在代码之后更多内容)。然而,包装器可以做到这一点,幸运的是它不会太大:

class RichDiagnostic[S+](underlying: Diagnostic[S]) {
  def code: String = underlying.getCode
  def columnNumber: Long = underlying.getColumnNumber
  def endPosition: Long = underlying.getEndPosition
  def kind: Diagnostic.Kind = underlying.getKind
  def lineNumber: Long = underlying.getLineNumber
  def messageFor(locale: Locale): String = underlying.getMessage(locale) 
  def position: Long = underlying.getPosition
  def source: S = underlying.getSource
  def startPosition: Long = underlying.getStartPosition
  implicit def toUnderlying: Diagnostic[S] = underlying
}

+中的[S+]将此类标记为协变,因此如果RichDiagnostic[A]RichDiagnostic[B]的子类,则A被视为B的子类<? extends T>。这是避免令人讨厌的通用签名的关键,不再是<? super T>val richDiags = diags.map(d => new RichDiagnostic(d)) val diagMap = richDiags.groupBy(_.code)

使用起来也很容易:

map

如果诊断程序最初作为Java列表提供,则import collection.JavaConverters._ //the toList isn't strictly necessary, but we get a mutable Buffer otherwise val richDiags = diagsFromJava.asScala.toList.map(d => new RichDiagnostic(d)) val diagMap = richDiags.groupBy(_.code) 等方法将不会自动为您提供,但转换很简单:

{{1}}

构建此集合是一次性操作,如果将条目添加到基础列表,则必须重复此操作,但我怀疑这不会成为问题。

答案 2 :(得分:3)

很好的例子。在通用版本中,有19个类型参数;在原始版本中,只有1个演员。由于这只是一种私有方法,我会选择原始版本。即使它更公开,它仍然可以保留原始方法体,但具有完整的通用签名。可能类似

Map<String, List<Diagnostic<? extends JavaFileObject>>> 
toMap( List<Diagnostic<? extends JavaFileObject>> diagnostics )
{
    Map result = new HashMap();
    for( Diagnostic d  : diagnostics ) 
    {
        List list = (List)result.get( d.getCode() );
        if(list==null)
            result.put( d.getCode(), list=new ArrayList());
         list.add( d );
    }
    return result;
}

通过在签名和Java 7中进行更常规的输入,我们可以

<D extends Diagnostic<?>>
Map<String, List<D>> toMap( List<D> diagnostics )
{
    Map<String, List<D>> result = new HashMap<>();
    for( D d  : diagnostics ) 
    {
        List<D> list = result.get( d.getCode() );
        if(list==null)
            result.put( d.getCode(), list=new ArrayList<>());
         list.add( d );
    }
    return result;
}

void test()
{
    List<Diagnostic<? extends JavaFileObject>> x = null;

    Map<String, List<Diagnostic<? extends JavaFileObject>>> map = toMap(x);
}

8种类型参数。

答案 3 :(得分:2)

就个人而言,我会尝试打破这样的事情(Eclipse编译 - 未尝试运行)

private class MapDiag extends HashMap<String, List<Diagnostic<? extends JavaFileObject>>>{
    private static final long serialVersionUID = 1L;

    void add(Diagnostic<? extends JavaFileObject> d){
      List<Diagnostic<? extends JavaFileObject>> list = null;
      if (containsKey(d.getCode())){
        list = get(d.getCode());
      }
      else {
        list = new ArrayList<Diagnostic<? extends JavaFileObject>>();
        put( d.getCode(), list );
      }
      list.add(d);
    }
  }

  private MapDiag toMap2( List<Diagnostic<? extends JavaFileObject>> diagnostics ) {
    MapDiag result = new MapDiag();
    for ( Diagnostic<? extends JavaFileObject> d : diagnostics ) {
      result.add(d);
    }
    return result;
  }

答案 4 :(得分:1)

我认为这里的一些评论已经得出了'答案',但我认为到目前为止还没有人给出规范的表述。

private <T extends Diagnostic<? extends JavaFileObject>>
        Map<String, List<T>> toMap(List<T> diagnostics) {
    Map<String, List<T>> result = new HashMap<String, List<T>>();
    for (T d : diagnostics) {
        List<T> list = null;
        if (!result.containsKey(d.getCode())) {
            list = new ArrayList<T>();
            result.put(d.getCode(), list);
        } else {
            list = result.get(d.getCode());
        }
        assert list != null;
        list.add(d);
    }
    return result;
}

类型参数的引入极大地简化了方法的内部,同时保持了签名的表达能力。

应该注意的是,这是一个与提出的问题不同的方法,但总的来说可能更正确。不同之处在于此处给出的方法将确保Diagnostic的参数化类型对于方法的输入和输出都是相同的。

不幸的是,在这种情况下,两个构造函数的调用阻止我们进一步使用类型参数(特别是对于Map),但如果我们愿意允许自己进行转换,我们可以使该方法更简洁。

答案 5 :(得分:1)

首先,你的方法不对吗?......我的意思是,不应该更像是

List<T> list = null;
if (!result.containsKey(d.getCode())) {
    list = newArrayList();          
} else {
    list = result.get(d.getCode());
}   
result.put(d.getCode(), list);

此外,您始终可以使用静态实用程序方法模拟菱形运算符,从而为您提供某种类型推断。也就是说

public static <K, V> HashMap<K, V> newHashMap() {
    return new HashMap<K, V>();
}

public static <T> ArrayList<T> newArrayList() {
    return new ArrayList<T>();
}

然后你的方法看起来像

private Map<String, List<Diagnostic<? extends JavaFileObject>>> toMap(List<Diagnostic<? extends JavaFileObject>> diagnostics) {
    Map<String, List<Diagnostic<? extends JavaFileObject>>> result = newHashMap();
    for (Diagnostic<? extends JavaFileObject> d : diagnostics) {
        List<Diagnostic<? extends JavaFileObject>> list = null;
        if (!result.containsKey(d.getCode())) {
            list = newArrayList();
            result.put(d.getCode(), list);
        } else {
            list = result.get(d.getCode());
        }
        assert list != null;
        list.add(d);
    }
    return result;
}

至少实例化会更小...... 请注意,如果您使用的是google guava库,则可能已经拥有此实用程序方法。 如果你将它与Curtain Dog给你的答案结合起来,你就得到了

    private <T extends Diagnostic<? extends JavaFileObject>> Map<String, List<T>> toMap(List<T> diagnostics) {
    Map<String, List<T>> result = newHashMap();
    for (T d : diagnostics) {
        List<T> list = null;
        if (!result.containsKey(d.getCode())) {
            list = newArrayList();
            result.put(d.getCode(), list);
        } else {
            list = result.get(d.getCode());
        }
        assert list != null;
        list.add(d);
    }
    return result;
}

答案 6 :(得分:0)

把所有人都捏在这里的建议,这就是我所做的:

我创建了一个新类DiagnosticList来包装ArrayList<Diagnostic<? extends JavaFileObject>>

这很简单:

static final class DiagnosticList 
extends ArrayList<Diagnostic<? extends JavaFileObject>>{
    // no arg constructor 
    public DiagnosticList(){}
    // Using a list
    public DiagnosticList(List<Diagnostic<? extends JavaFileObject>> diagnostics){
        super( diagnostics);
    }
}

然后我可以编写方法签名。

private Map<String, DiagnosticList> toMap( DiagnosticList diagnostics ) {
    Map<String, DiagnosticList> result = new HashMap<String, DiagnosticList>();
    for ( Diagnostic<? extends JavaFileObject> d : diagnostics ) {
        DiagnosticList list = result.get(d.getCode());
        if( list == null ) {
          result.put( d.getCode(), (list = new DiagnosticList()));
        }
        list.add( d );
    }
    return result;
}

这很可读。

虽然我可能会更改原始程序语义,但我认为我的可维护性会受益。