可选的错误处理

Question

我有一个如下所示的 create 方法，我想（如果返回为空指针）从中获取错误。但是我希望这个错误处理是可选的，而不是调用函数的要求。

代码：

class foo {
    foo() {...};
public:
    ~foo();
    static foo* createFoo(int aparam = 42, int bparam = 10, int& error = ?) {
        afoo* = new foo();
        if (!afoo) {
            error = 11;
            return 0; //NULL
        }
        ...
        return afoo;
    }

}

所以我可以决定使用：

foo* myfoo = createFoo(42);
if (!myfoo) { ... }

或者

int errorcode = 0;
foo* myfoo = createFoo(42, 10, errorcode);
...

此时（在我的真实代码中），我只是使用空指针（而不是 ref）并在给它错误之前在 createFoo 代码中确定它的有效性。

我的兴趣在于这种情况下的最佳实践。

Answer 1

我不知道我可以提供最佳实践，但这是我的观点。

检查 NULL（分配失败）是 C 和 C++ 中的标准做法，它是一种易于理解且易于识别的习语。添加一个可选的错误代码，同时提供灵活性也增加了可以说是不必要的复杂性。它让调用者决定他们是否将使用该参数。

他们为什么要使用该参数，除非他们认为在该位置可能失败？会怎样

如果您觉得错误代码很重要。我建议使用备用签名，即您始终检查返回代码，而不检查返回指针的值：

// Returns error code.
static int createFoo(int, int, Foo **);

这可能是一个不太方便的功能，但会将调用者（用户）推向正确的方向。

或者，您可以使用异常，或者确保抛出 std::bad_alloc，或者使用适当的错误代码抛出您自己创建的异常。这似乎是最干净的签名：

struct fooException { int error; }

// Throws fooException if cannot create foo.
static foo * createFoo(int, int);

我的理念是：尽量减少复杂性。在这种情况下，通过删除似乎无关的选项。 错误代码很重要并且应该始终使用，或者它无关紧要并且将始终被忽略。

Answer 2

当您通过引用传递某些内容时，您是在告诉该函数的用户这是一个必需参数。如果您想让错误代码成为可选，请传入一个指向 int 的指针并将其默认值设置为 null。

static foo* createFoo(int aparam = 42, int bparam = 10, int* error = NULL)