pile·
백엔드·stackoverflow-blogStack Overflow Blog·

C++26 Reflection 으로 만드는 컴파일 타임 Map 과 컴파일 타임 가변 변수

문제C++ 컴파일 타임에는 상태를 수정할 수 없어 mutable 변수나 키-값 맵을 표현하기 어렵다.
접근C++26 리플렉션의 substitute, is_complete_type, define_aggregate 세 함수로 incomplete template specialization 을 저장소로 사용한다. 조건부로 type 을 complete 시켜 타입 시스템에 상태를 인코딩한다. compile-time ticket counter, immutable map, mutable variable 세 구현을 보인다.
결과meta::info 를 키와 값으로 모두 쓰는 다형적 저장 구조를 얻고, 전처리기로는 불가능했던 stateful metaprogramming 이 가능해진다. 단일 pair 는 불변이며 mutable 은 여러 기법 조합으로 달성한다.
stackoverflow-blog
Stack Overflow Blog 블로그
원문은 여기서 이어서 읽을 수 있어요
원문 읽기
읽음 (0)

이 글과 비슷한

  1. 백엔드·cloudflare-blogCloudflare Blog·

    hyper HTTP 라이브러리의 버그를 발견한 방법

    Cloudflare의 Images 서비스를 Unix 소켓 기반 아키텍처로 재구성한 후, 대용량 이미지 응답이 중간에 잘리는 버그가 발생했다. 14.8MB 응답에서 219KB만 전달되고 HTTP 200 OK는 정상 반환되어 애플리케이션 레벨에서 탐지가 불가능했다. 원인은 hyper 라이브러리의 dispatch 루프에서 flush 완료 여부를 확인하지 않고 연결을 종료하는 경쟁 조건이었으며, strace로 커널 호출 순서를 추적해 root cause를 특정했다. 최종 수정은 upstream PR #4018로 hyper 레포에 병합됐다.

    #rust#debugging#race-condition+2
  2. 백엔드·stackoverflow-blogStack Overflow Blog·

    CherryScript — 데이터 파이프라인을 위한 커스텀 Python 인터프리터 설계

    CherryScript는 데이터 기반 워크플로우 최적화를 위한 커스텀 DSL로, Python 기반 인터프리터로 구현됐다. 일반 Python 인터프리터의 메모리 병목과 AST 트리워킹 성능 문제를 극복하기 위해 스트리밍 렉서, 바이트코드 컴파일, 불변 상태 관리의 세 가지 최적화 전략을 채택했다.

    #dsl#python#interpreter+2