为什么我在这个从 Erlang 翻译的 Elixir 程序中收到 FunctionClauseError（“没有函数子句匹配”）？ [关闭]

Question

**所以，我以前使用过 Erlang，并且对它非常满意。我只是想学习 Elixir。

我最近试图将一个“懒惰的餐饮服务商”示例翻译成 elixir，但我很困惑为什么它要么无法编译，要么编译时出现警告并且无法正常工作。我在这里错过了什么；有任何想法吗？ erlang代码和'run'如下：**

jps@GRASSKEET ~/dev/erlang
$ cat cater.erl

    -module(cater).
    -export([cater/1]).
    cater(0) -> 1;
    cater(N) when N>0 -> N + cater(N-1).

jps@GRASSKEET ~/dev/erlang
$ erl
Eshell V6.3  (abort with ^G)
1> c("cater.erl").
{ok,cater}
2> cater:cater(10).
56
3>*

当我这样写 Cater.ex 时，它会出现一个对我来说没有意义的错误：

jps@GRASSKEET ~/dev/elix
$ cat Cater.ex

    defmodule Cater do
      def cut(0), do: 1
      def cut(N) when N>0, do: N + cut(N-1)
    end

jps@GRASSKEET ~/dev/elix
$ iex
Interactive Elixir (1.0.4) - press Ctrl+C to exit (type h() ENTER for help)
iex(1)> c("Cater.ex")
Cater.ex:1: warning: redefining module Cater
Cater.ex:3: warning: this expression will fail with ArithmeticError
[Cater]
iex(2)> Cater.cut(10)
** (FunctionClauseError) no function clause matching in Cater.cut/1
    Cater.ex:2: Cater.cut(10)
iex(2)>

Answer 1

只是为了详细说明问题以及您收到错误的原因：

大写的标识符被视为原子的别名。例如：

iex(1)> N == :Elixir.N
true

所以当你有以下代码时：

iex(1)> defmodule Test do
...(1)> def foo, do: IO.puts "testing"
...(1)> end
iex(2)> Test.foo
testing

说的也一样

iex(3)> :Elixir.Test.foo
testing

由于大写标识符被视为符号，因此您基本上编写了以下程序：

defmodule Cater do
  def cut(0), do: 1
  def cut(:Elixir.N) when :Elixir.N>0, do: :Elixir.N + cut(:Elixir.N-1)
end

这是有效的，因为您可以对参数列表中的原子进行模式匹配，并且:Elixir.N > 0 是一个有效的表达式。

iex(1)> N > 0
true

考虑以下 Elixir 程序和输出：

iex(1)> defmodule Cater do
...(1)> def cut(0), do: IO.puts "cut(0)"
...(1)> def cut(N) when N > 0, do: IO.puts "cut(N)"
...(1)> end
iex(2)> Cater.cut(0)
cut(0)
iex(3)> Cater.cut(N)
cut(N)
iex(4)> Cater.cut(:Elixir.N)
cut(N)
iex(5)> Cater.cut(1)
** (FunctionClauseError) no function clause matching in Cater.cut/1
    iex:2: Cater.cut(1)

所以，您收到看似奇怪的错误消息 no function clause matching in Cater.cut/1 的原因是，您的程序在技术上没有任何问题（除了 cut(N) 的实际函数体——它会引发 ArithmeticError，Elixir 会警告您大约在编译时）；这是完全有效的，它只是没有做你想让它做/你认为它做的事情。