얼랭 패턴 일치 비트 문자열

Question

바이너리 프로토콜의 메시지를 디코딩하는 코드를 작성 중입니다. 각 메시지 유형에는 1 바이트 유형 식별자가 할당되며 각 메시지는이 유형 ID를 전달합니다. 메시지는 모두 5 개의 필드로 구성된 공통 헤더로 시작합니다. 내 API는 간단하다

decoder:decode(Bin :: binary()) -> my_message_type() | {error, binary()}` 

나의 첫번째 본능은 각 메시지 유형에 대해 하나의 디코딩 기능을 작성하여 패턴 매칭에 크게 의지하고 재미 인수

decode(<<Hdr1:8, ?MESSAGE_TYPE_ID_X:8, Hdr3:8, Hdr4:8, Hdr5:32, 
     TypeXField1:32, TypeXFld2:32, TypeXFld3:32>>) -> 
    #message_x{hdr1=Hdr1, hdr3=Hdr3 ... fld4=TypeXFld3}; 

decode(<<Hdr1:8, ?MESSAGE_TYPE_ID_Y:8, Hdr3:8, Hdr4:8, Hdr5:32, 
     TypeYField1:32, TypeYFld2:16, TypeYFld3:4, TypeYFld4:32 
     TypeYFld5:64>>) -> 
    #message_y{hdr1=Hdr1, hdr3=Hdr3 ... fld5=TypeYFld5}. 

참고 완전히 그 메시지 형식을 디코딩하는 것입니다 메시지의 처음 5 개 필드는 구조적으로 동일하지만 이후의 필드는 각 메시지 유형에 따라 다릅니다.

약 20 개의 메시지 유형이 있으므로 위와 비슷한 20 개의 메시지 유형이 있습니다. 이 구조로 여러 번 전체 메시지를 디코딩합니까? 그것은 관용적입니까? 함수 헤더에서 메시지 유형 필드를 디코딩 한 다음 메시지 본문에서 전체 메시지를 디코딩하는 것이 더 낫지 않습니까?

Answer 1

귀하의 스타일이 매우 평범한 얼랭 (Erlang)이라는 점에 동의하십시오. 코드를 명확하게 만들지 않는 한 디코딩을 별도의 부분으로 분할하지 마십시오. 이러한 유형의 그룹화를 수행하는 것이 더 논리적 일 수 있습니다.

컴파일러는 스마트하고 여러 번 메시지를 디코딩하지 않는 방식으로 패턴 일치를 컴파일합니다. 먼저 처음 두 필드 (바이트)를 디코딩 한 다음 두 번째 필드 값인 메시지 유형을 사용하여 나머지 메시지를 처리하는 방법을 결정합니다. 이것은 바이너리의 공통 부분이 얼마나 오랫동안 있는지에 관계없이 작동합니다.

따라서 개발자는 디코딩을 별도의 부분으로 분할하여 컴파일러를 "도움"할 필요가 없으므로 더 효율적으로 만들 수 없습니다. 다시 말하지만, 코드가 명확 해지면 다시하십시오.

Answer 2

현재 접근 방식은 관용적 인 얼랭입니다. 따라서이 방향으로 계속하십시오. 성능에 대해 걱정하지 마십시오. Erlang 컴파일러는 여기서 잘 작동합니다. 메시지가 실제로 정확히 동일한 형식이면 매크로를 작성할 수 있지만 후드 아래에서 동일한 코드가 생성되어야합니다. 어쨌든 매크로를 사용하면 일반적으로 유지 관리가 더욱 어려워집니다. 호기심 때문에 왜 모두 똑같은 필드가있을 때 다른 레코드 유형을 생성합니까? 다른 방법은 메시지 유형을 상수에서 얼랑 (Erlang) 원자로 변환 한 다음 하나의 레코드 유형으로 저장하는 것입니다.