Question

以下代码段在编译时会生成一些警告消息：

Cluster& Myclass::getCluster(const Point &p)
{
    foreach (Cluster c, *this)
        foreach (Point point, c)
            if (point == p)
                return c;
}

警告是：

参考本地变量＆＃39; c＆＃39;返回[默认启用]
控制到达非空函数的末尾[使用-Wreturn-type]

我知道如果条件失败，我不会返回值。但是，当我尝试return 0时，它给了我错误。

我该如何解决这些问题？

Answer 1

如果你的函数合法地找不到匹配的Cluster，那么你应该让它返回一个指针：

Cluster* Myclass::getCluster(const Point &p)
{
    foreach (Cluster c, *this)
        foreach (Point point, c)
            if (point == p)
                return &c;
    return 0; // or return nullptr; in C++11
}

但是这还不行，因为c是一个局部变量。所以你把它作为参考，像这样：

Cluster* Myclass::getCluster(const Point &p)
{
    foreach (Cluster& c, *this)
        foreach (Point point, c)
            if (point == p)
                return &c;
    return 0; // or "return nullptr;" in C++11
}

Answer 2

第一个意味着c是一个局部变量。因此，当函数返回时，它将超出范围并死亡。由于您通过引用返回，调用者将获得悬空引用。另一个错误是您在某些条件下无法返回任何内容。返回0没有帮助，因为返回类型是对Cluster 的引用。您需要一些机制来确保将Cluster引用返回到不会立即死亡的Cluster。请参阅示例this question。

Answer 3

变量c 是一个局部变量，因为它是在getCluster函数内声明和定义的。通过返回对它的引用，当函数将该引用“指向”返回到变量使用的位置时。

对于另一个警告，如果条件永远不为真，那么函数返回什么呢？

Answer 4

对本地变量'c'的引用返回[默认启用]

你不应该返回对局部变量的引用，因为一旦返回函数，变量就不再存在，因此你引用了一些不存在的东西。编译器警告你这个。

控制到达非空函数的末尾[-Wreturn-type]

为函数指定返回类型后，每个控制路径都应返回该值。如果条件的计算结果为false，则代码永远不会返回任何内容，因此编译器会抱怨。

控制到达非空函数的结束

4 个答案: