修复返回问题。警告：控制到达 C++ 中非 void 函数的末尾

Question

我知道这可能看起来像重复，但其他问题没有我正在寻找的答案。

template <class T>
T Queue<T>::pop_back()
{
    try
    {
        if (empty())
            throw "The Queue is empty!";
        size--;
        back= (back- 1 + max_size) % (max_size);
        return queue[back];
    }
    catch (char* strException)
    {
        cerr << "Error: " << strException << endl;
    }
}

我有上述pop_back函数的实现。每次删除元素时，它都必须返回该元素。然而，每次它试图从一个空队列中弹出一些东西时，它都会说“在抛出一个'char const *'的实例后调用终止 中止（核心转储）”

有哪些提示和建议可以解决此问题？我在那里有一个 try catch 块，但它没有多大帮助。函数必须从调用它的地方返回一些东西，或者停止并返回到 main。

我正在寻找一种设计模式，以便在遇到此类问题时可以使用它。 基本上当我需要退货但没有什么可以退货的时候该怎么办？

谢谢。

Answer 1

您不应该在函数本身中捕获异常 - 应该使用异常将问题传达给调用者 - 他们应该知道在这种情况下什么是明智的处理方式。

函数必须返回一些东西，或者停止并返回到 main，从它被调用的地方。

不完全是 - 如上所述，它可以throw 并从最接近调用它的位置的catch() 块继续。

请记住，不想进行异常处理的调用者可以在决定尝试弹出之前轻松测试empty() 或size()...因此将throw 异常返回给他们是非常合理的。

此外，不要抛出字符串文字...改用std::runtime_error("...")。原因here.

我正在寻找一种设计模式，以便在遇到此类问题时可以使用它。基本上当我需要退货但没有什么可以退货的时候该怎么办？

如前所述，抛出异常是处理这个问题的一种正常方式，尤其是对于像从空堆栈中弹出这样的事情。更一般地说，其他替代方案包括：

• 返回一个标记值

  1234563最好取决于客户端代码放置容器的用途
1234563您可能想用作标记的任何字符值也可能出现在文件中；如果你还是想试试这个，通常最好让调用者提供一个标记值作为模板参数或构造函数参数。

返回std::optional<T>（仍有待标准化，但可能由某些编译器提供）或boost::optional<T>

返回一个std::pair<bool, T>，其中.second只是.first是true时弹出的值，表示成功

返回一个 [smart] 指针，但这很笨拙，因为您可能必须为弹出值的副本动态分配内存；智能指针有助于确保调用者稍后deletes 对象

只需记录调用者必须首先检查empty() 或size()，并且asserting 表明容器在pop_back 中不是空的 - 如果此“前提条件”不存在，这将停止程序来电者遇到了

将接口更改为bool pop_back(T& t)，其中返回值表示成功，调用者指定的T参数将被设置。

这些都不值得被称为“模式”——模式往往指的是更复杂的高级设计方面。

Answer 2

替换当前代码

template <class T>
T Queue<T>::pop_back()
{
    try
    {
        if (empty())
            throw "The Queue is empty!";
        size--;
        back= (back- 1 + max_size_) % (max_size);
        return queue[back];
    }
    catch (char* strException)
    {
        cerr << "Error: " << strException << endl;
    }
}

类似这样的：

template< class Type >
auto Queue<Type>::pop_back()
    -> Type
{
        if( empty() ) { throw std::runtime_error( "The Queue is empty!" ); }
        --size;
        back = (back - 1 + max_size_) % (max_size_); // Note fix of name
        return queue[back];
}

您想将异常抛出给调用者。

在函数中使用异常，只跳转到输出一些文本的代码（并且无法返回函数结果），没有意义。

---

顺便说一句，为成员标准化一个单一的命名约定是个好主意。 max_size_ 和 max_size 的无意混合，这很可能是一个错误，无论如何是一个严重的缺陷，不会发生在单一的命名约定中。事实上，back 作为数据成员与max_size_ 不一致。

---

还要注意使用std::runtime_error 而不是字符串文字作为异常对象。这支持捕获std::exception。您可能会发现一些其他标准异常类更合适，更能说明特定问题，但我通常只使用std::runtime_error。

使用标准异常类是个好主意的另一个原因是很容易在catch中指定错误的类型。

例如，您的代码中的catch 不会起作用：

#include <iostream>
using namespace std;

void foo()
{
    try
    {
        throw "Blah blah!";
    }
    catch( char* s )
    {
        cout << "Caught exception internally in foo(): " << s << endl;
        return;
    }
}

auto main() -> int
{
    try
    {
        foo();
    }
    catch( ... )
    {
        cout << "Failed to catch exception in foo()." << endl;
    }
}

输出：

未能在 foo() 中捕获异常。

Answer 3

问题恰恰是你有 try-catch 块。

如果抛出异常，执行流程将转到 catch 逻辑。它将打印您的语句，并且函数将结束而不返回值。

重新抛出异常，添加 return 语句，无论是在 catch 块的末尾还是在函数的末尾（重新抛出似乎是最好的选择，因为您根本不处理异常）。