c++ - 为什么 make_optional 不适用于文件流？

Question

我正在尝试 C++17 optional 类型，并认为使用它的合适位置是一个尝试打开文件并可能返回打开文件的函数。我写的函数是这样的:

std::optional<std::fstream> openFile(std::string path)
{
    std::fstream file;
    file.open(path);
    if (!file.is_open())
    {
        std::cerr << "couldn't open file" << path << std::endl;
        return {};
    }
    else
    {
        return std::make_optional(file); // results in compilation error
    }
}

但是，当我尝试使用 g++ 以 -std=c++17 作为参数之一进行编译时，我得到了一大堆模板编译错误消息，从以下内容开始:

In file included from read_file.cpp:3:0:
/usr/include/c++/7/optional: In instantiation of ‘constexpr std::optional<typename std::decay<_Tp>::type> std::make_optional(_Tp&&) [with _Tp = std::basic_fstream<char>&; typename std::decay<_Tp>::type = std::basic_fstream<char>]’:
read_file.cpp:16:39:   required from here
/usr/include/c++/7/optional:991:62: error: no matching function for call to ‘std::optional<std::basic_fstream<char> >::optional(<brace-enclosed initializer list>)’
     { return optional<decay_t<_Tp>> { std::forward<_Tp>(__t) }; }

为什么看起来好像 fstream 不能与 std::optional 一起使用？我是否以错误的方式接近这个？如果 optional 不支持流类型，那不限制可以应用类型的位置吗？

Answer 1

当您将其传递给 make_optional 时，您的代码将尝试复制流。流无法复制，因此，您需要移动它，即

return std::make_optional(std::move(file));

或者干脆

return file;

(根据编译器的年龄，后者可能不起作用。)