엄격한 null 안전성과 스마트 형 변환을 지원하는 코틀린의 형식 시스템을 확인하며, JVM(Java Virtual Machine) 환경에 추가된 새로운 연산자와 자바에 비해 개선된 여러 특징이 있음.

변수, 값, 상수

• Kotlin은 두 키워드(val 및 var)를 사용하여 변수를 선언합니다.
• 함수 나 클래스 밖의 탑레벨 변수 선언도 가능

val (baluable) : 읽기만 가능한 final 변수

var (variable) : 읽기/쓰기가 가능한 일반 변수 ( 타입이 고정되면 타입이 바뀌지는 않음 )

• String Template

  fun main(){
  		val c : Int
  		c = 3 // 지연 할당도 가능(But 타입을 무조건 지정해줘야함
  	
      val name = "Haeun"
      val lastName = "Lee"
      println("my name is ${name + lastName} I'm 22")
      println("my name is ${"$name $lastName"} I'm 22")
      println("Is this ture? ${1 == 0}")
  
      // 백슬래시를 붙이면 $를 그냥 문자로 인식
      println("This is 2\\$")
  }
  

  • my name is HaeunLee I'm 22
  • my name is Haeun Lee I'm 22
  • Is this ture? false
  • This is 2$

형식 유추 type inference (유형 추론)

• Kotlin은 정적으로 입력되는 언어 → 즉, 컴파일 타임에 유형이 결정되고 절대 변경되지 않음

val list = mutableListOf("a","b","c")
list = mutableListOf("b","d")	// 오류
list.remove("a")	//리스트 내용 수정 가능, val 키워드가 원본 객체까지 불변으로 만드는 것은 아니다.

• 변수 참조의 형식 var, val은 참조된 객체가 아닌 참조 자체에 대한 것임
• 즉, 읽기 전용 참조 val에서는 특정 객체 인스턴스를 가리키는 참조를 바꿀 수 없지만(변수 값을 재할당할 수 없음), 참조된 객체의 상태는 변경할 수 있음 ex) 배열 객체 삭제는 가능

• Any 는 자바 Object 객체라고 볼 수 있으며 코틀린 형식 계층에서 Loot 에 해당
• String, Int 같은 기본형을 포함해 코틀린의 모든 클래스는 Any를 명시적으로 상속함
• Any 는 equals, toString, hashCode 정의함

val stringValue:String = "my string" 
val stringValue = "my string" // Type 생략 가능 

var intArr:Array<Int> = arrayOf(1,2,3,4,5) 
var intArr = arrayOf(1,2,3,4,5) // Type 생략 가능