c – 对堆栈模板中的返回感到困惑
发布时间:2020-12-16 09:58:21 所属栏目:百科 来源:网络整理
导读:我正在C中实现一个通用堆栈(带有一个数组),并且对于在这种情况下返回的内容感到困惑: template class TT StackT::pop(void) { if (size != 0) { return items[size - 1]; size--; } else { cerr "Cannot pop from empty stack." endl; return ???; }}templa
我正在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 } } 返回 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(); } } (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |