이 두 조건은 컴파일러에서 다르게 취급되는 이유는 무엇입니까?

Question

다음 두 코드 샘플은 동일한 논리를 나타냅니다. 문자열이 null인지 확인하고 해당 검사를 기반으로 분기하는지 확인합니다. 첫 번째 샘플은 안전하게 컴파일됩니다. 두 번째는 Java 제네릭과 관련된 형식 불일치 오류를 생성합니다. 내 질문은 충분히 단순 해 보이지만 그것은 나를 벗어난다. 왜 컴파일러는이 두 문장을 다르게 취급합니까? 여기서 일어나는 일을 어떻게 더 잘 이해할 수 있습니까?

/* compiles cleanly */ 
protected Collection<String> getUserRoles(Object context, 
     Set<String> mappableRoles) { 
    String cookieValue = extractCookieValue(context); 
    if (cookieValue != null) { 
     return securityService.getRolesForUser(cookieValue); 
    } else { 
     return Collections.emptySet(); 
    } 
} 


/* produces a compiler error */ 
protected Collection<String> getUserRoles(Object context, 
      Set<String> mappableRoles) { 
    String cookieValue = extractCookieValue(context); 
    return cookieValue == null ? Collections.emptySet() 
      : securityService.getRolesForUser(cookieValue); 
} 

Eclipse에서 컴파일러 오류가 발생했습니다. 요청한 바와 같이

Type mismatch: cannot convert from Set<capture#1-of ? extends Object> to Collection<String>

, 여기 SecurityService 인터페이스의 중요한 부분이다. Collections.emptySet()이 지정되지 않은 Set을 반환하기 때문에

public interface SecurityService { 
    public Set<String> getRolesForUser(String userId); 
} 

Answer 1

이 문제점은 컴파일러가 3 진 연산자의 반환 값을 해석하는 방법에 있어야합니다. part 15.25 of the JLS을 보거나이 question (좀 더 복잡한 것은 오토 박싱으로 인해 더 복잡해지며 컴파일 타임 대신 런타임에 오류가 발생하기 때문)을 살펴볼 수도 있습니다.

희망이 있으면 올바른 방향으로 오게됩니다. 제 TType Inference가 사용된다

public static final <T> Set<T> emptySet() 

로

Answer 2

이 있습니다. 대신 다음을 시도하십시오.

Collections.<String>emptySet() 

Answer 3

Collections.emptySet()는 선언된다. 두 번째 getUserRoles 구현은 Java 컴파일러가 올바른 유형을 탐지하기에는 너무 복잡합니다. 이것이 문제의 원인입니다. 해결 방법 :

protected Collection<String> getUserRoles(Object context, 
      Set<String> mappableRoles) { 
    String cookieValue = extractCookieValue(context); 
    Collection<String> a = null; 
    return cookieValue == null ? a = Collections.emptySet() 
      : securityService.getRolesForUser(cookieValue); 
}