이 C 큰 정밀도 덧셈 함수가 캐리를 올바르게 전파하지 못하는 이유는 무엇입니까?

Carry를 통해 가치 전파를 만들 수 없습니다

최근 C에서 대규모 정밀 mpfl 클래스를 생성하려는 시도에서 개발자는 다음과 같은 문제를 만났습니다. 0xffffffff 및 0x04를 추가하면 예상한 결과 대신 0xffff0003이 발생하는 문제 0x0100000003. 작업을 담당하는 추가 함수는 아래에 설명되어 있습니다.

mpfl operator+(const mpfl &lhs, const mpfl &rhs)
{
    unsigned long i;
    mpfl ret(0);
    mpfl trhs(rhs);
    for (i = lhs.nbytes; i >= 0; i--)
    {
        if (
            (unsigned short)lhs.data[i].data + (unsigned short)trhs.data[i].data
            > (unsigned short)255
        ) {
            if (i > 0)
            {
                ret.data[i].carry = 1;
                ret.data[0].carry = 0;
            }
            else
            {
                ret.data[0].carry = 1;
            }
        }
        else
            ret.data[i].carry = 0;
        ret.data[i].data = lhs.data[i].data + trhs.data[i].data;
        if (i < lhs.nbytes)
        {
            if (ret.data[i].data == 255 && ret.data[i + 1].carry == 1)
                increment(&trhs, i + 1);
            ret.data[i].data += ret.data[i + 1].carry;
        }
        if (i == 0) break;
    }
    return ret;
}

이 함수의 목표는 두 개의 큰 정밀도 값을 추가하는 것이지만 캐리 전파를 올바르게 처리하지 못하여 부정확한 결과를 초래합니다. 이 문제를 해결하려면 다음 제안 사항을 고려하십시오.

• ALU 아키텍처 구현: 실제 하드웨어와 유사한 ALU(산술 논리 장치) 아키텍처를 사용하여 코드를 최적화합니다. 이 접근 방식은 계산을 단순화하고 효율성을 향상시킬 수 있습니다.
• 항상 캐리 적용: 추가 기능에서 첫 번째 반복을 제외하고 일관되게 캐리가 적용되도록 합니다. 올바른 결과를 얻으려면 후속 추가 시 캐리를 고려해야 합니다.
• 숫자 순서 확인: 숫자의 숫자가 올바른 순서로 저장되고 처리되는지 확인하세요. 일반적으로 최하위부터 최상위까지 더해야 합니다.

또한 어셈블리 없이 큰 정밀도의 곱셈과 나눗셈 연산을 수행하려면 순수 C/C 구현에 대한 다음 링크를 참조하세요. :

[Float를 사용하지 않고 C에서 로그 함수 만들기 유형](https://stackoverflow.com/questions/11762232/building-a-logarithm-function-in-c-without-using-float-type)

위 내용은 이 C 큰 정밀도 덧셈 함수가 캐리를 올바르게 전파하지 못하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!