STL Vector:临时调用 data() 时的未定义行为

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();

一旦 getRawBlock() 的临时返回值被销毁，badBytes就会失效（此处位于语句末尾）。

相反，您可以返回一个const -reference：

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 指向未分配的数据，当您在下一行中取消引用它时。未定义的行为。