Elixir Operator重载:使用宏定义独占范围

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Elixir Operator重载:使用宏定义独占范围相关的知识,希望对你有一定的参考价值。

为了更好地理解Elixir语言,我想尝试通过添加一个独特的范围运算符...来进行运算符重载。一个例子:1...10然后会创建一个从1到10但不包括10的范围。 (例如1...10 == 1..9

所以,我查了the definition of ..,因为...的功能当然非常相似。

Mmy模块然后变成:

defmodule Sequences.Ranges do

  defmacro first ... last do
    case is_float(first) or is_float(last) or
         is_atom(first) or is_atom(last) or
         is_binary(first) or is_binary(last) or
         is_list(first) or is_list(last) do
      true ->
        raise ArgumentError,
          "ranges (first...last) expect both sides to be integers, " <>
          "got: #{Macro.to_string({:"Sequences.Ranges...", [], [first, last]})}"
      false ->
        case __CALLER__.context do
          nil -> quote do: Elixir.Range.new(unquote(first), unquote(last-1))
          _   -> {:%{}, [], [__struct__: Elixir.Range, first: first, last: (last-1)]}
        end
    end
  end

end

但是,在编译此模块时,我收到以下错误:

== Compilation error on file lib/sequences/ranges.ex ==
** (CompileError) lib/sequences/ranges.ex:6: cannot invoke local .../1 inside match
    (stdlib) lists.erl:1353: :lists.mapfoldl/3

我究竟做错了什么?

答案

在Elixir中只能定义有限数量的中缀运算符:

\, <-, |, ~>>, <<~, ~>, <~, <~>, <|>, <<<, >>>, |||, &&&, and ^^^

它们在解析器中预定义,但未实现(或者至少默认情况下不导入)。这使它们可用于自定义实现,但除非您修改并重新编译Elixir本身,否则无法创建自己的添加到此列表。

...不是其中之一,所以它不会起作用。

来自评论:

|||&&&^^^<<<>>>~~~默认情况下不会导入,但它们是默认Elixir标准库的Bitwise模块的一部分。

有关详细信息,请参阅http://www.rodneyfolz.com/custom-infix-functions-in-elixir/

以上是关于Elixir Operator重载:使用宏定义独占范围的主要内容,如果未能解决你的问题,请参考以下文章

[C++潜心修炼] operator重载

如何在不重载 `operator()`、`std::less`、`std::greater` 的情况下为`std::multiset` 提供自定义比较器?

Erlang vs Elixir 宏

操作符重载operator

了解下C# 运算符重载

void()、逗号运算符 (operator,) 和不可能的 (?) 重载