如何从 html 中提取格式为 mail[@]domain.com 的电子邮件地址

我想从html源中提取电子邮件地址。

我使用下面的代码以mail@domain.com格式提取电子邮件地址

function extract_email_address ($string) {
    foreach(preg_split('/'s/', $string) as $token) {
        $email = filter_var(filter_var($token, FILTER_SANITIZE_EMAIL), FILTER_VALIDATE_EMAIL);
        if ($email !== false) {
            $emails[] = $email;
        }
    }
    return $emails;
}

现在，看起来电子邮件受到[]符号的保护，电子邮件地址看起来像

mail[@]domain.com ，（注意[]中的@符号）。所以，上面的代码没有帮助。

有人知道这个问题的答案吗？