Rust: 16진수 부동 리터럴 지원 추가

나는 이 문제를 가지고 놀았고 이것이 불행하게도 문제 #1306을 되살린다는 결론을 내렸습니다. 현재 렉서는 . 이후의 모든 알파 문자를 금지합니다. 0x<digits>. 패턴이 발견되면 선택적으로 허용하도록 선택할 수 있지만 너무 일관성이 없어 보이며 불일치를 없애려면 무한한 미리보기가 필요할 수 있습니다.

점 뒤에 숫자 또는 0x 또는 0b를 요구하는 것이 좋습니다. 이렇게 하면 충돌을 피할 수 있고 (흥미롭게도) 원하는 경우 기수를 리터럴 중간으로 전환할 수 있습니다. 그리고 C99로 작성하는 것보다 약간 못생겼을 뿐입니다.

@graydon 또는 점 뒤에 0만 요구할 수 있습니다. (예: 0x1fffffffffffff.0p+972_f64 대신 0x1.fffffffffffffp+1023_f64 )

나는 이것이 이전 버전과 호환되지 않는다고 생각하지 않습니다.

기능 완성 이정표에 대해 승인됨

2013-07-15에 분류를 위해 방문했습니다. 여기에서 구문을 실제로 결정했습니까? 이것은 새로운 기여자에게 아주 쉬운 작업인 것 같습니다. 우리가 그들에게 구문에 대한 명확한 사양을 전달할 수 있다면 _if_; 그러나 구문이 아직 설계 단계에 있다면 그 주장은 사실이 아닙니다.

나는 우리가 구문을 완전히 이해하지 못했다고 생각하지만 접미사(일부는 16진수 f로 시작)와 충돌하는 것을 피할 필요가 있다는 점을 지적해야 합니다. 가수를 지정하고 전체 지수(십진수)와 결합된 경우에만.

이것은 아직 구현되지 않았습니다.

1.0 아님

16진수 부동 소수점은 C 수학 라이브러리에서 꽤 인기가 있습니다. 그리고 Rust에서도 사용하고 싶습니다.

16진법 float가 Rust에서 확장으로 구현된 다음 별도의 크레이트로 옮겨져 이제 rust-deprecated 있고 nightly Rust로 컴파일하지 못하는 것을 알 수 있습니다.

이 기능의 미래는 무엇입니까?

또한 이것에 관심이 있습니다. 컴퓨터 간에 일관된 결과가 필요한 게임에 대해 재생 가능한 물리 시스템을 구현하려고 합니다. 16진 부동 소수점 리터럴을 사용하면 테스트 및 상수에서 정확한 비트 단위 부동 소수점 값을 작성할 수 있습니다.

최소한 이 스레드가 "rust hex float literal"에 대해 얻은 첫 번째 결과이기 때문에 이 기능이 더 이상 사용되지 않는 이유에 대해 설명하면 감사하겠습니다.

현재 상황이 좀 어리둥절합니다. 절차적 매크로는 지금 수정을 진행 중이며(#38356) 이러한 일이 진행되는 동안 hexfloat 를 최신 상태로 유지하는 것은 최소한 시간 낭비입니다. 하지만 그 이후의 이야기는 어떻게 될지 모르겠다.

내 이해가 맞다면 C/C++의 16진법 부동 소수점은 10진수 부동 소수점이 올바르게 반올림되는 것이 보장되지 않기 때문에 존재합니다[1]. 그러나 Rust에서는 #27307---이것이 반드시 의도적인 것은 아니라고 생각합니다!--- 거의 모든 소수 부동 소수점(#31407은 실질적으로 관련이 없는 경우를 설명합니다)은 가장 가까운 값으로 반올림해야 하므로 그냥 Rustc를 줄 수 있습니다. 적절한 숫자(예: 30)의 소수 자릿수를 입력하고 올바르게 반올림된 숫자를 얻습니다. 이것은 현재로서는 "실용적인" 대답이 될 것입니다.

여전히 16진수 부동 소수점이 관련이 있다고 생각하는 한 가지는 C/C++에서 변환하는 것입니다. 모든 16진수 부동 소수점을 10진수로 변환하고 싶지는 않을 것입니다 :) 저는 최근에 정확히 이것을 수행하는 실험적 절차 매크로를 작성하여 16진수 부동 소수점을 10진수 부동 소수점으로 변환(rusc가 이해할 수 있음)했지만 릴리스를 꺼려했기 때문에 현상 유지는 실제로 지금까지 보장되지 않았습니다. 제 생각에는 순전히 운입니다. constexpr에서만 정확한 비트 패턴으로 float를 구성하는 방법이 있다면 저는 그것을 적용할 것입니다.

[1] 예를 들어 ISO C99는 소수점 이하 자릿수를 ±1.5 ulps 내에서 표현 가능한 숫자로 변환해야 한다고 요구합니다("결과는 가장 가까운 표현 가능한 값이거나 가장 가까운 표현 가능한 값에 바로 인접한 더 크거나 작은 표현 가능한 값"). ).

@lifthrasiir , 조만간 C hex floats를 Rust로 올바르게 번역하여 https://github.com/jameysharp/corrode/issues/73 을 수정하고 싶으 므로 귀하의 의견을 더 잘 이해하고 싶습니다. 아직 여기에 관련된 내용을 이해하기 위해 부동 소수점 문제에 대해 충분히 읽지 않았습니다.

모듈러 Rust 컴파일러 버그, 모든 16진 부동 소수점 리터럴이 Rust 컴파일러가 동일한 비트 패턴으로 변환할 십진 부동 소수점 리터럴로 변환될 수 있다는 말씀이신가요? 그렇다면 Corrode가 그 변환을 수행하도록 하면 기쁠 것입니다. 해당 변환을 올바르게 수행하기 위해 알고리즘에 대해 읽어야 할 참조를 추천할 수 있습니까? (절차적 매크로에 대한 포인터가 있으면 좋겠지만 이상적으로는 인용할 논문이나 책도 갖고 싶습니다.)

즉, 16진수 부동 소수점의 정확한 십진수 버전은 훨씬 더 많은 자릿수를 가질 수 있습니다(맞나요?). 따라서 아마도 16진수 부동 소수점 버전은 사용하기에 충분한 숫자 정밀도에 관심이 있는 사람들에게 더 읽기 쉽고 이해하기 쉬울 것입니다. . 16진수 부동 소수점이 이 숫자에 대해 인간이 선호하는 형식이라면 Rust가 이를 지원해야 한다고 주장합니다. 따라서 IMO, 16진수 수레를 사용한 사람들의 더 많은 피드백이 도움이 될 것입니다.

모듈러 Rust 컴파일러 버그, 모든 16진 부동 소수점 리터럴이 Rust 컴파일러가 동일한 비트 패턴으로 변환할 십진 부동 소수점 리터럴로 변환될 수 있다는 말씀이신가요?

제 믿음은 그렇습니다.

해당 변환을 올바르게 수행하기 위해 알고리즘에 대해 읽어야 할 참조를 추천할 수 있습니까?

현재 Rust 컴파일러와 표준 라이브러리는 필요한 모든 알고리즘을 구현하기 때문에 구현할 필요가 없습니다(더 어려운 :-). 참조가 정말로 필요한 경우 다음을 참조하십시오.

• 바이너리에서 십진수로의 변환("flt2dec", #24612)은 [Dragon4]와 [Grisu3]의 하이브리드입니다.

  • [Dragon4]: Burger, RG 및 Dybvig, RK 1996. 부동 소수점 숫자를 빠르고 정확하게 인쇄합니다. 시그플랜 아닙니다. 31, 5(1996년 5월), 108-116.
  • [Grisu3]: 플로리안 로이치. 2010. 부동 소수점 숫자를 정수로 빠르고 정확하게 인쇄합니다. 시그플랜 아닙니다. 45, 6(2010년 6월), 233-243.

• 10진수에서 2진수로의 변환("dec2flt", #27307)은 [Clinger]가 설명한 몇 가지 알고리즘입니다. (내가 직접 구현하지 않았기 때문에 그들에 대한 지식이 제한적입니다.)

  • [클링거]: 윌리엄 D. 클링거. 1990. 부동 소수점 숫자를 정확하게 읽는 방법. 시그플랜 아닙니다. 25, 6(1990년 6월), 92-101.

기록을 위해 내 구현은 lifthrasiir/hexf입니다 (지금 게시됨, 아직 crates.io에는 없음). 부담없이 픽업하세요.

즉, 16진수 float의 정확한 십진수 버전은 훨씬 더 많은 자릿수를 취할 수 있습니다(맞나요?), [...] 16진수 float가 이 숫자에 대해 인간이 선호하는 형식이라면 Rust가 이를 지원해야 한다고 주장합니다. . [...]

정확히는 아닙니다(예: 0x1.999999999999bp-4 = 0.10000000000000002 . Rust가 16진수 부동 소수점을 지원해야 하는지 여부에 대한 의견이 없습니다.

이제 공식적으로 hexf를 crates.io에 게시 @jameysharp , 작업에 hexf-parse를 사용할 수 있다고 생각합니까? (밑줄없는 구문 C99 거의 동일한 같아야 hexadecimal-floating-constant 비 종단 산세 선택적 floating-suffix ).

편집: 아아, 한 케이스를 놓쳤습니다. 0x1p1 는 유효해야 하지만 hexf는 그것을 인식하지 못합니다. 아마도 그것은 쉽게 설명할 수 있습니다.

저에게도 비슷한 사용 사례가 있습니다. float 리터럴의 정밀도 손실 없이 컴파일러에서 녹 코드를 생성할 수 있기를 바랍니다.