“抄送”c++ istream？

对于我自己的小解析器框架，我试图定义（类似）以下函数：

template <class T>
// with operator>>( std::istream&, T& )
void tryParse( std::istream& is, T& tgt )
{
    is >> tgt /* , *BUT* store every character that is consumed by this operation
    in some string. If afterwards, is.fail() (which should indicate a parsing
    error for now), put all the characters read back into the 'is' stream so that
    we can try a different parser. */
}

然后我可以写这样的东西：（也许不是最好的例子）

/* grammar: MyData     = <IntTriple> | <DoublePair>
            DoublePair = <double> <double>
            IntTriple  = <int> <int> <int> */
class MyData
{ public:
    union { DoublePair dp; IntTriple it; } data;
    bool isDoublePair;
};

istream& operator>>( istream& is, MyData& md )
{
    /* If I used just "is >> md.data.it" here instead, the
       operator>>( ..., IntTriple ) might consume two ints, then hit an
       unexpected character, and fail, making it impossible to read these two
       numbers as doubles in the "else" branch below. */
    tryParse( is, md.data.it );
    if ( !is.fail() )
        md.isDoublePair = false;
    else
    {
        md.isDoublePair = true;
        is.clear();
        is >> md.data.dp;
    }
    return is;
}

任何帮助是极大的赞赏。

不幸的是，流只有非常少和基本的回退支持。

上次我需要这个时，我编写了自己的读取器类，它包装了一个流，但有一个缓冲区可以将内容放回其中，并且仅当该缓冲区为空时才从流中读取。这些有方法可以从中获取状态，并且您可以提交状态或回滚到较早的状态。
状态类析构函数中的默认操作是回滚，以便您可以提前解析而无需过多考虑错误处理，因为异常只会将解析器的状态回滚到尝试不同语法规则的位置。 （我认为这称为回溯。）这是一个草图：

class parse_buffer {
    friend class parse_state;
public:
    typedef std::string::size_type index_type;

    parse_buffer(std::istream& str);

    index_type get_current_index() const;
    void set_current_index(index_type) const;

    std::string get_next_string(bool skip_ws = true) const;
    char get_next_char(bool skip_ws = true);
    char peek_next_char(bool skip_ws = true); 

    std::string get_error_string() const; // returns string starting at error idx
    index_type get_error_index() const;
    void set_error_index(index_type);

    bool eof() const;

    // ...
};

class parse_state {
public:
    parse_state(parse_buffer&);
    ~parse_state();

    void commit();
    void rollback();

    // ...
};

这应该会给你一个想法。它没有任何实现，但是很简单并且应该很容易重做。此外，真实的代码有许多方便的函数，例如读取函数，这些函数读取分隔字符串、消耗字符串（如果它是多个给定关键字之一）、读取字符串并将其转换为每个模板参数给定的类型，等等。

这个想法是，函数将错误索引设置为其起始位置，保存解析状态，并尝试解析，直到成功或陷入死胡同。在后一种情况下，它只会抛出异常。这会破坏parse_state堆栈上的对象，将状态回滚到可以捕获异常的函数，然后尝试其他操作，或者输出错误（这是get_error_string()进来。）

如果您想要一个非常快的解析器，这种策略可能是错误的，但是流通常也会变慢。 OTOH，上次我使用类似的东西时，我制作了一个在专有 DOM 上运行的 XPath 解析器，该 DOM 用于表示 3D 渲染器中的场景。那是notXPath 解析器受到了那些试图获得更高帧速率的人们的热烈追捧。:)