Discord.pyでメンションからユーザーIDを取得したい

Question

前提・実現したいこと

現在Discord.pyでBotを作っていて、「!who @...」と打つとBotが被メンション者の情報を表示するコマンドを作りたいです。「!who {ユーザーID}」ではできたのですがメンションからユーザーIDを取得する方法が調べても自分ではよく解らなかったので教えていただきたいです。

該当のソースコード

if msg[:5] == "!who ":
    user = None
    if len(msg) == 23:#whoの後がユーザーIDの場合
        user = await client.fetch_user(int(msg.split()[1]))
    elif len(msg) >= 6:#whoの後がメンションの場合
        #ここをどのように記述すればよいか教えていただきたいです。
    embed = discord.Embed(title = "ユーザー情報", color = 0x0000FF)
    embed.set_thumbnail(url = user.avatar_url)
    if not user.bot:
        embed.add_field(name = "ユーザーID", value = msg.split()[1])
        embed.add_field(name = "ユーザー名", value = f"{user.name}#{user.discriminator}")
    else:
        embed.add_field(name = "ボットID", value = msg.split()[1])
        embed.add_field(name = "ボット名", value = f"{user.name}#{user.discriminator}")
    embed.add_field(name = "作成日時", value = f"{str(user.created_at)}(UST)", inline = False)
    await message.channel.send(embed = embed)

試したこと

ユーザーIDからユーザーの情報を取得することはできました。

補足情報（FW/ツールのバージョンなど）

Python 3.8くらい

Answer 1

いろいろな方法が考えられますが、一番簡単なのはmessageオブジェクトのmentions属性を利用する方法かなと思います。
そのメッセーでメンションされたメンバーオブジェクト（またはユーザーオブジェクト）がリストとして取得できます。
https://discordpy.readthedocs.io/ja/latest/api.html#discord.Message.mentions

その他、メンションは実際は<@!数字>のような表記になっているので正規表現で抜き出すとか、コンバーターを使うとかの手もあります。

Comments

[LukeHax]

前者の方法は難しそうなので正規表現でやってみたらできました！
メンションが<@!数字>という形をしているのは見覚えはありましたが初めて知りました。
ありがとうございました