我正在学习Elixir，当我从模块导入函数时使用only或except运算符时，我需要指定一个arity数。为什么呢？
e.g。
import :math, only: [sqrt: 1]
或
import :math, except: [sin: 1, cos: 1]
答案 0 :(得分：14)
在Erlang生态系统中，函数由name + arity标识。在大多数其他语言中，您可以按名称重载函数。换句话说，在Erlang世界中，foo / 1（即foo（one_arg））是一个完全不同于foo / 2的函数（如in，foo（one_arg，two_arg）），但是Python或Ruby＆＃34; foo＆＃34;是完整的函数标识，可以使用灵活的参数调用它。
约定用于命名具有相同名称的相同名称的函数，尤其是在递归定义的迭代函数的情况下：
factorial(N) -> factorial(1, N).
factorial(A, 0) -> A;
factorial(A, N) -> factorial(A * N, N - 1).
注意有两个期间，这意味着这里有两个完全独立的定义。我们也可以写一下：
fac(N) -> sum(1, N).
sum(A, 0) -> A;
sum(A, N) -> sum(A * N, N - 1).
但是你会注意到第二个版本在字符笔划方面的节省大大超过了它的语义卷积 - 第二个版本的内部函数名称是一个彻头彻尾的谎言！
惯例是将相关函数命名为相同的东西，但实际上，在Erlang生态系统中不允许使用arity重载函数。为了使这样的重载可接受，需要对编译器编译Erlang的字节码的编译器进行大量的功能添加，这将是痛苦工作的毫无意义的浪费。目前的情况与动态类型的函数式语言一样好（没有它成为静态类型的函数式语言......而且完全是另一种讨论）。
最终结果是您必须指定完全要导入的函数，无论是在Erlang还是Elixir中，这意味着通过名称+ arity识别它。认识到常见的约定是对执行相同但具有不同参数计数的函数使用相同的名称（通常只是编写一系列curried定义来包含常见的默认值），Elixir提供了一种快捷方式，可以按组包含函数而不是枚举它们。
所以当你import :math, only: [sqrt: 1]时，你只需要math:sqrt/1并离开模块的其余部分（如果有math:sqrt/2你会忽略它）。当你import :math, except: [sin: 1, cos: 1]取走但 math:sin/1和math:cos/1时，你会得到所有内容math:sin/2。名称+ arity是一个独特的身份。想象一下可用功能的大型KV商店。键是{module, func, arity}，这意味着它们是系统的原子值。如果你熟悉Erlang甚至一点点，这可能会让你感到熟悉，因为你总是处理元组{Module, Function, Args}。
答案 1 :(得分：6)
Erlang和Elixir中的函数由module / name / arity唯一标识。要导入/排除正确的功能，您需要指定所有三个部分。理解这一点的另一种方法是考虑捕获函数引用的情况，例如， &Map.get/2。
即使两个函数共享相同的名称，它们实际上与VM完全不同。为了引用正确的函数，您必须正确识别要调用的函数，因此需要使用only，except指定所有三个组件。