-
Notifications
You must be signed in to change notification settings - Fork 36
16장 working with lists
kingori edited this page Dec 25, 2011
·
6 revisions
List는 array와 유사하지만 중요한 두 가지 다른 점이 있다.
- List
- immutable, recursive structure
- Array
- mutable, flat
-
Like arrays, lists are homogeneous: list의 요소는 모두 같은 타입이다.
-
scala에서 list type은 covariant 이다.
-
S가 T의 subtype이라면, List[S]는 List[T]의 subtype이다.
예를들면, List[String]은 List[Object]의 subtype이다.
-
-
empty list의 타입은 List[Nothing]임을 기억하자.
- Nothing은 Scala's class hierachy의 bottom type이다. (Scala의 다른 모든 타입의 subtype이다.)
- 왜냐하면 list는 covariant이기 때문에 List[Nothing]은 List[T]의 subtype이고,
empty list object는 List[T]에 들어갈 수 있는 모든 list 타입의 객체라고 볼 수 있다.
그렇기 때문에 다음과 같은 코드도 허용된다.
// List() is also of type List[String]!
val xs: List[String] = List()###zeide
- 모든 list는 Nil과 ::(cons)로 생성된다.
- Nil은 empty list를 말한다.
- ::(cons)는 list의 확장을 말한다.
scala> val fruitList = "apple" :: "orange" :: "grape" :: "banana" :: Nil
fruitList: List[java.lang.String] = List(apple, orange, grape, banana)
scala> "watermelon" :: fruitList
res12: List[java.lang.String] = List(watermelon, apple, orange, grape, banana)
###zeide
- list의 기본 동작은 다음 세가지로 볼 수 있다.
- head : list의 첫번째 엘리먼트 반환
- tail : 첫번째 엘리먼트를 제외한 요소의 리스트를 반환
- isEmpty : list가 비어있으면 true를 반환
- List 클래스에 메소드로 정의되어 있다.
###kingori
- 패턴 매칭에 사용하는 List pattern
-
List(a,b,c): 정확한 element의 개수를 알고 있을 때 -
a :: b :: rest: element 개수가 2 이상일 때 - 참고.
::와 같은 infix method가 pattern에 사용될 경우,::(op1, op2)의 constructor pattern으로 해석함.-
::의 경우엔scala.::class가 해당됨
-
-
###kingori
- first-order method: 어떤 function도 인자로 받지 않는 메서드
- 이번 절에선 몇 가지 유용한 메서드를 설명함~
-
:::: list 끼리 merge. cf)::는 list에 element 추가 -
length: 리스트의 길이. length는 상대적으로 비싼 operation이니 막 쓰지 말 것. -
init: 마지막 항목만 뺀 리스트, 'last': 마지막 항목. cf)head: 처음 항목,tail: 처음 항목만 뺀 리스트- empty list에선 exception 발생
- O(n) operation. 따라서 가급적 head / tail 구조를 지향할 것.
-
reverse: 순서 뒤집기. -
drop: 앞 항목들 버리기,take: 앞 항목들 취하기,splitAt: 특정 위치에서 분리하기xs spliatAt n의 결과는(xs take n, xs drop n)과 같음 -
apply: 특정 위치의 항목 취하기.xs apply 2 == xs(2) -
indices: 유효한 index의 range 를 반환 -
flatten: list of list 를 list로. -
zip: 두 list를 tuple로 묵은 list로 반홤. 매칭되지 못한 element 는 버림.zipWithIndex: index와 함께zip함.xs.indeces zip xs와 동일. -
unzip: tuple 의 list를 두 개의 list로 반환. -
toString: list를 string으로 표현.mkString: prefix, separator, postfix 를 지정할 수 있음. 결과를 StringBuffer에 집어넣는addString도 있음. -
toArray: List를 Array로,copyToArray: List의 내용을 Array의 특정 위치 이후에 집어넣기,iterator: iterator 얻기.
-
###kingori
- higher order function : 다른 function을 인자로 취하는 function
- map 틱한 메서드
-
map: List의 각 element에 op를 실행한 List를 반환 -
flatMap:map한 결과로 만들어진 List of List를 List로 flatten 함 -
foreach: procedure를 받고, 결과도 Unit.
-
- filtering
-
filter: T => Boolean function 을 받아 결과가 true인 항목만을 포함한 list를 반환-
partition: T => Boolean function 을 받아 결과가 true인 항목의 list와 false인 항목의 list의 tuple을 반환함.
-
-
find: 조건을 만족하는 첫 번째 element를 반환. 반환 타입은Option. -
takeWhile,dropWhile: 조건을 만족하는 동안 취함, 조건을 만족하는 동안 버림-
span:takeWhile과dropWhile의 tuple을 반환
-
-
forall: 모든 항목이 조건을 만족하는지,exists: 조건을 만족하는 항목이 있는지 반환 (Boolean)
-
- folding
-
/:: fold left. List의 왼쪽 항목부터 차례로 진행. (z /: xs ) (op) 의 형태를 취함.- z: 초기값, xs: List, op: binary operation
-
(z /: List(a,b,c))(op) == op(op(op(z,a),b),c)-
:\: fold right. List의 오른쪽 항목부터 차례로 진행. (xs :\ z) (op) 의 형태를 취함. - 동일한 작업이라면 fold right가 효율적이다.
-
sortWith: 소팅. 정렬을 위한 function 을 인자로 받음.
###kingori
굳이 정리할 필요가? 그냥 scaladoc을 봐도 될 듯.
###kingori
zip, map 등을 사용하면 여러 복잡한 일을 처리할 수 있다~
###kingori
내용은 길지만 우리가 알아야 할 것: non-functional 인자와 function 인자를 함께 받는 다형성 메서드를 설계할 경우, 가급적 function 인자를 뒤에 둘 것. 그래야 non-functional 인자로 부터 타입 추론을 미리 수행하여 function 인자를 축약된 형태로 사용할 수 있다.