Question

我有一个使用std容器vector，pair和stack的程序。我有一个std::pair类型的向量数组，其元素被推送到std::stack。我有一个函数打印三个堆栈的内容，其中两个是空的。第一个堆栈打印正常，但最初传递为空的其他两个堆栈导致Visual Studio抛出错误：

抛出异常：读取访问冲突。 _Parent_proxy是0xCCCCCCCC。

错误发生在xutility的第165行。

当其他两个堆栈中的任何一个为空或非空时，会发生这种情况。我不知道是什么导致了这个问题，因为第一个堆栈工作正常，但随后的两个导致程序崩溃。

在文件main.cpp中：

void stackPrint(stack<pair<int, char>> _stack) {
    stack<pair<int, char>> temp_stack;
    for (auto i = _stack; !i.empty(); i.pop()) 
        temp_stack.push(i.top());

    while(!temp_stack.empty()) {
        cout << temp_stack.top().first << ", ";
        temp_stack.pop();
    }
}

void print(stack<pair<int, char>>* _stack) {
    cout << "Stack A: ";
    stackPrint(_stack[0]); // function call executes successfully and stackPrint functions properly
    cout << "B: ";
    stackPrint(_stack[1]); // xutility error happens here at function call, stackPrint never invoked
    cout << "C: ";
    stackPrint(_stack[2]); // same here if B is commented out 
}


int main() {
    stack<pair<int, char>> stackA, stackB, stackC;
    int num = 5;

    vector<pair<int, char>> stack_elements(num);

    for (int i = num - 1; i >= 0; i--) {
        stack_elements[i].first = i;
        stack_elements[i].second ='A';
        stackA.push(stack_elements[i]);
    }

    //stackB.push(stack_elements[1]);
    //stackC.push(stack_elements[1]);

    stack<pair<int, char>>* stack_array[] = {&stackA, &stackB, &stackC};

    print(*stack_array);

    return 0;
}

Answer 1

你似乎认为这个功能

void print(stack<pair<int, char>>* _stack) {

获取指向堆栈的指针数组，但事实并非如此。只需读取参数类型：它是指向堆栈的单个指针。这将与传递堆栈数组（不是指向堆栈的指针）兼容，因为数组会衰减为指针。

现在看看通话网站：

stack<pair<int, char>>* stack_array[] = {&stackA, &stackB, &stackC};

print(*stack_array);

你有一个指针数组（正如我所说，这个函数不能接受），但你在调用print时取消引用。这与

相同

print(stack_array[0]);

所以，你要传递一个指向stackA的指针，但是print假设它是堆栈数组中的第一个元素。（stackB和C在stackA之后声明的事实并不意味着它们形成一个数组，它们仍然是不相关的本地对象）。

您可以更改通话网站以符合print的预期：

stack<pair<int, char>> stacks[3];
stack<pair<int, char>> &stackA = stacks[0];
stack<pair<int, char>> &stackB = stacks[1];
stack<pair<int, char>> &stackC = stacks[2];
// ...
print(stacks)

或更改两者以匹配您现有的stack_array类型（请注意**，这是指针数组衰减的内容）

void print(stack<pair<int, char>>** _stack);
// ...
print(stack_array);

或者停止使用神奇的硬编码长度来处理这些衰减数组，然后使用

std::array<std::stack<int,char>, 3> threestacks;

或

std::vector<std::stack<int,char>> somestacks;

Answer 2

stack_array定义是

stack<pair<int, char>>* stack_array[] = {&stackA, &stackB, &stackC};

所以*stack_array是stack_array的第一个元素&stackA。然后在函数print中，您使用&stackA作为stack<pair<int, char>>的数组。这是未定义的行为。

_stack[0]工作正常，因为它是stackA。 _stack[1]和_stack[2]不正确

指向堆栈容器的指针会导致程序在取消引用时崩溃

2 个答案: