无法使用三元运算符有条件地分配`istream &`？

Question

我有一个接受std::istream & 的构造函数，并在分配其中一个成员（std::istream &）之前对其进行检查。例如：

class Stream
{
    public:
    Stream(std::istream &is) : s_ {is.good() ? is : throw std::runtime_error {"Invalid input stream\n"}} 
        {}

    private:
    std::istream &s_;
};

编译器抱怨std::basic_istream(const basic_istream &) 的构造函数被删除（可以理解，因为你不能复制流）。但是，我看不到这里在哪里进行了复制？它必须在三元运算符内，因为

Stream(std::istream &is) : s {is} {}

没有检查工作正常。 std::istream 试图被复制到哪里？我该如何解决这个问题？

Answer 1

这个GCC bug 64372。

从conditional operator 的 cppreference 中，我们了解到如果条件运算符的一个操作数是 throw 表达式，“[t]条件运算符的结果具有另一个表达式的类型和值类别。”因此，您使用条件运算符的结果应该是std::istream&，但GCC thinks it's std::istream。

---

要解决这个 GCC 错误，请使用辅助函数：

class Stream
{
    public:
    Stream(std::istream &is) : s_ {validated_stream(is)} 
        {}

    private:
    std::istream &s_;

    static std::istream &validated_stream(std::istream &is) {
        if (!is.good()) throw std::runtime_error {"Invalid input stream\n"};
        return is;
    }
};