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

.NET에서 부동 소수점 결정성 보장

부동 소수점 결정성의 중요성에도 불구하고 .NET에는 이를 시행할 명시적인 옵션이 부족합니다. 그러나 최근 토론에서는 명시적 캐스트를 통해 부동 소수점 값을 기본 정밀도로 다시 강제하는 잠재적인 해결책을 제안했습니다.

결정 메커니즘으로서의 명시적 캐스팅

에 따르면 CLR 엔지니어 David Notario, 명시적 캐스팅은 conv.r4와 같은 축소 명령의 삽입을 트리거하여 값이 해당 값으로 효과적으로 잘리도록 해야 합니다. 기본 크기. 이는 모든 표현식과 하위 표현식을 부동 소수점으로 캐스팅하면 결정적인 결과가 보장된다는 것을 의미합니다.

The Runtime의 "힌트"

그러나 Eric Lippert의 진술은 캐스팅 과정. 그는 명시적 캐스팅이 발생할 때 C# 컴파일러가 런타임에 "힌트"를 제공한다고 주장합니다. 그는 이 힌트가 런타임에 모든 고정밀 모드 계산을 종료하라고 지시한다고 제안합니다.

컴파일러 및 CLR 사양

검사 결과 C# 사양은 명시적으로 명시적 캐스팅으로 인해 conv.r4가 삽입된다는 점을 언급하세요. 그러나 컴파일러의 단위 테스트는 이 동작을 확인합니다. 반면에 CLR 사양에는 conv.r4가 값을 원래 크기로 자르는 것이 명시되어 있습니다.

잘림 보장

명시적 캐스팅은 잘림을 보장하지만 시스템 전체에서 재현 가능한 결과를 보장하지 않습니다. FPU/SSE 설정과 같은 다른 요소는 부동 소수점 연산의 동작에 영향을 미칠 수 있습니다. CLR 사양의 섹션 12.1.3에서는 비정규 및 NaN의 의미에 대해 설명합니다.

대체 접근 방식

명시적 캐스팅 외에도 배열에 값 할당(double[] 또는 float[]) 또는 정적 또는 인스턴스 필드에 대해서도 부동 소수점 값을 자릅니다. 그러나 실제로 재현 가능한 산술을 위해서는 정수가 권장됩니다.

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