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

我正在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();
    }
}

标签：generic-programming,c,templates
来源： https://codeday.me/bug/20190727/1558269.html