Как выполнить сопоставление шаблонов Erlang с помощью регулярных выражений?

У вас действительно нет особого выбора, кроме как заранее запустить регулярное выражение, а затем сопоставить результаты с образцом. Вот очень простой пример, который приближается к тому, что, как я думаю, вам нужно, но он страдает недостатком, заключающимся в том, что вам нужно повторять регулярные выражения дважды. Вы можете сделать это менее болезненным, используя макрос для определения каждого регулярного выражения в одном месте.

-module(multire).

-compile(export_all).

multire([],_) ->
    nomatch;
multire([RE|RegExps],String) ->
    case re:run(String,RE,[{capture,none}]) of
    match ->
        RE;
    nomatch ->
        multire(RegExps,String)
    end.


test(Foo) ->
    test2(multire(["^Hello","world$","^....$"],Foo),Foo).

test2("^Hello",Foo) ->
    io:format("~p matched the hello pattern~n",[Foo]);
test2("world$",Foo) ->
    io:format("~p matched the world pattern~n",[Foo]);
test2("^....$",Foo) ->
    io:format("~p matched the four chars pattern~n",[Foo]);
test2(nomatch,Foo) ->
    io:format("~p failed to match~n",[Foo]).

Можно использовать аннотации (макросы) в стиле Web-стиля Erlang в сочетании с модулем re Erlang. Пример, вероятно, лучший способ проиллюстрировать это.

Вот как будет выглядеть ваш окончательный код:

[...]
?MATCH({Regexp, Options}).
foo(_Args) ->
  ok.
[...]

Макрос MATCH будет выполняться непосредственно перед вашей функцией foo. Поток выполнения завершится неудачно, если шаблон регулярного выражения не найден.

Ваша функция соответствия будет объявлена ​​следующим образом:

?BEFORE.
match({Regexp, Options}, TgtMod, TgtFun, TgtFunArgs) ->
String = proplists:get_value(string, TgtArgs),
case re:run(String, Regexp, Options) of
  nomatch ->
    {error, {TgtMod, match_error, []}};
  {match, _Captured} ->
    {proceed, TgtFunArgs}
end.

Обратите внимание:

• BEFORE говорит, что макрос будет выполнен до вашей целевой функции (также доступен макрос AFTER).
• Match_error - это ваш обработчик ошибок, указанный в вашем модуле, и содержит код, который вы хотите выполнить, если вы не найдете совпадения (возможно, ничего, просто заблокируйте поток выполнения)
• Этот подход имеет то преимущество, что синтаксис и параметры регулярного выражения остаются единообразными с модулем re (избегайте путаницы).

Дополнительная информация об аннотациях Erlang Web здесь:

http://wiki.erlang-web.org/Annotations

и тут:

http://wiki.erlang-web.org/HowTo/CreateAnnotation

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

1. Для строки вы можете использовать модуль re: после этого вы перебираете набор результатов. Боюсь, что нет другого способа сделать это AFAIK: поэтому есть регулярные выражения.

2. Для заголовков HTTP, поскольку их может быть много, я бы рассмотрел итерацию по набору результатов, которая была бы лучшим вариантом вместо написания очень длинного выражения (потенциально).

3. EEP работа: не знаю.

Вы можете использовать модуль re:

re:run(String, "^[A-Za-z]+[A-Za-z0-9]*$").
re:run(String, "^[A-Za-z]+[A-Za-z0-9]*$", [caseless]).

РЕДАКТИРОВАТЬ:

match(String, Regexps) -> 
  case lists:dropwhile(
               fun({Regexp, Opts}) -> re:run(String, Regexp, Opts) =:= nomatch;
                  (Regexp) -> re:run(String, Regexp) =:= nomatch end,
               Regexps) of
    [R|_] -> R;
    _     -> nomatch
  end.

example(String) ->
  Regexps = ["$RE1^", {"$RE2^", [caseless]}, "$RE3"]
  case match(String, Regexps) of
    nomatch -> handle_error();
    Regexp -> handle_regexp(String, Regexp)
    ...

1. Erlang не обрабатывает регулярные выражения в шаблонах.
2. No.

Вы не можете сопоставить шаблон с регулярными выражениями, извините. Так что ты должен сделать

my_function(String) -> Matches = re:run(String, "^[A-Za-z]+[A-Za-z0-9]*$"),
                       ...