问题描述

此处的用法与Using read() directly into a C++ std:vector相同，但有重新分配的帐户。

输入文件的大小未知，因此当文件大小超过缓冲区大小时，会通过加倍大小来重新分配缓冲区。以下是我的代码：

#include <vector>
#include <fstream>
#include <iostream>

int main()
{
    const size_t initSize = 1;
    std::vector<char> buf(initSize); // sizes buf to initSize, so &buf[0] below is valid
    std::ifstream ifile("D:\Pictures\input.jpg", std::ios_base::in|std::ios_base::binary);
    if (ifile)
    {
        size_t bufLen = 0;
        for (buf.reserve(1024); !ifile.eof(); buf.reserve(buf.capacity() << 1))
        {
            std::cout << buf.capacity() << std::endl;
            ifile.read(&buf[0] + bufLen, buf.capacity() - bufLen);
            bufLen += ifile.gcount();
        }
        std::ofstream ofile("rebuild.jpg", std::ios_base::out|std::ios_base::binary);
        if (ofile)
        {
            ofile.write(&buf[0], bufLen);
        }
    }
}

程序按预期打印矢量容量，并写入与输入大小完全相同的输出文件，但在偏移前只有与输入相同的字节initSize，在偏移后全部为零. 在read()中使用&buf[bufLen]肯定是一种未定义的行为，但是&buf[0] + bufLen获得了正确的写入位置，因为保证了连续分配，不是吗？(提供initSize != 0。请注意，std::vector<char> buf(initSize);大小为buf到initSize。是的，如果initSize == 0，我的环境中出现了传言致命错误。)我错过什么了吗？这也是UB吗？该标准是否说明了std：：Vector的这种用法？ 是的，我知道我们可以先计算文件大小并分配完全相同的缓冲区大小，但是在我的项目中，可以预期输入文件几乎总是小于某个SIZE，所以我可以将initSize设置为SIZE，并且不会产生任何开销(比如计算文件大小)，并且只将重新分配用于异常处理和重新分配。是的，我知道我可以用resize()替换reserve()，用size()替换capacity()，然后只需很少的开销(每次调整大小时将缓冲区清零)，但我仍然希望消除任何冗余操作，这只是一种偏执.

更新1：

实际上我们可以从&buf[0] + bufLen定位的标准中逻辑推导出，考虑一下：

std::vector<char> buf(128);
buf.reserve(512);
char* bufPtr0 = &buf[0], *bufPtrOutofRange = &buf[0] + 200;
buf.resize(256); std::cout << "standard guarantees no reallocation" << std::endl;
char* bufPtr1 = &buf[0], *bufInRange = &buf[200]; 
if (bufPtr0 == bufPtr1)
    std::cout << "so bufPtr0 == bufPtr1" << std::endl;
std::cout << "and 200 < buf.size(), standard guarantees bufInRange == bufPtr1 + 200" << std::endl;
if (bufInRange == bufPtrOutofRange)
    std::cout << "finally we have: bufInRange == bufPtrOutofRange" << std::endl;

输出：

standard guarantees no reallocation
so bufPtr0 == bufPtr1
and 200 < buf.size(), standard guarantees bufInRange == bufPtr1 + 200
finally we have: bufInRange == bufPtrOutofRange

这里的200可以用每buf.size() <= i < buf.capacity()替换一次，类似的推论也成立。

更新2：

是的，我确实错过了一些东西.但是问题不在于连续性(参见更新1)，甚至不在于无法写入内存(参见我的答案)。今天我花了一些时间研究这个问题，程序获得了正确的地址，将正确的数据写入保留内存，但是在下一个reserve()中，buf被重新分配，并且只将范围[0, buf.size())中的元素复制到新内存中。这就是整个谜题的答案……

最后注意：如果缓冲区填满某些数据后不需要重新分配，您绝对可以使用reserve()/capatity()而不是resize()/size()，但如果需要，可以使用后者。另外，在这里提供的所有实现(VC++、g++、ICC)下，示例都会按预期运行：

const size_t initSize = 1;
std::vector<char> buf(initSize);
buf.reserve(1024*100); // assume the reserved space is enough for file reading
std::ifstream ifile("D:\Pictures\input.jpg", std::ios_base::in|std::ios_base::binary);
if (ifile)
{
    ifile.read(&buf[0], buf.capacity());  // ok. the whole file is read into buf
    std::ofstream ofile("rebuld.jpg", std::ios_base::out|std::ios_base::binary);
    if (ofile)
    {
        ofile.write(&buf[0], ifile.gcount()); // rebuld.jpg just identical to input.jpg
    }
}
buf.reserve(1024*200); // horror! probably always lose all data in buf after offset initSize

这里是另一个示例，引用自‘TC++PL，4E’pp 1041，请注意，函数中的第一行使用reserve()而不是resize()：

void fill(istream& in, string& s, int max)
// use s as target for low-level input (simplified)
{
    s.reserve(max); // make sure there is enough allocated space
    in.read(&s[0],max);
    const int n = in.gcount(); // number of characters read
    s.resize(n);
    s.shrink_to_fit();  // discard excess capacity
}

更新3(时隔8年)：这几年发生了很多事情，我已经将近6年没有用C++作为我的工作语言了，现在我是一名博士生了！此外，尽管许多人认为存在瑞银，但他们给出的原因却截然不同(一些人已经被证明不是瑞银)，这表明这是一个复杂的案例。因此，在投票和写答案之前，强烈建议您阅读并参与评论。

另一件事是，通过博士培训，我现在可以相对轻松地研究C++标准，这在几年前我还不敢。我相信我在我自己的回答中已经说明，根据标准，上述两个代码块应该起作用。(string示例需要C++11。)由于我的回答仍然存在争议(但我相信不是伪造的)，我不接受它，而是对批评性评论和其他答案持开放态度。

推荐答案

reserve实际上不会将空间添加到向量，它只是确保在调整向量大小时不需要重新分配。您应该使用resize，而不是使用reserve，然后在知道实际读取的字节数后执行最后一次resize。