f1 = {a = 1, b = 2}  -- 表示一個分數 a/b.
f2 = {a = 2, b = 3}

-- 這個是錯誤的：
-- s = f1 + f2

 

metafraction = {}
function metafraction.__add(f1, f2)
  sum = {}
  sum.b = f1.b * f2.b
  sum.a = f1.a * f2.b + f2.a * f1.b
  return sum
end

setmetatable(f1, metafraction)
setmetatable(f2, metafraction)

s = f1 + f2  -- 調用在f1的元表上的__add(f1, f2) 方法

-- f1, f2 沒有能訪問它們元表的key，這與prototype不一樣，
-- 所以你必須用getmetatable(f1)去獲得元表。元表是一個普通的table，
-- Lua可以通過通常的方式去訪問它的key，例如__add。

-- 不過下面的代碼是錯誤的，因為s沒有元表：
-- t = s + s
-- 下面的類形式的模式可以解決這個問題：

 

-- 元表的__index 可以重載點運算符的查找：
defaultFavs = {animal = 'gru', food = 'donuts'}
myFavs = {food = 'pizza'}
setmetatable(myFavs, {__index = defaultFavs})
eatenBy = myFavs.animal  -- 可以工作！這要感謝元表的支持

Dog = {}                                   -- 1.

 

function Dog:new()                         -- 2.
  newObj = {sound = 'woof'}                -- 3.
  self.__index = self                      -- 4.
  return setmetatable(newObj, self)        -- 5.
end

function Dog:makeSound()                   -- 6.
  print('I say ' .. self.sound)
end

mrDog = Dog:new()                          -- 7.
mrDog:makeSound()  -- 'I say woof'         -- 8.

-- 1. Dog看上去像一個類；其實它完全是一個table。
-- 2. 函數tablename:fn(...) 與函數tablename.fn(self, ...) 是一樣的
--    冒號（:）只是添加了self作為第一個參數。
--    下面的第7和第8條說明了self變量是如何得到其值的。
-- 3. newObj是類Dog的一個實例。
-- 4. self為初始化的類實例。通常self = Dog，不過繼承關系可以改變這個。
--    如果把newObj的元表和__index都設置為self，
--    newObj就可以得到self的函數。
-- 5. 記?。簊etmetatable返回其第一個參數。
-- 6. 冒號（：）在第2條是工作的，不過這里我們期望
--    self是一個實例，而不是類
-- 7. 與Dog.new(Dog)類似，所以 self = Dog in new()。
-- 8. 與mrDog.makeSound(mrDog)一樣; self = mrDog。

LoudDog = Dog:new()                           -- 1.

 

function LoudDog:makeSound()
  s = self.sound .. ' '                       -- 2.
  print(s .. s .. s)
end

seymour = LoudDog:new()                       -- 3.
seymour:makeSound()  -- 'woof woof woof'      -- 4.

-- 1. LoudDog獲得Dog的方法和變量列表。
-- 2. 通過new()，self有一個'sound'的key from new()，參見第3條。
-- 3. 與LoudDog.new(LoudDog)一樣，并且被轉換成
--    Dog.new(LoudDog)，因為LoudDog沒有'new' 的key，
--    不過在它的元表可以看到 __index = Dog。
--    結果: seymour的元表是LoudDog，并且
--    LoudDog.__index = LoudDog。所以有seymour.key
--    = seymour.key, LoudDog.key, Dog.key, 要看
--    針對給定的key哪一個table排在前面。
-- 4. 在LoudDog可以找到'makeSound'的key；這與
--    LoudDog.makeSound(seymour)一樣。

-- 如果需要，子類也可以有new()，與基類的類似：
function LoudDog:new()
  newObj = {}
  -- 初始化newObj
  self.__index = self
  return setmetatable(newObj, self)
end