Question

有没有人对此行为有解释？

我的代码：

#include <vector>
#include <iostream>

using namespace std;

class Packet {

private:
    vector<unsigned char> data;

public:
    vector<unsigned char> getRawBlock() const {
        return data;
    }

    Packet() {
        data.push_back('a');
        data.push_back('b');
    }
};

int main() {
    Packet packet;
    cout << "vector byte0: " << packet.getRawBlock().at(0) << ", byte1: " << packet.getRawBlock().at(1) << endl;

    unsigned char *badBytes = packet.getRawBlock().data();
    cout << "bad byte0: " << badBytes[0] << ", byte1: " << badBytes[1] << endl;

    vector<unsigned char> copy = packet.getRawBlock();
    unsigned char *goodBytes = copy.data();
    cout << "good byte0: " << goodBytes[0] << ", byte1: " << goodBytes[1] << endl;
}

我的输出：

vector byte0: a, byte1: b
bad byte0: @, byte1: 0
good byte0: a, byte1: b

问题：为什么我的“坏字节”已损坏？我会（天真地）怀疑“badBytes”和“goodBytes”都准确地返回我放在矢量中的内容。

Answer 1

unsigned char *badBytes = packet.getRawBlock().data();

一旦临时返回值badBytes被销毁（此处位于语句末尾），

getRawBlock()将失效。

相反，您可以返回const - 参考：

vector<unsigned char> const& getRawBlock() const {
    return data;
}

Answer 2

为什么我的“坏字节”已损坏？

因为临时在行尾被破坏，指针悬空。访问它会产生不确定的行为。

我会（天真地）怀疑“badBytes”和“goodBytes”都准确地返回我放在矢量中的内容。

他们都返回了一个指向你放在向量中的指针。该指针仅在向量被修改或销毁之前有效。

根据您的类的使用方式，您可能希望返回引用（可能是const），而不是向量的副本。只要Packet对象存在，这将保持有效。

Answer 3

getRawBlock（）返回一个r值，该值在执行该行后被销毁：

unsigned char *badBytes = packet.getRawBlock().data();

所以badBytes指向未分配的数据，当您在下一行中取消引用它时。未定义的行为。

STL Vector：在临时调用data（）时的未定义行为？

3 个答案: