30. 컨트롤 플로우 그룹 생성

• Compose Compiler는 Composable 함수 본문에 “그룹”을 삽입한다.

  • 본문 내에서 찾을 수 있는 코드 제어 흐름에 따라 아래 유형의 그룹이 삽입된다.
  • 런타임에 생성된다.

• “그룹”은 Composable 함수의 현재 상태에 대한 모든 정보를 보존한다.

  • 이 정보를 통해 Composition은 아래 상황에 어떻게 처리할지 알 수 있다.
    1. 그룹에 교체가 필요할 때
    2. Composable의 정체성을 유지하면서 데이터를 이동시킬 때
    3. Recomposition 중에 함수를 재시작할 때

• “그룹”은 Composable 함수의 호출 위치에 대한 정보를 갖는다.

  • 호출 위치 정보를 바탕으로 생성된 Key를 가지고, 이 Key를 통해 위치 기억법을 가능하게 한다.

• 다양한 유형의 그룹을 생성하기 위해 Compiler가 실행 가능한 블록에 아래 논리들을 적용한다.

  • 블록이 항상 정확하게 1회만 실행된다면, 그룹은 필요하지 않다.
  • 조건부 논리처럼 한번 실행되는 경우에는 “교체 가능한 그룹”을 삽입
  • “이동 가능한 그룹”은 Key Composable 함수 호출 본문에서 사용

1. 교체 가능한 그룹 (Replaceable Groups)

   • e.g.1) Composable 람다식인 경우

     fun composableLambda(
     		composer: Composer,
     		key: Int,
     		tracked: Boolean,
     		block: Any,
     ): ComposableLambda {
     		composer.startReplaceableGroup(key)  // 교체 가능한 그룹 시작
     		// Composition을 관련성 있는 정보로 업데이트 하는 코드
     		val slot = composer.rememberedValue()
     		val result = if (slot == Composer.Empty) {
     				val value = ComposableLambdaImpl(key, tracked)
     				composer.updateRememberedValue(value)
     				value
     		} else {
     				slot as ComposableLambdaImpl
     		}
     		result.update(block)
     		composer.endReplaceableGroup()  // 교체 가능한 그룹 닫음
     		return result
     }
     

   • e.g.2) @NonRestartableComposable 마킹된 Composable 함수인 경우

     // Before Compiler
     @NonRestartableComposable
     @Composable
     fun Foo(x: Int) {
     		Wat()
     }
     
     // After Compiler
     @NonRestartableComposable
     @Composable
     fun Foo(x: Int, $composer: Composer?, $changed: Int) {
     		$composer.startReplaceableGroup(<>)
     		Wat($composer, 0)
     		$composer.endReplaceableGroup()
     }
     

     • Composition에 저장하기 위한 용도로 “교체 가능한 그룹” 생성
       • 트리와 유사하게 상위 그룹이 하위 그룹을 가질수도 있음
       • Wat()이 Composable 함수라면 Compiler가 여기에도 “교체 가능한 그룹”을 삽입함

   • e.g.3) 조건부 논리에 따른 Composable 함수 호출인 경우

     	if (condition) {
     			Text("Hello")
     	} else {
     			Text("World")
     	}
     

     • 조건이 전환되면 Composable 호출이 달라지기 때문에 “교체 가능한 그룹”을 슬롯 테이블에 저장함

2. 이동 가능한 그룹 (Movable Groups)

   • 정체성을 잃지 않고 재정렬이 가능한 그룹
     • e.g. Key Composable 함수 내부에서 Composable을 호출하는 경우

   @Composable
   fun TalksScreen(talks: List<Talk>) {
   		Column {
   				for (talk in talks) {
   						key(talk.id) {  // Unique key
   								Talk(talk)
   						}
   				}
   		}
   }
   

   • Talk은 고유한 정체성이 보장되고 “이동 가능한 그룹”이 생성된다.

     • “이동 가능한 그룹”은 각 호출마다 정체성을 해치지 않으면서 호출 순서를 변경할 수 있게 한다.

   • e.g. Key 함수를 사용했을 때 “이동 가능한 그룹” 추가 예시

     // Before Compiler
     @Composable
     fun Test(value: Int) {
     		key(value) {
     				Wrapper {
     						Leaf("Value ${'$'}value")
     				}
     		}
     }
     
     // After Compiler
     @Composable
     fun Test(value: Int, $composer: Composer?, $changed: Int) {
     		// ..
     		$composer.startMovableGroup(<>, value)
     		Wrapper(composableLambda($composer, <>, true) { $composer: Composer?, $changed: Int ->
     				Leaf("Value %value", $composer, 0)
     		}, $composer, 0b0110)
     		$composer.endMovableGroup()
     		// ..
     }
     

3. 재시작 가능한 그룹 (Restartable Groups)

   • 재시작 가능한 Composable 함수에만 삽입되는 “그룹”
     • 상태를 읽는 모든 Composable 함수에 대해 생성되는 유형의 “그룹”
   • endRestartGroup()은 nullable한 값을 반환함
     • null인 경우 → Composable 함수가 상태를 읽지 않을 때에 해당 (Recomposition이 필요하지 않음)
     • null이 아닌 경우 → Composition을 업데이트 하기 위한 람다식 생성 (재시작 하는 방법을 런타임에 가르침)

   @Composable
   fun A(x: Int) {
   		f(x)
   }
   
   @Composable
   fun A(x: Int, $composer: Composer<*>, $changed: Int) {
   		$composer.startRestartGroup()
   		// ..
   		f(x)
   		$composer.endRestartGroup()?.updateScope { next ->
   				A(x, next, $changed or 0b1)
   		}
   }
   

   • endRestartGroup()이 null이 아닐 때 동일한 A()호출을 감쌈

<aside> 💡

Compose Compiler는 Composable 함수 본문에 “그룹”을 삽입해 특정 상황에서 어떻게 Composable들이 동작하는지 Composition에 알린다.

</aside>

31. Klib과 미끼 생성

• .klib 및 Kotlin/JS를 위한 지원이 Compose Compiler에 추가됨

  • IR이 역직렬화되는 방식으로 인해 타입 시그니처와 일치하지 않기 때문
  • Composable 함수 선언과 Composable 함수 호출에 합성 매개변수를 추가

• 기존 JVM과 동일하게 함수의 IR을 교체하는 것을 지양하고, 복사본을 생성함

  • 기존 합수 선언을 유지한채로 Kotlin 메타데이터의 각 함수와 Composable IR을 연결
  • 모든 참조는 동작할 수 있게 유지
  • Compose가 필요에 따라 복사본 IR을 조정함
  • 런타임에서는 기존 함수와 복사본 함수를 구분하기 위해 복사본 함수 이름에 $composable 접미사를 추가

  // Before Compiler
  @Composable
  fun Counter() {
  		..
  }
  
  // Transformed
  @Decoy(..)
  fun Counter() {  // 시그니처 유지
  		illegalDecoyCallException("Counter")
  }
  
  @DecoyImplementation(..)
  fun Counter$composable(  // 시그니처 변경
  		$composer: Composer,
  		$changed: Int
  ) {
  		// .. transformed code
  }
  

3장. Compose Runtime

01. 슬롯 테이블 및 변경 목록

슬롯 테이블