Java方法分派如何处理泛型和抽象类?

今天我遇到了一种情况,Java没有调用我所期望的方法——这是一个最小的测试用例:(很抱歉,这似乎是人为的——‘真实世界’的场景要复杂得多,而且从“你到底为什么要这样做”这一句话中可以看出这一点

我特别感兴趣的是为什么会发生这种情况,我不关心重新设计的建议。我有一种感觉,这是在Java拼图,但我没有我的副本手边。

请参阅测试中的具体问题<T>。getValue()如下:

public class Ol2 {  

    public static void main(String[] args) {  
        Test<Integer> t = new Test<Integer>() {  
            protected Integer value() { return 5; }  
        };  

        System.out.println(t.getValue());  
    }  
}  


abstract class Test<T> {  
    protected abstract T value();  

    public String getValue() {  
        // Why does this always invoke makeString(Object)?  
        // The type of value() is available at compile-time.
        return Util.makeString(value());  
    }  
}  

class Util {  
    public static String makeString(Integer i){  
        return "int: "+i;  
    }  
    public static String makeString(Object o){  
        return "obj: "+o;  
    }  
} 

此代码的输出为:

obj: 5