任意长度字节组的弗莱彻校验和

Question

我正在尝试实现一个函数，为可变长度的内存区域计算8位Fletcher校验和，其想法是我可以传递一个2字节的短数组或2kb的数组，并使用相同的函数。我今天才开始研究它，所以我绝对不是校验和算法或指针算法的专家，而且我的代码几乎肯定充满了错误。

基本上，我的策略是传递一个指针，指向组中第一个字节的地址，以及要扫描的内存区域的大小，只要大小总是sizeof（传递的对象），它就会有效。我可以在函数中计算sizeof以避免潜在的错误，但我认为我必须将接受的类型限制为特定类型。

根据我的理解，*（ptr+I）应该返回位于ptr地址后第I个字节中的值。我以前没有做过这样的事，所以我可能误解了我读到的内容。

uint8_t fletcher_8(void *data, uint size){
        data = (uint8_t *)data; // Recast pointer as uint8_t*
        uint8_t sum1 = 0;
        uint8_t sum2 = 0; // Initialise variables for algorithm
        for (int i =0; i < size; i++){
            sum1 += *(data + i);     // get the value of the ith byte after the data pointer's address
            sum2 += sum1;
        }
        sum1 %= 16; // modulo the first sum
        sum1 << 4;  // shift lower four bits to the upper four bits
        sum2 %= 16; // modulo the second sum
        return sum1 + sum2; // add both sums (highest four bits are sum1, lower four bits are sum2
    }

如果我已经完全疯了，有什么更简单的方法来实现我想要做的事情，我很乐意听到！

编辑：

我特别询问C++实现，但上面的代码也可以是psudocode。我最想知道的是我的方法是否正确。

Answer 1

您的第一个版本比第二个版本更好。

第二个版本中的一些错误：

• data的类型不应为void *，否则*(data + i)是编译时错误。data = (uint8_t *)data;什么也不做。

• sum1 << 4;错过了一个=来做任何事情：sum1 <<= 4;

• CCD_ 8和CCD_。我更喜欢size_t，因为它是sizeof返回的类型。

• https://en.wikipedia.org/wiki/Fletcher%27s_checksum说较高的比特应该是sum2，而您的比特是来自sum1的比特。

我会像那样写

uint8_t fletcher_8(uint8_t *data, size_t size){
    uint8_t sum1 = 0;
    uint8_t sum2 = 0;
    for (size_t i = 0; i < size; i++){
        sum1 += data[i];
        sum2 += sum1;
    }
    return (sum1 & 0xF) | (sum2 << 4);
}

或

uint8_t fletcher_8(uint8_t *data, size_t size){
    uint8_t sum1 = 0;
    uint8_t sum2 = 0;
    while (size--){
        sum1 += *data++;
        sum2 += sum1;
    }
    return (sum1 & 0xF) | (sum2 << 4);
}