BinaryFormat.Choice

통사론

BinaryFormat.Choice(binaryFormat as function, chooseFunction as function, optional type as nullable type, optional combineFunction as nullable function) as function

소개

이미 읽은 값에 따라 다음 이진 형식을 선택하는 이진 형식을 반환합니다. 이 함수에 의해 생성된 이진 형식 값은 다음 단계에서 작동합니다.

• binaryFormat 매개 변수에서 지정한 이진 형식은 값을 읽는 데 사용됩니다.
• 값은 chooseFunction 매개 변수로 지정된 선택 함수에 전달됩니다.
• 선택 함수는 값을 검사하고 두 번째 이진 형식을 반환합니다.
• 두 번째 이진 형식은 두 번째 값을 읽는 데 사용됩니다.
• 결합 함수를 지정하면 첫 번째 값과 두 번째 값이 결합 함수에 전달되고 결과 값이 반환됩니다.
• 결합 함수를 지정하지 않으면 두 번째 값이 반환됩니다.
• 두 번째 값이 반환됩니다.

선택적 type 매개 변수는 선택 함수에서 반환할 이진 형식의 형식을 나타냅니다. type any, type list또는 type binary 지정할 수 있습니다. type 매개 변수를 지정하지 않으면 type any 사용됩니다. type list 또는 type binary 사용하는 경우 시스템에서 버퍼링된 값 대신 스트리밍 binary 또는 list 값을 반환할 수 있으므로 형식을 읽는 데 필요한 메모리 양이 줄어들 수 있습니다.

예제 1

요소 수가 첫 번째 바이트에 의해 결정되는 바이트 목록을 읽습니다.

사용량

let
    binaryData = #binary({2, 3, 4, 5}),
    listFormat = BinaryFormat.Choice(
        BinaryFormat.Byte,
        (length) => BinaryFormat.List(BinaryFormat.Byte, length)
    )
in
    listFormat(binaryData)

출력

{3,4}

예제 2

요소 수가 첫 번째 바이트에 의해 결정되는 바이트 목록을 읽고 첫 번째 바이트 읽기를 유지합니다.

사용량

let
    binaryData = #binary({2, 3, 4, 5}),
    listFormat = BinaryFormat.Choice(
        BinaryFormat.Byte,
        (length) => BinaryFormat.Record([
            length = length,
            list = BinaryFormat.List(BinaryFormat.Byte, length)
        ])
    )
in
    listFormat(binaryData)

출력

[length = 2, list = {3, 4}]

예제 3

스트리밍 목록을 사용하여 요소 수가 첫 번째 바이트에 의해 결정되는 바이트 목록을 읽습니다.

사용량

let
    binaryData = #binary({2, 3, 4, 5}),
    listFormat = BinaryFormat.Choice(
        BinaryFormat.Byte,
        (length) => BinaryFormat.List(BinaryFormat.Byte, length),
        type list
    )
in
    listFormat(binaryData)

출력

{3, 4}