명시적 캐스팅 및 변환 명령이 .NET에서 부동 소수점 결정성을 어떻게 보장할 수 있습니까?

.NET에서 부동 소수점 결정성 달성: 명시적 형변환 및 변환 명령 탐색

부동 소수점 정밀도 측면에서 .NET은 다음을 제공하지 않는다는 비판을 받았습니다. 결정론은 동일한 입력을 가진 코드가 기계마다 다른 결과를 생성할 수 있기 때문입니다. 이 문제를 완화하기 위해 개발자는 고정 소수점 연산을 사용했지만 이 솔루션은 번거롭습니다.

한 가지 흥미로운 제안은 모든 부동 소수점 값을 단정밀도 또는 배정밀도로 명시적으로 캐스팅하여 결정성을 달성하는 것입니다. , (float) 또는 (double)과 같은 캐스트를 사용합니다. 이 방법은 명시적 캐스트가 conv.r4 또는 conv.r8 명령을 강제로 삽입하여 정밀도를 제한할 수 있다는 MSDN 기사에서 지원됩니다.

그러나 추가 주장에서는 명시적 캐스트가 단순히 "힌트"를 제공할 수 있다고 주장합니다. "를 런타임에 추가하여 컴파일러와 CLR이 결정성을 보장하기 위해 협력해야 함을 나타냅니다. 이 문제를 명확히 하기 위해 다음 질문을 자세히 살펴보겠습니다.

• float에 대한 명시적 캐스트가 IL에 conv.r4 명령을 삽입합니까?
• conv.r4 명령은 기본으로 범위를 좁히는 것을 보장합니까? 사이즈?

전문가의 답변

1. IL:

C# 사양에서는 이를 명시적으로 요구하지 않지만 컴파일러는 float에 대한 명시적 캐스팅이 항상 conv.r4 opcode를 삽입하도록 보장합니다. 이 동작은 컴파일러 테스트 케이스의 단위 테스트를 통해 확인됩니다.

2. conv.r4 명령은 기본 크기로 자릅니다.

예, CLR 사양 파티션 I, 섹션 12.1.3에 명시된 대로, conv.r4 명령은 부동 소수점 값을 기본 크기로 자릅니다.

추가 고려 사항:

• 다음과 같은 기타 작업 배열 또는 정적/인스턴스 필드에 할당하면 고정밀도 모드에서 부동 소수점 값을 자를 수도 있습니다.
• 비정규 및 NaN 처리로 인해 일관된 자르기만으로는 시스템 전체의 재현성을 보장하기에 충분하지 않습니다.
• 재현성을 보장하려면 부동 소수점 대신 정수를 사용하는 것이 좋습니다. 산수.

위 내용은 명시적 캐스팅 및 변환 명령이 .NET에서 부동 소수점 결정성을 어떻게 보장할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!