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();
}
}
(编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |
