如何修复"reference cannot be bound to dereferenced null pointer"警告



Xcode 6.3(测试版(给了我新的警告,有什么建议可以解决问题吗?我不认为将支票完全删除为无效是一个正确的答案,因为在某些情况下,"相机"已经为空,后来在其他地方导致崩溃。

定义良好的 C++ 代码中,引用不能绑定到取消引用的空指针;可以假定比较总是计算结果为 false

这是代码。我还能如何验证相机是否存在?

Camera& camera = sceneEngine->camera();
// FIXME: this triggers an undefined-bool-conversion warning in Xcode 6.3 BETA
if (&camera == NULL) return;

以及来自SceneEngine的相关方法:

// HEADER
class SceneEngine
{
public:
    Camera& camera();
protected:
    Camera camera_;
}
// CPP
Camera& SceneEngine::camera() {
    return camera_;
}

由于camera对象是通过引用返回的,因此它不能为 null,因为引用始终指向实际的现有对象。

因此,如果您获取引用变量的地址,它不能为 null,因为它无论如何都指向一个有效的对象。

只需使用返回值而不进行任何空检查。

如果函数返回对不存在对象的引用(例如 null(,那只是未定义的行为。

溶液:

如果camera()需要能够在某个时间点返回 null,则将其返回类型更改为 Camera* 以便能够返回 null 指针。

否则 — camera()从不返回 null,即它总是返回对有效对象的引用 — 不需要您的 null 检查,这就是错误消息所说的。

由于语言标准定义了您在拥有NULL引用时具有未定义的行为,因此编译器可以完全优化您的条件。因此,此代码无用。警告会通知您这一点。

若要使警告静音,需要以确保首先不会生成NULL引用的方式编写代码。 即,在编写这样的代码之前:

void bar(Camera& cam);
void foo(Camera* cam) {
    bar(*cam);
}

在将指针转换为引用之前,您需要检查指针:

void bar(Camera& cam);
void foo(Camera* cam) {
    if(cam) bar(*cam);    //this works as desired
}

看你的行

if (&camera == NULL) return;

我们可以问:这种说法什么时候会是正确的?答案是仅当camera绑定到取消引用的 NULL 指针时。

如果你有一个明显的错误代码案例,例如:

Camera* cameraPtr = NULL;
Camera& camera = *cameraPtr;

上述if语句的条件将计算为 true 。如果camera可以绑定到此类取消引用的指针,则 if 语句具有一定的价值。否则,它没有值,编译器会警告您。

你问:

我还能如何验证相机是否存在?

当函数返回引用时,您必须假定该函数返回有效的Camera对象并继续使用它。删除if行。

最新更新