c++ - 将向量元素分配给调用 emplace_back 的函数的结果？

Question

以下类的测试方法没有我期望的效果。我怀疑这与 emplace_back 的调用以某种方式使通过下标获得的引用无效这一事实有关。

无论哪种方式，我都希望测试中的第二次打印会导致

v[0] = 1

但是两者都导致

v[0] = 5

暗示任务没有发生。

class FooBar {
    vector<size_t> v;
public:
    size_t add(size_t x) {
        cout << "add(" << x << ")" << endl;
        size_t K(v.size());
        v.emplace_back(x);
        return K;
    }

    void test(size_t idx) {
        cout << "v[" << idx << "] = " << v[idx] << endl;
        v[idx] = add(0);
        cout << "v[" << idx << "] = " << v[idx]<< endl;
    }
};

int main(int argc, char* argv[])
{       
    FooBar f;
    f.add(5);
    f.test(0);
}

我知道我可以通过创建一个临时文件来存储 add 的结果然后执行分配来解决这个问题，但我对为什么我不能只使用直接分配以及为什么我在尝试时没有遇到任何错误感兴趣执行此操作。

使用 MSVC (Visual Studio 2015) 编译和测试。

Answer 1

线

    v[idx] = add(0);

是未定义行为的原因。您正在修改 in 的内容，v同时add假设这v[idx]将是有效的。

对于可预测的行为，您可以使用：

void test(size_t idx) {
    cout << "v[" << idx << "] = " << v[idx] << endl;
    size_t val = add(0);
    v[idx] = val;
    cout << "v[" << idx << "] = " << v[idx]<< endl;
}