在电报的 TL 模式语言中处理 "flags" 类型

Handling "flags" types in telegram's TL schema language

我写了一个 tl 解析器,所以现在可以使用最新的层 (53)。但我不确定如何处理 "flags" 类型。它们仅在 tl 文档中提及,但未在此处页面底部定义(据我所知):link

例如,当方法 returns 为 'message' 类型时,它应该如下所示: message#c09be45f flags:# out:flags.1?true mentioned:flags.4?true media_unread:flags.5?true silent:flags.13?true post:flags.14?true id:int from_id:flags.8?int to_id:Peer fwd_from:flags.2?MessageFwdHeader via_bot_id:flags.11?int reply_to_msg_id:flags.3?int date:int message:string media:flags.9?MessageMedia reply_markup:flags.6?ReplyMarkup entities:flags.7?Vector<MessageEntity> views:flags.10?int edit_date:flags.15?int = Message;

如果我理解正确,每个标志都设置在某个变量中,对吧?

我的解析器像这样分解 'message' 类型:

     id: -1063525281
     params:
             name: flags
             type:
                     name: out
                     bit: 1
                     type: true

                     name: mentioned
                     bit: 4
                     type: true

                     name: media_unread
                     bit: 5
                     type: true

                     name: silent
                     bit: 13
                     type: true

                     name: post
                     bit: 14
                     type: true

                     name: from_id
                     bit: 8
                     type: int

                     name: fwd_from
                     bit: 2
                     type: MessageFwdHeader

                     name: via_bot_id
                     bit: 11
                     type: int

                     name: reply_to_msg_id
                     bit: 3
                     type: int

                     name: media
                     bit: 9
                     type: MessageMedia

                     name: reply_markup
                     bit: 6
                     type: ReplyMarkup

                     name: entities
                     bit: 7
                     type: Vector<MessageEntity>

                     name: views
                     bit: 10
                     type: int

                     name: edit_date
                     bit: 15
                     type: int

             name: id
             type: int

             name: to_id
             type: Peer

             name: date
             type: int

             name: message
             type: string

     predicate: message
     type: Message

但是如果标志是某个变量中的位,哪个变量?

相关:tl 是基于正式的标准化语言规范还是专门为电报创建的?我问是因为如果它是正式语言(如 yaml)的子集,那么最好使用已知的 tl 解析器而不是重新发明轮子。

But if the flags are bits in some variable, which variable?

Message#c09be45f flags:# out:flags.1?true mentioned:flags.4?true media_unread:flags.5?true silent:flags.13?true post:flags.14?true id:int from_id:flags.8?int to_id:Peer fwd_from:flags.2?MessageFwdHeader via_bot_id:flags.11?int reply_to_msg_id:flags.3?int date:int message:string media:flags.9?MessageMedia reply_markup:flags.6?ReplyMarkup entities:flags.7?Vector<MessageEntity> views:flags.10?int edit_date:flags.15?int = Message;

示例flags:# out:flags.1?true

解码标志:BinaryAND(flags, 2^ix) === 2^ix --> 这将帮助您确定是否包含某个字段

flags = flags 字段的值,这通常是带有 flags

的对象的第一个字段

ix == flag index,这是一个表示flag位置的数字,例如out:flags.1?true这里out是flag位置1的字段,类型为true

对于上面的示例,如果 BAND(flags,2^N) == 2^N,则 out 的值为 true 否则,out 字段将被忽略

代码 - 消息编码(Elixir)

def encode(%Message{} = x), do: <<95, 228, 155, 192, encode(:Int, x.flags)::binary, enc_f(:True, x.out, x.flags, 2)::binary, enc_f(:True, x.mentioned, x.flags, 16)::binary, enc_f(:True, x.media_unread, x.flags, 32)::binary, enc_f(:True, x.silent, x.flags, 8192)::binary, enc_f(:True, x.post, x.flags, 16384)::binary, encode(:Int, x.id)::binary, enc_f(:Int, x.from_id, x.flags, 256)::binary, encode(x.to_id)::binary, enc_f(x.fwd_from, x.flags, 4)::binary, enc_f(:Int, x.via_bot_id, x.flags, 2048)::binary, enc_f(:Int, x.reply_to_msg_id, x.flags, 8)::binary, encode(:Int, x.date)::binary, encode(:String, x.message)::binary, enc_f(x.media, x.flags, 512)::binary, enc_f(x.reply_markup, x.flags, 64)::binary, enc_vf(x.entities, x.flags, 128)::binary, enc_f(:Int, x.views, x.flags, 1024)::binary, enc_f(:Int, x.edit_date, x.flags, 32768)::binary>>

代码 - 消息解码(Elixir)

  def decode(<<95, 228, 155, 192, bin::binary>>) do
    {flags, bin} = decode(:Int, bin)
    {out, bin} = decode(:True, bin, flags, 2) # 1
    {mentioned, bin} = decode(:True, bin, flags, 16) # 4
    {media_unread, bin} = decode(:True, bin, flags, 32) # 5
    {silent, bin} = decode(:True, bin, flags, 8192) # 13
    {post, bin} = decode(:True, bin, flags, 16384) # 14
    {id, bin} = decode(:Int, bin)
    {from_id, bin} = decode(:Int, bin, flags, 256) # 8
    {to_id, bin} = decode(bin)
    {fwd_from, bin} = decode(bin, flags, 4) # 2
    {via_bot_id, bin} = decode(:Int, bin, flags, 2048) # 11
    {reply_to_msg_id, bin} = decode(:Int, bin, flags, 8) # 3
    {date, bin} = decode(:Int, bin)
    {message, bin} = decode(:String, bin)
    {media, bin} = decode(bin, flags, 512) # 9
    {reply_markup, bin} = decode(bin, flags, 64) # 6
    {entities, bin} = decode([:MessageEntity], bin, flags, 128) # 7
    {views, bin} = decode(:Int, bin, flags, 1024) # 10
    {edit_date, bin} = decode(:Int, bin, flags, 32768) # 15
    {%Message{flags: flags, out: out, mentioned: mentioned, media_unread: media_unread, silent: silent, post: post, id: id, from_id: from_id, to_id: to_id, fwd_from: fwd_from, via_bot_id: via_bot_id, reply_to_msg_id: reply_to_msg_id, date: date, message: message, media: media, reply_markup: reply_markup, entities: entities, views: views, edit_date: edit_date}, bin}
  end

#5 == 2^5 == 32
#4 == 2^4 == 16

所以基本上N == 2^N, where N == ix