스칼라 구문 조회, 반환 형식 유추

Question

코드는 사소한 것 같다하지만 반환 값에 한 가지를 이해하고 있지 않다 :

trait JdbcTemplate { 
    def query(psc: PreparedStatementCreator, 
      rowMapper: RowMapper): List[_] 
} 

은 무엇 정확하게 List[_] 여기에 의미 하는가? List[Any]을 사용하지 않는 것이 동일한 것을 의미합니까? 차이점은 어디에서 읽을 수 있습니까?

Answer 1

_은 유형에 상관하지 않으며 Any is supertype of everything을 의미하므로 둘 다 같습니다.

Answer 2

Any은 특정 유형의 알려진 (그러나 모든 것을 포함하지만) 유형입니다. 형식 매개 변수로 밑줄을 사용하는 것은 "실존 유형"이라고 불리는 것에 대해보다 성가시고보다 일반적인 구문을 사용하는 것을 의미합니다. 존재 유형은 구체적이지 않습니다. 여기에 갈 수있는 유형이 적어도 하나 있다고합니다. 그것들은보다 보편적으로 사용되는 제한되지 않은 유형 매개 변수의 해석 인 보편적 인 양을 정한 것의 이중이다. 예 : def method[T](t: T) .... 이 구조에서 T은 그 유형이 인스턴스화되는 각 장소 (해당 메소드에 대한 호출이 발생할 때마다)에 특정 유형에 바인딩되지만 모든 유형에 바인딩 될 수 있습니다.