13

为我的不当术语道歉。

如果条目不存在，我有一段代码返回 NULL 指针：

ObjectType * MyClass::FindObjectType( const char * objectTypeName )
{
    if ( objectTypeMap.find( objectTypeName ) == objectTypeMap.end() )
    {
        Msg( "\n[C++ ERROR] No object type: %s", objectTypeName );
        return NULL;
    }
    else
        return &objectTypeMap[ objectTypeName ];
}

我想做同样的事情，但这次返回一个对象而不仅仅是一个指针。以下代码没有给我任何编译器错误（这让我感到惊讶）：

ObjectType MyClass::FindObjectType( const char * objectTypeName )
{
    if ( objectTypeMap.find( objectTypeName ) == objectTypeMap.end() )
    {
        Msg( "\n[C++ ERROR] No object type: %s", objectTypeName );
    }
    else
        return objectTypeMap[ objectTypeName ];
}

使用指针，我可以检查是否找不到条目，​​如下所示：

if ( FindObjectType( objectType ) == NULL )
    //Do something

如何对返回的对象执行等效检查？

4

3 回答 3

12

对象没有语言级别的等价物。

一种选择是创建一个“哨兵”对象，该对象保证与任何“真实”对象比较不相等，并返回：

class ObjectType {
public:
    static const ObjectType null;

    bool operator==(const ObjectType &rhs) const { /* need an appropriate comparison test */ }

    ...
};

ObjectType ObjectType::null(/* something unique */);


...

ObjectType foo(const char *objectTypeName) {
    if (cond) {
        return objectTypeMap[objectTypeName];
    } else {
        return ObjectType::null;
    }
}


...

if (foo(objectType) == ObjectType::null) {
    std::cout << "Returned the null object\n";
}
于 2012-06-07T10:13:51.470 回答
4

以下代码没有给出错误，因为标准非常保守。

一些代码结构非常复杂，编译器无法知道是否可以到达函数的末尾。因此标准说编译器不必证明函数正确返回值......

然而，标准确实说如果函数正常结束（无异常）而没有返回值，则调用未定义的行为（即，任何事情都可能发生，很可能是崩溃）。因此，大多数编译器都会对这种情况发出警告，对于 gcc 和 Clang，您可以使用-Wreturn.

现在，nullity 或sentinel values的原则并不新鲜，空指针只是一种化身（在众多中）。

如果您的对象可以为空没有意义（它很少这样做，但可能是一种权宜之计），那么您有两种选择：

  • throw发出错误信号的异常
  • boost::optional<ObjectType>返回一个可能为 null的包装类（例如）

在这种情况下，由于预计Find可能找不到任何东西，我一般建议后者。

用法很简单：

boost::optional<ObjectType> MyClass::FindObjectType(char const* objectTypeName )
{
    if ( objectTypeMap.find( objectTypeName ) == objectTypeMap.end() ) {
        // do not print anything, it is up to the caller to decide what to do
        return boost::none;
    }

    return objectTypeMap[ objectTypeName ];
}

然后调用者写道：

int main(int argc, char* argv[]) {
    if (boost::optional<ObjectType> o = MyClass::FindObject(argv[1])) {
        o->foo();

        return 0;
    }

    Msg( "\n[C++ ERROR] No object type: %s", argv[1]);
    return 1;
}
于 2012-06-07T11:49:50.697 回答
2

C++17 更新

C++17std::optional作为标准库的一部分引入了语言中最接近空对象的东西，类似于其他编程语言中的“可能”。它的工作原理与上一个答案boost::optional中的描述非常相似。它旨在解决的用例之一是从函数返回一个可选值。

#include <iostream>
#include <optional> // Defines std::optional

std::optional<int> f(bool test) {
    if (test) {
        return 1;
    } else {
        return std::optional<int>();
    }
}

int main()
{
    auto ret = f(true);
    
    // std::optional can be used as a bool
    if (ret) {
        std::cout << "Value for first test: " << ret.value() << '\n';
    } else {
        std::cout << "Value for first test: " << 0 << '\n';
    }
    
    std::cout << "Value for second test: " << (f(true)).value_or(0) << '\n';
    std::cout << "Value for third test: " << (f(false)).value_or(0) << '\n';
    
    return 0;
}

输出：

Value for first test: 1
Value for second test: 1
Value for third test: 0
于 2020-08-26T06:27:32.250 回答