我们可以用 Java 中的泛型做什么来让它们看起来更好：

Question

我有这种方法可以使用列表元素的属性之一将 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！..

我喜欢泛型很多，我在它们之前使用 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 的处理方式，但我认为太多的魔法可能会造成伤害（但这当然是主观的）

有解决方法吗？

Answer 1

在 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 的代码

---

UPDATE

这将教我在深夜发帖，它是实际上要容易得多...

给定任何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]如果 A 是 B 的子类，则 被视为 RichDiagnostic[B] 的子类。这是避免令人讨厌的通用签名的关键，不再有 或 ！

它也很容易使用：

val richDiags = diags.map(d => new RichDiagnostic(d))
val diagMap = richDiags.groupBy(_.code)

如果诊断最初作为 Java 列表提供，那么像 map 这样的方法将不会自动可供您使用，但转换是微不足道的：

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)

构建此集合只需一个 -射击操作，并且如果将条目添加到基础列表中则必须重复，但我怀疑这不会成为问题。

Answer 2

很好的例子。在通用版本中，有 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 个类型参数。

Answer 3

就我个人而言，我会尝试打破这样的东西（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;
  }

Answer 4

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

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;
}

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

应该指出的是，这是与所提出的问题不同的方法，但总的来说可能更正确。不同之处在于此处给出的方法将确保诊断的参数化类型对于该方法的输入和输出都是相同的。

不幸的是，在这种情况下，两个构造函数的调用阻止了我们进一步使用类型参数（特别是 Map），尽管如果我们愿意允许自己进行强制转换，我们可以使该方法更加简洁。

Answer 5

首先，你的方法是不是错了？...我的意思是，它不应该更像

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;
}

Answer 6

综合大家在这里的建议，这就是我所做的：

我创建了一个新类 DiagnosticList 来包装 ArrayList>

这非常简单：

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;
}

这是有很多可读性的。

虽然我可能会改变原始的程序语义，但我认为我会在可维护性方面受益。

Answer 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。这会让它变得更干净一点。