c++ - 是否可以毫无异常(exception)地进行 RAII？

Question

如果在构建对象时需要获取的资源可能会失败，如果本地编码标准禁止异常，是否可以执行 RAII？

如果是这样，在这种情况下处理资源获取失败的规范方式是什么？

Answer 1

我通常不会采用无效对象方法，因为我认为这是糟糕的设计。构造之后，对象必须处于不变量已建立的状态(这是构造函数应该服务的唯一目的)。考虑一个类 strange_vector实现类似 std::vector 的东西, 但在调用 strange_vector<int>(10, 0) 之后，对象将处于不可用状态，因为分配失败。

相反，我会将构造函数声明为私有(private)的，并使用返回可选值的工厂方法:

class file
{
public:
    ~file() {fclose(m_file);}

    static std::optional<file> open(std::string const& filename)
    {
        auto f = fopen(filename.c_str(), "r");
        if (f)
        {
            return std::make_optional<file>(f);
        }
        else
        {
            return std::nullopt;
        }
    }

private:
    file(FILE* file);
    FILE* m_file;
};

异常处理的最大好处之一是(除了解耦错误处理和正常代码路径之外)您不能意外地忽略它们。如果需要，您可以创建自己的类似于 optional 的类即，当未使用有效对象初始化时，记录一条错误消息并终止您的程序(或任何其他合理的错误处理)。我认为有一个 talk from A. Alexandrescu about systematic error handling他实现了一个类 Expected<T>包含 T 类型的值或异常(exception)。您可以以此为基础，而不是在异常中添加您的错误处理。

std::optional还不是标准的一部分，但您可以轻松地在最近的编译器、boost 或其他库中获得实现。