c++ - 动态内存分配和输入(流)运算符 C++

Question

我一直在研究一些学校问题，我在 operator>> 中处理内存分配，但是看到了不同的解决方案，所以我在这里有点困惑。operator>> 在编译时工作良好并提供良好的输出，但我不明白为什么，这是代码..(为什么我感到困惑在代码下方)

class Some
    {
    protected:
        char *name;
        int price;
        int anything;
    public:
        Some(const char *name="", const int anything=0, const int price=0)
        {
            this->name=new char[strlen(name)+1];
            strcpy(this->name, name);
            this->anything = anything;
            this->price=price;
        }
        ~Some() { delete [] name; }
        friend istream &operator>>(istream &in, Some &i)
        {
            return in>>i.name>>i.anything>>i.price;
        }
        void print(){
           cout << name << " " << anything << " " << price; 
        }
    };

主要

int main() {
    // your code goes here
    Some n;
    cin >> n;
    n.print();
    return 0;
}

所以我们用 Some n 创建了一个对象，但是构造函数只分配了 1 个字符的内存，如果我错了请纠正我(并设置一些默认值)。之后，我们使用 >> 运算符 输入一个 Some 类型的对象，但是只有一个字符分配给 name，我们可以输入任意多的内容.. 这是带有一些输入的编译版本 Compiled Code .我的想法哪里错了？或者不应该这样做。谢谢!!

P.s 我们不允许使用负责分配的库..

Answer 1

缓冲区溢出(这就是您正在做的，当您为单个 char 分配空间时，但通过调用 std::cin >> i.name 编写的内容远远超出它)在 C++ 中被视为未定义行为。这意味着编译器几乎可以做任何事情来响应它，甚至是看起来无关或疯狂的事情。

在实践中，这意味着有时，您的代码会完美地工作，没有任何问题....直到您转移到不同的编译器或在不同的日子进行测试或有不同类型的那天早上喝咖啡，此时代码中断了。 应该 发生的是你的代码应该抛出一个由此代码导致的段错误(或者，在 Windows 中，一个访问冲突)，但我的猜测(我想强调这是一个 < em>guess) 是负责分配 name 的操作系统级调用正在从内存页的早期获取内存，而您对未分配内存的写入正在内存页的其余部分找到有效空间。

显然，您不应该依赖这种行为。根据您的帖子，您不能使用像 std::vector<char> 这样的自动内存分配方案。或(显然是正确的选择)std::string .这可能是因为你的教授是 一个教你糟糕设计原则的白痴，因为他们是一个老傻瓜，已经离开这个行业多年并且没有了解现代 C++ 的使用方式和意图be teached 试图教你如何进行手动内存分配。 出于某些愚蠢的原因。 因此，您需要编写代码来处理此问题。

评论中链接的文档 Paul Mckenzie(也为 here)是一个良好的开端。第3页是相关代码。

或者，如果您的教授 突然清醒过来 改变了主意，则更正后的代码将如下所示:

class Some
{
protected:
    std::string name;
    int price;
    int anything;
public:
    //Passing by value means an optimization opportunity. We can move-construct name
    //instead of copying it.
    Some(std::string name = "", const int anything=0, const int price=0) :
    //We'll use a member-initialization list to initialize everything. Saves space
    //and saves a few CPU cycles as well!
    name(std::move(name)), anything(anything), price(price)
    {}

    //We don't need to declare the destructor anymore, because name's memory is automatically
    //managed!
    //~Some() {}

    //this code doesn't need to change.
    friend std::istream &operator>>(std::istream &in, Some &i)
    {
        return in >> i.name >> i.anything >> i.price;
    }

    //This doesn't technically *need* to change, but we can do better.
    //void print(){
       //cout << name << " " << anything << " " << price; 
    //}

    friend std::ostream & operator<<(std::ostream & out, Some const& i) {
        out << i.name << ' ' << i.anything << ' ' << i.price;
    }
};