일반 유형 유추가 메소드 체인과 작동하지 않습니까?

이 코드는 Java 8에서는 컴파일되지만 Java 7에서는 컴파일되지 않습니다.

class Map<K,V> {
    static <K,V> Map<K,V> empty() {return null;}
    Map<K,V> put(K k, V v) {return null;}
    V get(K k) {return null;}
}

class A {
    static void f(Map<Integer,String> m){}
    public static void main(String[] args) {
        f(Map.empty());
    }
}

구체적인 유형을 추측하지는 않습니다.Map에서 돌아온Map.empty():

$ javac7 A.java
A.java:10: error: method f in class A cannot be applied to given types;
        f(Map.empty());
        ^
  required: Map<Integer,String>
  found: Map<Object,Object>
  reason: actual argument Map<Object,Object> cannot be converted to Map<Integer,String> by method invocation conversion
1 error

변경하면 컴파일됩니다.f~에게 전화 해f(Map.<Integer,String>empty());. Java 8에서는이 기능을 사용하지 않고도 작동합니다.

그러나 당신이f~에게 전화 해f(Map.empty().put(1,"A").put(2,"B"));, Java 7과 8 모두에서 다시 컴파일되지 않습니다. 왜?

$ $javac7 A.java 
A.java:10: error: method f in class A cannot be applied to given types;
        f(Map.empty().put(1,"A").put(2,"B"));
        ^
  required: Map<Integer,String>
  found: Map<Object,Object>
  reason: actual argument Map<Object,Object> cannot be converted to Map<Integer,String> by method invocation conversion
1 error

$ $javac8 A.java
A.java:10: error: incompatible types: Map<Object,Object> cannot be converted to Map<Integer,String>
        f(Map.empty().put(1,"A").put(2,"B"));
                                    ^
Note: Some messages have been simplified; recompile with -Xdiags:verbose to get full output
1 error

$ $javac8 -Xdiags:verbose A.java
A.java:10: error: method f in class A cannot be applied to given types;
        f(Map.empty().put(1,"A").put(2,"B"));
        ^
  required: Map<Integer,String>
  found: Map<Object,Object>
  reason: argument mismatch; Map<Object,Object> cannot be converted to Map<Integer,String>
1 error

• 그냥 만드세요.static Map empty() {return null;}어쨌든 제네릭을 사용하는 수정자를 추가하는 것과 다릅니다. - ug_