Boost Spirit X3可选字段为nullopt的分支场景解析处理问询

问题1：分支属性不匹配的解决方法 #

你对报错原因的判断是正确的：第二个分支(*x3::alpha >> '|' >> odd_int)仅生成2个属性（字符串、整数），和Fusion适配的ast::foo需要的3个属性序列（字符串、可选double、整数）长度不匹配，因此触发静态断言。
解决方法非常直接：给第二个分支缺失的optional<double>字段位置，用x3::attr注入默认的nullopt属性，保证两个分支的属性序列长度、类型完全匹配。
注意你现有代码里odd_int的定义存在笔误：rule的tag参数写了和even_int相同的struct even_int，需要修正避免冲突。修改后的parser代码如下：

namespace parser {
    const auto even_int = x3::rule<struct even_int, int> {"even int"}
    = x3::int_ [ ([](auto& ctx) {
        auto& attr = x3::_attr(ctx);
        auto& val  = x3::_val(ctx);
        val = attr;
        x3::_pass(ctx) = val %2 == 0;
    }) ];
    
    // 修正tag参数为独立的odd_int
    const auto odd_int = x3::rule<struct odd_int, int> {"odd int"}
    = x3::int_ [ ([](auto& ctx) {
        auto& attr = x3::_attr(ctx);
        auto& val  = x3::_val(ctx);
        val = attr;
        x3::_pass(ctx) = val %2 == 1;
    }) ];
    
    const auto foo =  
        ( *x3::alpha  >> -(':' >> x3::double_) >> ';' >> even_int )
        // 注入nullopt补全可选double字段的属性位
        |  (  *x3::alpha >> x3::attr(std::nullopt) >> '|' >> odd_int ) ;
}

修改后两个分支都生成符合要求的3个属性，编译即可通过，且完全匹配你设定的校验规则。

问题2：不能省略x3::rule定义的原因 #

Boost Spirit X3有一条核心设计规则：带有语义动作的Parser，在没有显式指定返回属性类型的情况下，默认会抑制属性的自动传播，属性类型会被推导为x3::unused_type。
如果你省略x3::rule<struct even_int, int>的定义，直接把带语义动作的x3::int_[...]赋值给even_int，此时even_int的属性类型不是int而是无意义的unused_type，上层的sequence parser无法拿到int值，也无法匹配AST的第三个字段类型，因此编译失败。
显式定义x3::rule并指定第二个模板参数（返回属性类型），相当于强制指定该Parser的返回类型，同时打开属性传播开关，语义动作里赋值给_val的值会正常向上传递给上层结构。

内容的提问来源于stack exchange，提问作者sandwood