코틀린 강좌 #3 타입추론과 함수

테크과학! DiMo

테크과학! DiMo

 

 

개발 환경: play.kotlinlang.org

---

타입추론(Type inference)이란?

 

 

변수나 함수들을 선언할 때나 연산이 이루어질 때 자료형을 코드에 명시하지 않아도 코틀린이 자료형을
추론해 주는 기능.

 

 

변수가 선언될 때 할당된 값의 형태로 해당 변수가 어떤 자료형을 가지는지 추론이 가능하기 때문에 가능한 방법.
기본 자료형들 대부분 선언 시 값만 할당해준다면 자료형을 명시할 필요가 없다.

 

 

자료형 없이 값을 할당할 때

일반 정수형 리터럴을 할당하면 : Int

L이 붙은 정수형 리터럴 : Long

일반 실수형 리터럴: Double

f가 붙은 실수형 리터럴: Float

16진수, 2진수:Int 형으로 추론

Boolean, Char 역시 자료형 없이 추론 가능.

 

따라서 반드시 특정한 자료형으로 지정해야 하는 상황이 아니라면
대부분은 코틀린의 타입추론 기능을 이용하여 코드량을 줄일 수 있다.

 

 

함수(Function)란?

 

 

특정한 동작을 하거나 원하는 결과 값을 연산하는 데 사용.

ex) main(), println("")

 

 

fun main() {
    println(add(5,6,7))
    
}

fun add(a:Int, b:Int, c:Int): Int {
    // 반환 값이 없다면 :Int는 생략 가능
    return a + b + c;
}
fun add(a: Int, b: Int, c: Int) = a + b + c

함수를 좀 더 간단하게 기술할 수 있도록 '단일 표현식 함수'를 지원한다.

단일 표현식 함수에서는 반환형의 타입추론이 가능하므로 반환형 생략 가능.