Question

我正在用C ++实现一个通用堆栈（带有数组），并且对于在这种情况下返回什么感到困惑：

template <class T>
T Stack<T>::pop(void) {
    if (size != 0) {
        return items[size - 1];
        size--;
    } else {
        cerr << "Cannot pop from empty stack." << endl;
        return ???;
    }
}

template <class T>
T Stack<T>::peek(void) {
    if (size != 0)
        return items[size - 1];
    else {
        cerr << "Cannot peek from empty stack." << endl;
        return ???;
    }
}

我有什么选择？我认为做一些像声明一个新的T变量并返回它会很麻烦。我在画一个空白。

Answer 1

这取决于您希望类的行为（协议）是什么。由于您在那里登录错误流，我假设您认为这是一个错误条件，在空堆栈上调用pop()。信令错误的标准C ++方式是抛出异常。像这样：

template <class T>
T Stack<T>::pop(void) {
    if (size != 0) {
        size--;
        return items[size];
    } else {
        throw std::invalid_argument("Cannot pop from empty stack.");
    }
}

另一种方法是说pop()有前置条件“堆栈不为空。”违反前提条件通常是未定义的行为，因此您可以简单地假设堆栈不为空。这是性能关键代码的有用方法：

template <class T>
T Stack<T>::pop(void) {
    asssert(size > 0);  // not necessary, but it's good practice to assert preconditions
    size--;
    return items[size];
}

以上两种方法假设在空堆栈上调用pop()是一个错误，即它不应该发生。如果您希望将其作为具有明确定义结果的有效操作，则还有其他一些选项。

返回表示成功的标志：

template <class T>
std::pair<T, bool> Stack<T>::pop(void) {
    if (size != 0) {
        size--;
        return std::make_pair(items[size], true);
    } else {
        return std::make_pair(T(), false);  // requires T to be default-constructible
    }
}

返回boost::optional：

template <class T>
boost::optional<T> Stack<T>::pop(void) {
    if (size != 0) {
        size--;
        return items[size];
    } else {
        return boost::none;
    }
}

返回默认构造的T：

template <class T>
T Stack<T>::pop(void) {
    if (size != 0) {
        size--;
        return items[size];
    } else {
        return T();
    }
}

Answer 2

通常在这种情况下会抛出异常。

或者您应该将函数pop的返回类型更改为void。

对于函数peak，它可以返回对堆栈中对象的引用。

对堆栈模板中的返回感到困惑

2 个答案: