fallback 없이 빠른 숫자 파싱

요약 최근 연구에서 Lemire(2021)는 숫자 문자열을 이진 부동소수점 숫자로 변환하는 빠른 알고리즘을 제시했습니다. 이 알고리즘은 여러 중요한 시스템에 채택되었습니다. 예를 들어, GCC 12, Rust 1.55, Go 1.16의 런타임 라이브러리에 포함되어 있습니다. 이 알고리즘은 유효숫자가 19자리 이하인 모든 숫자 문자열을 IEEE 부동소수점 숫자로 파싱합니다. 그러나 정확성을 보장하기 위한 체크가 있어 백업 함수가 호출됩니다. 이 백업 함수는 실제로는 호출되지 않습니다. 우리는 백업이 불필요하다는 것을 증명합니다. 따라서 알고리즘과 그 구현을 약간 단순화할 수 있습니다.