👀타입추론

변수나 함수들을 선언할 때나 연산이 이루어 질 때 자료형을 코드에 명시하지 않아도 코틀린이 자동으로 자료형을 추론해주는 기능. 변수가 선언될 때 할당된 값의 형태로 해당 변수가 어떤 자료형을 가지는지 추론이 가능하기 때문에 아래와 같이 자료형을 생략할 수 있다.

val stringValue: String = "타입추론이란?" 

val stringValue = "타입추론이란?"    --> String 자료형 생략 가능

val intArr: Array<Int> = awwyOf(1, 2, 3, 4, 5)

val intArr = awwyOf(1, 2, 3, 4, 5)        --> Array<Int> 자료형 생략 가능

---

기본 자료형들도 선언시 값을 할당만 해준다면 대부분 자료형을 명시할 필요가 없는데, 자료형 없이 값을 할당한다면 어떤 자료형으로 지정될까?
일반 정수형 리터럴을 할당하면 Int, L이 붙은 정수형 리터럴은 Long, 일반 실수형 리터럴은 Double, f가 붙은 실수형 리터럴은 Float형으로 추론된다. 또한 16진수와 2진수는 Int형으로 추론되고, Boolean과 Char 역시 자료형 없이도 추론이 가능하다.

var a = 1234

var b = 1234L

var c = 12.45

var d = 12.45f

var e = 0xABCD
var f = 0b0101010

var g = true
var h = 'c'

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

👀함수(function)

함수는 특정한 동적을 하거나 원하는 결과값을 연산하는데 사용되는 기능.

main()
println("")

간단하게 3개의 Int 정수를 더하는 함수를 만들어보자. 코틀린에서 함수는 어디에나 둘 수 있지만, 지금은 main 함수 바깥에 함수를 만들어 보자.

변수를 var이나 val로 시작하듯 함수도 function의 준말인 fun으로 시작한다. 함수가 받아야 할 Int 정수값 a, b, c를 써주고 a, b, c를 더해서 반환하는 값의 자료형을 써준다. 이를 반환형이라고 하고, 반환값이 없다면 생략해도 무방하다. 코틀린에서는 Int끼리 더하면 Int가 나오므로 반환형을 Int로 지정해 준다. 다음은 함수의 내용을 만들기 위해 중괄호를 써준다. main함수의 내용을 적은 것 처럼 중괄호안에 함수가 해야 할 구문을 적는다. 여기서는 단순히 a, b, c를 더한 값을 반환하는 목적이므로 return a + b + c라고 써준다.
함수 안에서 return은 뒤에 오는 값을 반환하는 키워드로 return이 발생한다면 함수의 중간이더라도 값을 반환하고 함수를 종료하게 된다.
fun add함수를 실제로 사용하기 위해 println으로 add함수에 숫자를 넣어 동작시키면 add함수의 결과값을 반환받아 println을 통해 출력된다.

fun main() {
	println(add(5, 6, 7))
}
	
fun add(a: Int, b: Int, c: Int): Int{
	return a + b + c
}

이 함수는 여러가지 일을 하는 것이 아닌 a, b, c를 단순히 더해서 반환하는 역할만 한다. 이럴 때는 함수를 좀 더 간단하게 기술할 수 있도록 단일 표현식 함수(single-expression function)를 지원한다. 위에서 만든 함수와 같은 기능의 함수를 마치 변수에 결과값을 할당하듯 아래와 같이 식을 할당하여 만들 수 있다. 또한 단일 표현식 함수에서는 반환형의 타입추론이 가능하므로 반환형을 생략할 수 있다.

fun main() {
	println(add(5, 6, 7))
}
	
fun add(a: Int, b: Int, c: Int) = a + b + c

코틀린에서 함수는 내부적으로 기능을 가진 형태이지만 외부에서 볼 때는 파라미터를 넣는다는 점 외에는 자료형이 결정된 변수라는 개념으로 접근하는게 좋다. 그래야 이후에 배울 함수형 언어라는 코틀린의 중요한 특징을 이해하기 쉽다.

---

이 글은 아래 유튜브 강좌를 참고하여 작성한 글입니다.
https://www.youtube.com/watch?v=eMfQycxjAsg&list=PLQdnHjXZyYadiw5aV3p6DwUdXV2bZuhlN&index=4/