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

概述我正在C中实现一个通用堆栈(带有一个数组),并且对于在这种情况下返回的内容感到困惑： template <class T>T Stack<T>::pop(void) { if (size != 0) { return items[size - 1]; size--; } else { cerr << "Cannot pop from 我正在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变量并返回它会很麻烦.我画了一个空白.

解决方法 这取决于您希望类的行为(协议)是什么.由于您在那里登录错误流,我假设您认为这是一个错误条件,在空堆栈上调用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();    }}

总结

以上是内存溢出为你收集整理的c – 对堆栈模板中的返回感到困惑全部内容，希望文章能够帮你解决c – 对堆栈模板中的返回感到困惑所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。