참고: Do it! 코틀린 프로그래밍 (P. 157~194)

코틀린에서 사용되는 조건문, 반복문, 그리고 중단/반환에 대해 알아보자. 다행스러운 점은 c언어나 python과는 크게 다르지 않다는 점이다.

1. 조건문
2. 반목문
3. 흐름 중단과 반환

1. 조건문

IF문

• 실행문이 하나일 경우에는 { } 생략이 가능하다.
• 범위를 지정할 때는 “변수이름 in 시작 값..마지막 값”으로 지정한다. (score in 80.0..89.9 => 80.0에서 89.9까지)

WHEN문

• 범위를 지정할 때는 “in 시작 값..마지막 값”으로 지정한다.
  (in 80.0..89.9 => 80.0에서 89.9까지)
• 특정 자료 형 검색은 is를 사용한다.
  (is String -> “” => 리턴되는 값이 String 타입이면 실행)
• 인자없이 사용하게 되면 조건문의 형식으로 사용할 수 있다. 

2. 반복문

FOR문

• 실행문이 하나일 경우에는 중괄호를 생략할 수 있다.

WHILE문

• 조건식에 true를 쓰게 되면, 무조건 실행하게 된다.
• 데몬 프로그램에서 사용하는 경우도 많다.
  (데몬 : 백그라운드에서 실행하면서 종료되지 않고 지속적으로 처리)

3. 흐름 중단과 반환

• 함수이름 라벨이름@ – return@라벨이름을 사용하게 되면 해당 라벨의 끝부분으로 이동한다.
• 함수에 람다식을 할당하게 되면 그 람다식이 자동 실행되는것이 아니고 람다식 자체가 함수에 담기는 것이다.
   ex) fun greet() = {println(“Hello”}를 하게 되면, print되지 않고 greent()()해주어서 함수를 실행해주어야 함

• 예외 사항이 발생하는 조건
  (1) 운영체제 문제
  (2) 입력 값 문제
  (3) 받아 들일 수 없는 연산=0으로 나누기 등
  (4) 메모리 할당 실패 및 부족
  (5) 컴퓨터 문제

참고: Do it! 코틀린 프로그래밍 (P. 98~132)

1. 함수
2. 함수형 프로그래밍
3. 람다식과 고차함수 호출
4. 람다식의 매개변수

1. 함수

코틀린은 함수형 프로그래밍이라고 했다. 그럼 함수는 무엇을 일컫는 단어인가?
값을 입력 받아 사전 정의된 기능을 수행하고, 결과값을 반환하는 모음을 말한다.
보통 코드를 여러 번 사용할 수 있어서 함수를 사용한다.

1-1. 함수의 구조

fun 함수명(변수명: 자료형, 변수명: 자료형 …): 반환값의 자료형{
  코드
  [return 반환값]
}

만약, 함수의 코드가 한 줄이라면, myfunction1 함수 처럼 단축할 수 있다.

1-2. 함수의 매개변수

(1) 매개변수의 기본값을 지정할 수 있다.

(2) 매개변수를 호출할 때, 이름과 함께 호출할 수 있다.

(3) 한 개의 인자만 정의해도 여러 개의 인자를 입력받을 수 있다.
Variable Argument(가변 인자)라고 하며, varargs 키워드를 사용한다.

** 만약, 가변인자와 일반 인자를 동시에 사용할 경우 가변인자를 마지막에 둔다.

2. 함수형 프로그래밍

코틀린은 함수형 프로그래밍과 객체지향 프로그래밍 둘 다 지원하는 다중 패러다임 언어다. 특히, 함수형 프로그래밍은 순수함수, 람다식, 고차함수를 사용해 효율적인 프로그래밍을 지향한다.

순수함수
A라는 함수가 있다고 가정해보자. 이 함수가 항상 같은 결과 값을 반환하고, 이 함수가 외부의 상태를 바꾸지 않을 때, 순수함수라고 한다.

람다식
이름이 없는 함수, 익명함수이다. 한번만 사용하고 재사용하지 않는 함수. 함수 코드 가독성이 높아지고,  함수형 프로그래밍에서 자주 사용하는 패턴이다.

고차함수
다른 함수를 인자로 사용하거나 함수를 결과값으로 반환하는 함수.

(1) 일반함수를 인자로 사용하는 고차함수

이외에도
(2) 반환값(return)에 일반함수를 넣은 고차함수,
(3) 람다식을 변수나 매개변수에 할당한 고차함수
가 있다.

3. 람다식과 고차함수 호출

3-1. 값에 의한 호출

“람다식 함수“를 호출한다.
함수가 다른 함수의 인자로 전달될 경우 람다식이 바로 값으로 처리되어 즉시 해당 함수의 결과값을 전달한다.

3-2. 이름에 의한 람다식 호출

“람다식 이름“을 호출한다.
인자로 전달 시 실행되지 않고 , 실제 호출 시 실행된다.

4. 람다식의 매개변수

4-1. 람다식에 매개변수가 없는 경우

매개변수가 없으므로 람다식에는 “->”가 사용되지 않는다.

4-2. 람다식에 매개변수가 1개인 경우

람다식에서 “->” 왼쪽에 변수를 작성해야 한다.
람다식 중 처리코드에서 ‘$변수명‘ 대신 ‘$it‘로 작성할 수 있다.

4-3. 람다식에 매개변수가 2개인 경우

매개변수가 1개인 경우와 비슷하다.
람다식에서 “->” 왼쪽에 변수를 작성해야 한다. 만일, 람다식의 일부 매개변수를 사용하지 않겠다면, 언더바(_)를 사용한다.

1. 코틀린 프로젝트, 모듈, 패키지, 파일의 관계
2. 변수와 자료형
3. 자료형 검사와 반환

1. 코틀린 프로젝트-모듈-패키지-파일

프로젝트 내부에 모듈,
모듈 내부에 패키지,
패키지 내부에 파일.

실제 파일을 보면 아래와 같다. 패키지 기준으로 보는게 이해하기 쉬운듯 하다.

파일명 “ooo.kt” 와 “ooo”의 차이?

해당 파일 제목으로 클래스 1개만 설정되어있다면, ooo
그 이외는 ooo.kt 이다.

2. 변수와 자료형

2-1. val / var

코틀린에서 변수를 선언할 때, val이나 var을 사용할 수 있다.

val : 고정 값, 읽기만 가능
var: 유동 값, 값 수정 가능

2-2. 기본형 자료형 vs 참조형 자료형

코틀린에서는 참조형만 사용한다. 하지만, 겉보기에만 그렇고 컴파일을 진행하면서 참조형에서 기본형으로 바뀐다.

기본형: 임시메모리(스택)에 값 저장, 메모리 크기 고정.
자료형: 임시메모리(스택)에 참조 주소, 동적 메모리(힙)에 실제 값.

2-3. 자료형

2-4. 언더스코어

프로그래밍을 하다보면 긴 숫자는 식별하기 애매한 경우가 있는데, _ 을 이용해 식별하기 편하게 할 수 있다. 언더그라운드(_)는값에 영향을 주지 않고, 모든 종류의 값에 사용할 수 있다.

var num = 79_000_000
var num2 = 0x99_5F_AB_12

2-5. 부동소수점

(위키디피아 참고)

−118.625 (십진법)을 IEEE 754 (32비트 단정밀도)로 표현해 보자.

(1) 음수이므로, 부호부는 1이 된다. 0은 양수, 1은 음수이다.
(2) 그 다음, 절댓값을 이진법으로 나타내면 1110110.101이 된다.
(3)소수점을 왼쪽으로 이동시켜, 왼쪽에는 1만 남게 만든다. 예를 들면 1110110.101=1.110110101×2⁶ 과 같다. 이것을 정규화된 부동소수점 수라고 한다.
(4) 가수부는 소수점의 오른쪽 부분으로, 부족한 비트 수 부분만큼 0으로 채워 23비트로 만든다. 결과는 11011010100000000000000이 된다.
(5) 지수는 6이므로, Bias를 더해야 한다. 32비트 IEEE 754 형식에서는 Bias는 127이므로 6+127 = 133이 된다. 이진법으로 변환하면 10000101이 된다.

2-6. 2의 보수

컴퓨터는 음수를 표현하기 위해 2의 보수 개념을 사용한다. 컴퓨터 연산기에는 덧셈 기능의 회로만 있고, 덧셈 기능으로 뺄셈을 구현해야하기 때문이다.

(1) Byte형 변수에 0111 1111 (127) 이 있다.
(2) 여기에 2진수 1을 더하면 1000 0000이 되고, -128이 된다.
(3) 즉 특정한 수를 음수로 만드려면, 2진수 값을 뒤집은 후 1을 더하면 특정 수의 음수가 된다.

예시로, 1000 0001은 -127, 1000 0011은 -125다.

3. 자료형 검사와 반환

3-1. Null을 허용하는 변수 검사

일반적으로 코틀린은 변수에 null 할당 시 non-null 에러 발생.
변수 선언 시 자료형 뒤에 물음표를 추가한다.

var str0 : String? = "This is String"
str0 = null

3-2. 세이프콜과 엘비스

[ 세이프콜 ]
null이 할당됐을 가능성이 있는 변수를 검사 후 안전하게 호출.

println("str0: $str0 length: ${str0?.length}")

str0이 null인지 확인.
null이면 null 출력. / null이 아니면 length 출력.

[ 엘비스 ]
변수가 null인지 확인 후 null이면 오른쪽 수식, 아니면 왼쪽 수식을 출력.

println("str0: $str0 length: ${str0?.length ?: -1}")

if문과 동일하다.

3-3. 스마트캐스트

컴파일러 스스로 자료형을 변환하는 것.

[ Number 형 ]
숫자를 저장하는 특수 자료형

var tmp : Number = 13
tmp  = 13.0f
tmp = 13L

[ AS ]
자료형 변환이 안되면, 예외 발생.

val tmp2 : String? = x as? String

3-4. Any 형

특별한 자료형이 정해지지 않은 경우 사용한다. 어떤 자료형이든 될 수 있다. 또한, 모든 클래스는 Any 형의 자식 클래스이다.

var a : Any = 3
a = "Wow"