在线观看不卡亚洲电影_亚洲妓女99综合网_91青青青亚洲娱乐在线观看_日韩无码高清综合久久

鍍金池/ 問答/網(wǎng)絡(luò)安全/ Elixir模式匹配中匹配Range的疑惑

Elixir模式匹配中匹配Range的疑惑

我的疑惑在于這兩個(gè)函數(shù)中的Range匹配

我測(cè)試如下代碼是可以執(zhí)行的（分段查找）：

defmodule Chop do
  def guess(actual, range = low..high) do
    guess = div(low+high, 2)
    IO.puts "Is it #{guess}?"
    _guess(actual, guess, range)
  end

  defp _guess(actual, actual, _),
    do: IO.puts "Yes, it's #{actual}"

  defp _guess(actual, guess, _low..high)
      when guess < actual,
    do: guess(actual, guess+1..high)

  defp _guess(actual, guess, low.._high)
      when guess > actual,
    do: guess(actual, low..guess-1)
end
Chop.guess(271, 1..1000)
"""
Is it 500?
Is it 250?
Is it 375?
Is it 312?
Is it 281?
Is it 265?
Is it 273?
Is it 269?
Is it 271?
Yes, it's 271
"""

不懂 _low..high 和 low.._high 是如何執(zhí)行匹配的，比如傳入?yún)^(qū)間 1..50，
匹配效果是不一樣的嗎？求解答，非常感謝?。

回答
編輯回答
巷尾

That's easy. 我給你翻譯下這段歌詞:

defmodule Chop do
  def guess(actual, range = low..high) do
    guess = div(low+high, 2)
    IO.puts "Is it #{guess}?"
    _guess(actual, guess, range)
  end
  
  defp _guess(actual, guess, low..high) do
      cond  do
      guess == actual         -> IO.puts "Yes, it's #{actual}"
      guess < actual -> guess(actual, guess+1..high)
      guess > actual -> guess(actual, low..guess-1)
     
    end
  end
end
Chop.guess(271, 1..1000)

這個(gè)程式在邏輯上是等價(jià)的, 雖然一個(gè)是條件語(yǔ)句, 一個(gè)是pattern matching.

其實(shí)

  defp _guess(actual, actual, _),
    do: IO.puts "Yes, it's #{actual}"

  defp _guess(actual, guess, _low..high)
      when guess < actual,
    do: guess(actual, guess+1..high)

  defp _guess(actual, guess, low.._high)
      when guess > actual,
    do: guess(actual, low..guess-1)

它就是一個(gè)pattern matching, 只是你需要意識(shí)到把guess > actual, guess > actual, 以及其它任意情況(在這裏就只剩下相等啦)是作爲(wèi)match的條件而存在的.

你也可以自己改寫成另一種pattern matching, 即case guess do形式, 這兩者是完全等價(jià)的, 只是看自己的品味, 窩寫standard ml的時(shí)候更喜歡case哈.

可能你對(duì)pattern matching還不熟悉, 多寫寫就行啦, elixir的精華之一是pattern matching, 你以後可以儘可能的用patter matching, 有些時(shí)候會(huì)比較燒腦, 比起定義本地變量(典型的如sml中的let in)也可能會(huì)效率低些(因爲(wèi)很多情況會(huì)以無(wú)法使用尾遞歸爲(wèi)代價(jià)), 但是會(huì)非常簡(jiǎn)潔, 非常具有美感, 好好發(fā)現(xiàn)elixir的美吧, 掃年, functional programming的大門在等著你打開

2018年1月2日 09:10