Java Generics Type Safety предупреждение с рекурсивным Hashmap

Question

Я использую рекурсивное дерево хеш-карт, в частности карту Hashmap, где Object является ссылкой на другой Hashmap и так далее. Это будет передано вокруг рекурсивного алгоритма:

foo(String filename, Hashmap<String, Object> map)
{
    //some stuff here
    for (Entry<String, Object> entry : map.entrySet()) 
    {
       //type warning that must be suppressed
       foo(entry.getKey(), (HashMap<String, Object>)entry.getValue());
    }
}

Я точно знаю Object имеет тип Hashmap<String, Object> но раздражен тем, что я должен подавить предупреждение, используя @SuppressWarnings("unchecked"),

Я буду удовлетворен решением, которое делает либо assert(/*entry.getValue() is of type HashMap<String, Object>*/) или выдает исключение, когда это не так. Я пошел по пути Generics для обеспечения безопасности типа компиляции, и если я подавляю предупреждение, то оно не отвечает цели.

Спасибо за ваши комментарии, ksb

Answer 1

Это возможно при использовании универсального метода с переменной рекурсивного типа. Попробуйте следующее:

public <T extends Map<String, T>> void foo(String filename, T map) {
    //some stuff here
    for (Map.Entry<String, T> entry : map.entrySet())  {
        foo(entry.getKey(), entry.getValue());
    }
}

Должен компилироваться нормально без каких-либо предупреждений.

Однако, если у вас есть контроль над картой, и вы можете заменить свой собственный класс, может быть более удобным сделать класс Node (для меня это выглядит как дерево), который вместо этого содержит Map. Что-то вроде:

public class Node {
    private Map<String, Node> children;

    ...
    // accessor methods to retrieve children ...
}

И имеют foo взять Node в качестве второго аргумента вместо этого. Просто предложение.

Answer 2

Вы можете использовать этот класс вместо HashMap:

public class RecursiveHashMap extends HashMap<String,RecursiveHashMap>
{
}

Answer 3

Ваша структура данных выглядит так, как будто вы хотите представить деревья файлов (имена файлов) вместе с ней. Я бы не рекомендовал делать это с HashMap в качестве типа узла.

Я бы предложил использовать составной шаблон (см. Википедию), упрощенный код:

abstract class Node
{
  String filename;
  Node( String filename ) { this.filename = filename; }
  abstract foo();
}

class FileNode implements Node
{
  FileNode( String filename ) { super(filename); }
  foo() { ... }
}

class DirectoryNode implements Node 
{
  Set<Node> children;
  DirectoryNode( String filename, Set<Node> children )
  {
    super(filename);
    this.children = children;
  }
  foo()
  {
    for ( Node child : children ) child.foo();
  }
}

HashMap, который вы использовали, сводится к набору, появляющемуся в DirectoryNode.