从 C++ 中的函数返回用户定义对象列表时出错

Question

背景

出于教学目的，我编写了一个模拟字符串操作的类Str。 Str 类本质上是一个字符数组。

我创建了一个函数makeList，它接收一个Str 对象，使用push_back 创建一个Str 对象列表并返回该列表。

我正在使用allocators，但我已加强内存管理，只为创建的字符分配足够的内存。

问题

• 编译、链接和运行时不会产生错误。

• 使用cout << ret.back() 在MakeList 中查看列表对象内容正常。

• 问题在于，在main 正文中查看时，列表中的对象的垃圾输入覆盖了前约 10 个字符。

• 我还验证了我创建的 Str 正在通过默认析构函数被销毁。

我已经包含了复制问题的最少代码量。

非类代码：

list<Str> makeList(const Str s)
    {
        list<Str> ret;
        ret.push_back(s);
        cout << ret.back() << endl;

        return ret;
    }

    int main() {

        Str greeting = "Hello world";
        list<Str> result;
        result = makeList(greeting);
        result.pop_front();
        cout << "The result is " << result.front() << endl;

        return 0;
    }

类代码：

class Str {
    friend std::istream& operator>>(istream&, Str&);
public:
    typedef char* iterator;
    typedef const char* const_iterator;
    typedef size_t size_type;
    typedef char value_type;

    Str() { create(); } // default constructor

    Str(const_iterator cp, const_iterator cp2) {
        create(cp, cp2);
    }
    Str(const_iterator cp) {
        create(cp, cp + strlen(cp));
    }
    ~Str() {uncreate(); }

    char& operator[](size_type i) { return data[i]; }
    const char& operator[](size_type i) const { return data[i]; }

    Str& operator=(const Str& s) {
        uncreate();
        create(s.begin(), s.end());
    };

    Str substr(size_type i, size_type d) const {
        const_iterator cStart, cTerm;
        cStart = this->begin() + i;
        cTerm  = this->begin() + i + d;
        Str sub(cStart, cTerm);
        cout << "Pointer diff = " << sub.limit - sub.data << endl;
        return sub;
    }

    size_type size() const { return avail - data; }

    iterator begin() { return data; }
    const_iterator begin() const { return data; }

    iterator end() { return avail; }
    const_iterator end() const { return avail; }


private:
    iterator data;
    iterator avail;
    iterator limit;

    allocator<char> alloc;

    void create();
    void create(const_iterator, const_iterator);

    void uncreate();

};

void Str::create()
{
    data = avail = limit = 0;
}

void Str::create(const_iterator i, const_iterator j)
{
    data = alloc.allocate(j - i);
    limit = avail = uninitialized_copy(i, j, data);
}

void Str::uncreate()
{
    if (data) {
        iterator it = avail;
        while (it != data)
            alloc.destroy(--it);

        alloc.deallocate(data, limit - data);
    }

    data = limit = avail = 0;
    cout << "UNCREATED" << endl;
}

ostream& operator<<(ostream& os, const Str& s) {
    for (Str::size_type i = 0; i != s.size(); i++)
        os << s[i];
    return os;

}

Answer 1

除其他外，您缺少Str 的复制构造函数，但您确实在此处调用它：

 result2 = makeList(greeting); // Pass by value -> copy

这里：

 ret.push_back(s);  // Pass by value -> copy

没有它，将使用默认的复制构造函数，但它并没有做你想做的事。 可能的实现：

Str(const Str& other) 
{
    create(other.begin(), other.end());
}

永远尊重the rule of three