Question

我坐在这里几个小时看着代码，我只是没有得到它。它是关于 std :: vector canData 的，它用作解码和编码来自CAN DBC解析器的数据的缓冲区。我的问题的完整示例是here.

基本上有一个值编码到一个数组，然后再从该数组解码。但是这个数组的大小总是为零，即使清除了数组，尽管它是零，但仍可以从中解码数据。

有人可以向我解释一下吗？我错过了什么吗？

unsigned int canIdentifier = 0x100;
std::vector<std::uint8_t> canData;
canData.reserve(4);
network.messages[canIdentifier].signals["multiplexor"].encode(canData, 0);
network.messages[canIdentifier].signals["signal_1"].encode(canData, 0x12);

std::cout << "size: " << canData.size() << std::endl;

canData.clear();
decodeMessage(canIdentifier, canData);
std::cout << "2size: " << canData.size() << std::endl;

更新了所需的功能：

uint64_t Signal::decode(std::vector<uint8_t> & data)
{
/* safety check */
if (bitSize == 0) {
    return 0;
}

/* copy bits */
uint64_t retVal = 0;
if (byteOrder == ByteOrder::BigEndian) {
    /* start with MSB */
    unsigned int srcBit = startBit;
    unsigned int dstBit = bitSize - 1;
    for (unsigned int i = 0; i < bitSize; ++i) {
        /* copy bit */
        if (data[srcBit / 8] & (1 << (srcBit % 8))) {
            retVal |= (1ULL << dstBit);
        }

        /* calculate next position */
        if ((srcBit % 8) == 0) {
            srcBit += 15;
        } else {
            --srcBit;
        }
        --dstBit;
    }
} else {
    /* start with LSB */
    unsigned int srcBit = startBit;
    unsigned int dstBit = 0;
    for (unsigned int i = 0; i < bitSize; ++i) {
        /* copy bit */
        if (data[srcBit / 8] & (1 << (srcBit % 8))) {
            retVal |= (1ULL << dstBit);
        }

        /* calculate next position */
        ++srcBit;
        ++dstBit;
    }
}

/* if signed, then fill all bits above MSB with 1 */
if (valueType == ValueType::Signed) {
    if (retVal & (1 << (bitSize - 1))) {
        for (unsigned int i = bitSize; i < 8 * sizeof(retVal); ++i) {
            retVal |= (1ULL << i);
        }
    }
}

return retVal;
}

void Signal::encode(std::vector<uint8_t> & data, uint64_t rawValue)
{
/* safety check */
if (bitSize == 0) {
    return;
}

/* copy bits */
if (byteOrder == ByteOrder::BigEndian) {
    /* start with MSB */
    unsigned int srcBit = startBit;
    unsigned int dstBit = bitSize - 1;
    for (unsigned int i = 0; i < bitSize; ++i) {
        /* copy bit */
        if (rawValue & (1ULL << dstBit)) {
            data[srcBit / 8] |= (1 << (srcBit % 8));
        } else {
            data[srcBit / 8] &= ~(1 << (srcBit % 8));
        }

        /* calculate next position */
        if ((srcBit % 8) == 0) {
            srcBit += 15;
        } else {
            --srcBit;
        }
        --dstBit;
    }
} else {
    /* start with LSB */
    unsigned int srcBit = startBit;
    unsigned int dstBit = 0;
    for (unsigned int i = 0; i < bitSize; ++i) {
        /* copy bit */
        if (rawValue & (1ULL << dstBit)) {
            data[srcBit / 8] |= (1 << (srcBit % 8));
        } else {
            data[srcBit / 8] &= ~(1 << (srcBit % 8));
        }

        /* calculate next position */
        ++srcBit;
        ++dstBit;
    }
}
}

Answer 1

逐步查看代码：

canData.reserve(4);

为可以包含（至少）4 uint8_t的向量分配内存，但包含0（canData.resize（4）将更改向量大小）。 canData.capacity（）则为4（或更多），但canData.size（）为0。

使用operator []

编码（...）方法访问向量。它不检查索引是否在范围内（因此小于canData.size（）），因此没有异常（如果使用vector at（）而不是它将抛出）。此外，由于访问的索引位于已分配的内存中，因此没有任何不良（特别是内存泄漏）。

canData.clear()

销毁所有在范围内的向量元素，因此在index 0和canData.size（）之间。因此，它不会触及canData.size（）上面的元素，在这种情况下为0。 clear（）也不会缩减为vector分配的内存（或者不保证重新分配以缩小内存） - shrink_to_fit（）会这样做。

最后，decodeMessage对分配并填充了未被破坏的正确数据的内存进行操作。同样，vector operator []的使用不会导致异常/内存泄漏。

正如评论中所述，很多未定义的行为。

从向量

1 个答案: