Соответствует одному из нескольких байтов в номе

Question

Я использую NOM для анализа некоторых двоичных данных сборки 65c816. Часть моей структуры синтаксического анализатора разбивает коды операций на их отдельные формы и затем захватывает их параметры, если они есть. Пример парсера в настоящее время выглядит так:

named!(absolute_long<Instruction>, 
    do_parse!(op: bits!(alt!(
        opcode!(0x0F) | opcode!(0x22) | opcode!(0x2F) | opcode!(0x4F) | 
        opcode!(0x5C) | opcode!(0x6F) | opcode!(0x8F) | opcode!(0xAF) | 
        opcode!(0xCF) | opcode!(0xEF)))
>> param: le_u24
>> (Instruction::AbsoluteLong(op, param))));

куда opcode! это макрос, который я сделал, который делает следующее:

macro_rules! opcode(
    ($i:expr, $op:expr) => (
        tag_bits!($i, u8, 8, $op);
    );
    ($i:expr, $f:expr) => (
        opcode!($i, call!($f));
    );
);

Вместо этого я хотел бы иметь код, подобный следующему, но не могу понять, как бы я создал макрос или функцию для этого:

named!(absolute_long<Instruction>, 
    do_parse!(op: opcodes!(
        0x0F, 0x22, 0x2F, 0x4F, 0x5C, 0x6F, 0x8F, 0xAF, 
        0xCF, 0xEF)
    >> param: le_u24
    >> (Instruction::AbsoluteLong(op, parm)));

Самым близким, что я получил, было создание этого макроса, но он почти сразу выходит за пределы рекурсии и в целом кажется неоптимальным:

macro_rules! opcodes(
    ($i:expr, $op:expr) => {
        opcode!($i, $op)
    };

    ($i:expr, $op:expr, $($more:expr), *) => (
        bits!($i, alt!(opcode!($op) | opcodes!($($more),*)))
    );
);

Есть ли способ, которым я могу реализовать что-то вроде этого, или мне лучше просто использовать tag_bits? Я чувствую, что я должен быть в состоянии использовать one_of, но я не могу заставить его работать с байтами.

Answer 1

Мы можем использовать one_of!(..) вот так:

#[macro_use]
extern crate nom;
use nom::*;

// Your type might look a different, I infered what I could:
#[derive(Debug)]
enum Instruction {
    AbsoluteLong(u8, u32)
}

named!(absolute_long<Instruction>, do_parse!(
       op: one_of!([0x0F, 0x22, 0x2F, 0x4F, 0x5C, 0x6F, 0x8F, 0xAF, 0xCF, 0xEF].as_ref())
    >> param: le_u24
    >> (Instruction::AbsoluteLong(op as u8, param))
));

fn main() {
    println!("{:?}", absolute_long(&[0x0F, 0x01, 0x01, 0x01, 0x01]));
}

one_of! Нужно дать кусочек для работы. Мы можем получить один, приведя к нему массив с помощью .as_ref(),