Question

在编写一些java代码时，我遇到了一个我无法识别的异常，即java.lang.VerifyError。一些谷歌搜索表明这通常是一个jvm / javac错误，我很好奇，如果我的情况。

我怀疑的是

private Pair<Integer/*used size*/,Pair<K,V[]>[]>[] map=(Pair<Integer,Pair<K,V[]>[]>[])Array.newInstance(Pair.class,63);//good start number

和

map[b]=new Pair<Integer,Pair<K,V[]>[]>(7,(Pair<K,V[]>[])Array.newInstance(Pair.class,7));

但我很不确定。

这是编译错误还是我的错误代码。

这些行是我在某处找到的泛型数组创建失败的解决方法。

附加代码。

package osm2spacebook;

import java.util.Iterator;
import java.lang.reflect.Array;
import java.util.NoSuchElementException;

public class MultiMap<K,V> implements Iterable<K>{
    private int num_keys;
    @SuppressWarnings("unchecked")
    private Pair<Integer/*used size*/,Pair<K,V[]>[]>[] map=(Pair<Integer,Pair<K,V[]>[]>[])Array.newInstance(Pair.class,63);//good start number
    @SuppressWarnings("unchecked")
    private int bucket(K key){//position in bucket
        int h=key.hashCode();
        int b=h%map.length;
        if(map[b]==null)
            map[b]=new Pair<Integer,Pair<K,V[]>[]>(7,(Pair<K,V[]>[])Array.newInstance(Pair.class,7));
        return b;
    }
    private int position(K key){//position within bucket
        int b=bucket(key);//IMPORTANT this must use the buket function to obtain this otherwise it is a race
        for(int i=0;i<map[b].v1;i++)
            if(map[b].v2[i].v1==key)
                return i;
        if(map[b].v1==map[b].v2.length)
            map[b].v2=java.util.Arrays.copyOf(map[b].v2,map[b].v1*2);
        return map[b].v1++;
    }
    public V put(K key,V value){
        Pair<K,V[]> m=map[bucket(key)].v2[position(key)];
        for(int i=0;i<m.v2.length;i++)
            if(m.v2[i]==value)
                return value;
        m.v2=java.util.Arrays.copyOf(m.v2,m.v2.length+1);
        return m.v2[m.v2.length-1]=value;
    }
    public V[] get(K key){
        V[] v=map[bucket(key)].v2[position(key)].v2;
        return java.util.Arrays.copyOf(v,v.length);
    }
    public V[] remove(K key){
        throw new UnsupportedOperationException("Not implemented"); //TODO
    }
    public V remove(K key,V value){
        throw new UnsupportedOperationException("Not implemented"); //TODO
    }
    public boolean contains(K key){
        return position(key)<map[bucket(key)].v1;
    }
    public int numKeys(){
        return num_keys;
    }
    public Iterator<K> iterator(){
        return new Iterator<K>(){
            int bucket=0;
            int position=0;
            public boolean hasNext(){
                while(bucket<map.length){
                    if(map[bucket]!=null) 
                        if(position<map[bucket].v1)
                            return true;
                        else
                            position=0;
                    bucket++;
                }
                return false;
            }
            public K next(){
                if(hasNext())//positions cursor on next element if any
                    return map[bucket].v2[position++].v1;//updates position after read
                else
                    throw new NoSuchElementException();
            }
            public void remove(){
                throw new UnsupportedOperationException("Remove not supported in multimap iterator du to ambiguity");
            }
        };
    }
}

和Pair类取决于

package osm2spacebook;

public class Pair<T1,T2>{
    public T1 v1;
    public T2 v2;
    public Pair(T1 t1,T2 t2){
        v1=t1;
        v2=t2;
    }
}

完整的错误消息

Exception in thread "main" java.lang.VerifyError: (class: osm2spacebook/MultiMap, method: position signature: (Ljava/lang/Object;)I) Incompatible object argument for function call
    at osm2spacebook.SqlOutput.<init>(SqlOutput.java:64)
    at osm2spacebook.OsmImport.<init>(OsmImport.java:142)
    at osm2spacebook.OsmImport.main(OsmImport.java:280)

SqlOutput的第64行是以下

private MultiMap<Integer,Integer> edge_index=new MultiMap<Integer,Integer>();

Answer 1

VerifyError通常意味着您加载了一个以某种方式格式错误的类文件，或者引用了另一个类文件，该文件的更改方式导致另一个类文件中的代码不再有效。例如，如果您编译了一个引用其他类中的方法的类文件，然后在更改该方法的签名后单独修改并重新编译第二个类，则会出现此类错误。

我建议做一个干净的构建，看看这个问题是否消失了。如果没有，请检查您是否使用了最新的JAR和源文件。

Answer 2

对于遇到这个问题的不幸的灵魂......我现在已经解决了两次，两种不同的方式（可能是相同的基础解决方案）。我希望这能让你免于我在研究和击败墙壁上的日子......

我的项目：SBT 0.13 / Lift 2.5 / Scala 2.10.2

第一个解决方案：我从SBT 0.11 / Lift 2.4 / Scala 2.9.2升级到SBT 0.13 / Lift 2.5 / Scala 2.10.2。

，这是让所有依赖项正确更新（花了一天或两天）的地狱

第二个解决方案：我没有更新版本，我可以升级，所以我找到了另一个选择：运行SBT清理没有做到这一点，所以我进一步重命名（有效删除SBT知道）所有中间/衍生对象文件夹（只是在项目文件夹结构中添加'.archived'）（强制SBT从头开始重建/填充所有内容），即。

/ lib / - ＆gt;我认为这是我添加的文件夹，因此可能不适用于您。
/项目/目标/\*.\*
/项目/项目/目标/\*.\*
/靶/\*.\*

之后，SBT重新下载了所需内容，重建了这些文件夹的内容，一切正常。如前所述，我相信这也是第一次也有效。我相信升级只会创建一个scala_2.10.2文件夹来新填充中间/编译对象，类似于我重命名'target'文件夹。

java.lang.VerifyError函数调用的不兼容对象参数

2 个答案: