【入门夯实】冒号语法糖：s:sub的隐式首参传递

学员常见误区

string.sub(s, 1, 5) 与 s:sub(1, 5) 等价——冒号调用把 s 自己作为第一个参数隐式传入。学员混着写时偶尔翻车：把字符串当表挂了函数再点号调用，函数收到的第一个参数是 nil（点号不传 self）。理解冒号只是语法糖，两种写法就再也不会混。错误场景：

local t = {}
function t.greet(name)
    return "您好 " .. name
end
print(t:greet("甲"))

冒号调用隐式传入 t 自身作首参，greet 的 name 收到的是表，拼接报错。

正确姿势

冒号与点号按"是否传自身"选择：函数声明用冒号（隐式 self），字符串库调用用冒号（省掉首参）。规范写法。示例代码如下：

local s = "沙巴克攻城"
local head = s:sub(1, 6)
print(string.sub(s, 1, 6) == head)

s:sub(1, 6) 等价 string.sub(s, 1, 6)，冒号把 s 补为首参。示例代码如下：

local obj = {}
function obj:hello()
    return "来自 " .. tostring(self ~= nil)
end
print(obj:hello())
print(obj.hello(obj))

两种调用等价，冒号是点号加首参的语法糖。

引擎验证

三步验证：s:sub 与 string.sub 的返回逐字节一致；obj:hello 与 obj.hello(obj) 输出一致；点号调用冒号声明的函数，观察 self 为 nil 的现场。

举一反三

自定义类型用冒号声明方法，调用端自然获得点号与冒号双形态——API 设计的惯例是方法一律冒号。示例代码如下：

local Bag = {}
Bag.__index = Bag
function Bag:new()
    return setmetatable({ items = {} }, Bag)
end
function Bag:add(item)
    self.items[#self.items + 1] = item
end