模块:Arguments

来自维阿百科
1.38>牛腩面2022年7月7日 (四) 20:39的版本 (导入1个版本)
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转至: 导航搜索

该模块来自于英语维基百科的同名模块,英文原文详见历史版本[1]

这个模块提供了从#invoke传递的参数的简单处理。它是一个元模块,用于其他模块,不应该直接从#Invoke调用。它的特点包括:

  • 简单地修剪参数和删除空白参数。
  • 参数可以同时由当前框架和父框架传递。
  • 参数可以直接从另一个Lua模块或调试控制台传入。
  • 参数是根据需要获取的,这有助于避免<ref>...</ref>标签带来的(一些)问题。
  • 大多数功能都可以定制。

基础使用

首先,你需要加载(load)本模块(module),它包含一个叫 getArgs 的函数。

local getArgs = require('Module:Arguments').getArgs

最基本的情况下,您可以在主函数使用getArgs函数。变量args的类型是一个表(table),其中包含从#invoke传过来的参数(argument)。

local getArgs = require('Module:Arguments').getArgs
local p = {}

function p.main(frame)
	local args = getArgs(frame)
	
    -- 主函数的代码会在这里运行。

end

return p

然而,我们更推荐使用一个函数单独用来处理来自于#invoke的参数。这意味着,如果别人用另一个Lua模块调用你的模块,你不必再次通过frame(框架)对象获取args变量。这会提高性能。

local getArgs = require('Module:Arguments').getArgs
local p = {}

function p.main(frame)
	local args = getArgs(frame)
	return p._main(args)
end

function p._main(args)
	-- 主函数的代码。
end

return p

如果你想要从#invoke中访问多个函数,同时这些函数也可以使用#invoke的参数,你可以使用包装函数(wrapper function),就像下面的例子一样。

local getArgs = require('Module:Arguments').getArgs

local function makeInvokeFunc(funcName)
	return function (frame)
		local args = getArgs(frame)
		return p[funcName](args)
	end
end

local p = {}

p.func1 = makeInvokeFunc('_func1')

function p._func1(args)
	-- 第一个函数的代码。
end

p.func2 = makeInvokeFunc('_func2')

function p._func2(args)
    -- 第二个函数的代码。
end

return p

参数选项

以下参数选项(option)是可用的,下文会对其进行解释。

local args = getArgs(frame, {
	trim = false,
	removeBlanks = false,
	valueFunc = function (key, value)
		-- Code for processing one argument
	end,
	frameOnly = true,
	parentOnly = true,
	parentFirst = true,
	wrappers = {
		'Template:A wrapper template',
		'Template:Another wrapper template'
	},
	readOnly = true,
	noOverwrite = true
})

空白参数和空格的处理

空白参数(blank argument)经常会让MediaWiki的编辑者产生困惑。因为在模板的语法,空白字符串和仅包括空格的字符串会被当做false处理。但是在Lua,空白字符串和仅包括空格的字符串会被处理为true。如果你在写Lua模块的时候没有对参数产生足够重视,你可能会把本应是false的变量当做true。为了避免这种情况,空白变量会被默认去除。

在处理位置参数的时候,空格可能会导致棘手的问题。对于已命名的参数,空格会被修剪(trim)掉。对于位置参数,虽然空格通常会保留,但是大多数时候空格是不需要的,所以模块也会默认修剪掉这些空格。

然而,你有时候可能需要空白参数作为输入内容,有时候也想要保留多出来的空格,比如想将模板的内容按照所写的那样精确转化时。这时,你可以把trim变量和removeBlanks(清除空白参数)变量设置为false

local args = getArgs(frame, {
	trim = false,
	removeBlanks = false
})

自定义参数格式

有时你可能需要去除特定的某些空白参数,或者你想要把所有的位置参数都变成小写字母。你可以使用valueFunc参数选项。这个参数选项必须是一个函数,且需要两个形参(parameters),分别是keyvalue,并且只返回一个值。这个返回值,就是args表(table)在指定键key下获取到的元素。

示例1:这个函数保留第一个参数的空格,但会修剪其它参数的空格,以及清除所有空白的参数。

local args = getArgs(frame, {
	valueFunc = function (key, value)
		if key == 1 then
			return value
		elseif value then
			value = mw.text.trim(value)
			if value ~= '' then
				return value
			end
		end
		return nil
	end
})

示例2:这个函数会清除所有的空白参数,并且把所有的参数都变成小写字母,但是不会修剪位置参数的空格。

local args = getArgs(frame, {
	valueFunc = function (key, value)
		if not value then
			return nil
		end
		value = mw.ustring.lower(value)
		if mw.ustring.find(value, '%S') then
			return value
		end
		return nil
	end
})

注意:如果传过来的输入既不是string类型,也不是nil,这个函数会失效。如果你的模块在main函数调用了getArgs函数,并且这个函数被其他Lua类调用的时候,很可能会出现这种情况。这时候,你应该检查输入的类型。但是,如果你有一个函数用来特别处理来自于#invoke的参数,不会出现这种问题(例如你使用了p.mainp._main函数,或者之类的)。


增加类型检查示例1/示例2

示例1:

local args = getArgs(frame, {
	valueFunc = function (key, value)
		if key == 1 then
			return value
		elseif type(value) == 'string' then
			value = mw.text.trim(value)
			if value ~= '' then
				return value
			else
				return nil
			end
		else
			return value
		end
	end
})

示例2:

local args = getArgs(frame, {
	valueFunc = function (key, value)
		if type(value) == 'string' then
			value = mw.ustring.lower(value)
			if mw.ustring.find(value, '%S') then
				return value
			else
				return nil
			end
		else
			return value
		end
	end
})

需要注意的是,每次从args表获取参数的时候,valueFunc都会大约被调用一次。为了确保性能,你需要保证你的代码的高效性。

框架和父框架

args中的参数既可以从当前框架传递,也可以从其父框架传递。我们来通过示例来理解上面这段话。我们有一个叫做Module:ExampleArgs的模块,它可以输出传入的前两个位置参数中。

Module:ExampleArgs
local getArgs = require('Module:Arguments').getArgs
local p = {}

function p.main(frame)
	local args = getArgs(frame)
	return p._main(args)
end

function p._main(args)
	local first = args[1] or ''
	local second = args[2] or ''
	return first .. ' ' .. second
end

return p

然后,模块Module:ExampleArgs被模板Template:ExampleArgs调用。这个模板包括以下代码{{#invoke:ExampleArgs|main|firstInvokeArg}}

接下来,如果我们通过以下方式调用模板Template:ExampleArgs,会出现以下情况。

代码 结果
{{ExampleArgs}} firstInvokeArg
{{ExampleArgs|firstTemplateArg}} firstInvokeArg
{{ExampleArgs|firstTemplateArg|secondTemplateArg}} firstInvokeArg secondTemplateArg

以下三种参数选项可以改变参数传递情况:frameOnlyparentOnly,和parentFirst。如果你设置frameOnly参数选项,那么只有从当前框架传递来的参数会被接受。如果你设置parentOnly参数选项,那么只有从父框架传递来的参数会被接受。如果你设置parentFirst参数选项,当前框架和父框架传递来的参数都会被接受,但是父框架的参数会被优先接受。下面是部分示例。


frameOnly
代码 结果
{{ExampleArgs}} firstInvokeArg
{{ExampleArgs|firstTemplateArg}} firstInvokeArg
{{ExampleArgs|firstTemplateArg|secondTemplateArg}} firstInvokeArg
parentOnly
代码 结果
{{ExampleArgs}}
{{ExampleArgs|firstTemplateArg}} firstTemplateArg
{{ExampleArgs|firstTemplateArg|secondTemplateArg}} firstTemplateArg secondTemplateArg
parentFirst
代码 结果
{{ExampleArgs}} firstInvokeArg
{{ExampleArgs|firstTemplateArg}} firstTemplateArg
{{ExampleArgs|firstTemplateArg|secondTemplateArg}} firstTemplateArg secondTemplateArg

注意:

  1. 如果你同时设置了frameOnlyparentOnly参数选项,那么模块不会从#invoke接收到任何参数。
  2. 在一些情况下,父框架传递过来的参数可能无法获得,比如getArgs被传递给了基框架而不是父框架。这时候,只有框架参数会被使用,(除非设置了parentOnly,在这种情况下不会使用参数)并且parentFirstframeOnly参数不会起作用。 [1]

包装器

包装器参数选项可以规定少数模板作为包装模板(wrapper template)。也就是说,这些模板唯一的的作用就是去调用一个模块。如果这个模块发现是自己被包装模板调用的,它会只检查父框架的参数,否则,它会只检查传递给getArgs的参数。这允许模块既可以被#invoke调用,也可以被包装模板调用。在模块被包装模板调用的时候,并不会因为既需要检查当前框架,也需要检查父框架,而带来性能损失。


我们以Template:Side box模板举例,这个模板的有效内容[2]仅有{{#invoke:Side box|main}}这一小段。如果仅对于这个模板,我们可以使用parentOnly参数选项来优化(因为这样可以避免参数检查),但是这样会造成很大的问题,可能会影响其它的页面。比如,其他页面出现的{{#invoke:Side box|main|text=Some text}}中的|text=Some text会被完全忽略。而使用wrappers参数选项,把模板'Template:Side box'包装为包装模板,就可以避免这个问题。

wrappers参数选项既可以被指定为一个字符串,也可以被指定为字符串数组。


local args = getArgs(frame, {
	wrappers = 'Template:Wrapper template'
})


local args = getArgs(frame, {
	wrappers = {
		'Template:Wrapper 1',
		'Template:Wrapper 2',
		-- Any number of wrapper templates can be added here.
	}
})

注意:

  1. 模块会自动地检测自己是被包装模板调用还是被沙盒子页面调用。所以无需显式指定沙盒页面。
  2. wrappers参数选项会在特定时候有效地改变frameOnlyparentOnly。例如,如果将parentOnly显式设置为false,并设置了wrappers,通过包装模板的调用,当前框架和父框架都会被加载,而没有通过包装模板的调用仅仅会调用当前框架。
  3. 如果wrappers被设定,但并没有可用的父框架,模块一直从当前框架获取参数传递给getArgs

对args表的写入

有时你可能需要在args表中写入新的值。模块的默认设定允许你这样做。(通常,创建一个新表,从args表复制需要的参数,是更好的编程习惯)

args.foo = 'some value'

你可以通过readOnlynoOverwrite参数选项来监测对args的写入。如果设定了readOnly,那么args表无法被写入。如果设定了noOverwrite,那么args表可以被写入,但是从#invoke传入的参数无法被修改。

ref标签

这个模块使用元表来从#invoke中获取参数。这样可以无需pairs()函数,同时获取当前框架和父框架的参数。这样你的模块可以接受<ref>...</ref>标签(tag)作为输入。

只要Lua可以访问到<ref>...</ref>标签(reference),它们就会被MediaWiki软件处理,然后会有引用内容在页面的底部(注释与外部链接)出现。如果模块的输出省略了<ref>...</ref>标签,会触发一个bug:在引用列表会出现这个引用内容,但是没有数字连接到这个引用。这对于使用pairs()来检测是使用当前框架还是父框架的参数的模块来说是一个问题,因为这些模块会自动处理每个可用的参数。

然而本模块解决了这个问题,通过同时访问当前框架和父框架,仅在必要的时候获取参数。但是如果你的模块使用pairs(args)了,这个问题还是会出现。

本模块已知的缺陷

元表(metatable)的使用带来的副作用。Lua中大多数的table tools并不会正常运行在args表上。包括#运算符,next()函数,还有table library中的函数。如果你需要在你的模块用到这些,你应该用自己的函数来处理参数而不是这个模块。


  1. 这一段可能需要看完后面的部分才能够理解,翻译者注。
  2. 指的是除了<noinclude>...</noinclude>的内容
-- This module provides easy processing of arguments passed to Scribunto from
-- #invoke. 该模块旨在为其他Lua模块所用,它不应该被#invoke直接调用。

local libraryUtil = require('libraryUtil')
local checkType = libraryUtil.checkType

local arguments = {}


-- Generate four different tidyVal functions, so that we don't have to check the
-- options every time we call it.

local function tidyValDefault(key, val)
	if type(val) == 'string' then
		val = val:match('^%s*(.-)%s*$')
		if val == '' then
			return nil
		else
			return val
		end
	else
		return val
	end
end

local function tidyValTrimOnly(key, val)
	if type(val) == 'string' then
		return val:match('^%s*(.-)%s*$')
	else
		return val
	end
end

local function tidyValRemoveBlanksOnly(key, val)
	if type(val) == 'string' then
		if val:find('%S') then
			return val
		else
			return nil
		end
	else
		return val
	end
end

local function tidyValNoChange(key, val)
	return val
end

local function matchesTitle(given, title)
	local tp = type( given )
	return (tp == 'string' or tp == 'number') and mw.title.new( given ).prefixedText == title
end

local translate_mt = { __index = function(t, k) return k end }

function arguments.getArgs(frame, options)
	checkType('getArgs', 1, frame, 'table', true)
	checkType('getArgs', 2, options, 'table', true)
	frame = frame or {}
	options = options or {}

	--[[
	-- Set up argument translation.
	--]]
	options.translate = options.translate or {}
	if getmetatable(options.translate) == nil then
		setmetatable(options.translate, translate_mt)
	end
	if options.backtranslate == nil then
		options.backtranslate = {}
		for k,v in pairs(options.translate) do
			options.backtranslate[v] = k
		end
	end
	if options.backtranslate and getmetatable(options.backtranslate) == nil then
		setmetatable(options.backtranslate, {
			__index = function(t, k)
				if options.translate[k] ~= k then
					return nil
				else
					return k
				end
			end
		})
	end

	--[[
	-- Get the argument tables. If we were passed a valid frame object, get the
	-- frame arguments (fargs) and the parent frame arguments (pargs), depending
	-- on the options set and on the parent frame's availability. If we weren't
	-- passed a valid frame object, we are being called from another Lua module
	-- or from the debug console, so assume that we were passed a table of args
	-- directly, and assign it to a new variable (luaArgs).
	--]]
	local fargs, pargs, luaArgs
	if type(frame.args) == 'table' and type(frame.getParent) == 'function' then
		if options.wrappers then
			--[[
			-- The wrappers option makes Module:Arguments look up arguments in
			-- either the frame argument table or the parent argument table, but
			-- not both. This means that users can use either the #invoke syntax
			-- or a wrapper template without the loss of performance associated
			-- with looking arguments up in both the frame and the parent frame.
			-- Module:Arguments will look up arguments in the parent frame
			-- if it finds the parent frame's title in options.wrapper;
			-- otherwise it will look up arguments in the frame object passed
			-- to getArgs.
			--]]
			local parent = frame:getParent()
			if not parent then
				fargs = frame.args
			else
				local title = parent:getTitle():gsub('/sandbox$', '')
				local found = false
				if matchesTitle(options.wrappers, title) then
					found = true
				elseif type(options.wrappers) == 'table' then
					for _,v in pairs(options.wrappers) do
						if matchesTitle(v, title) then
							found = true
							break
						end
					end
				end

				-- We test for false specifically here so that nil (the default) acts like true.
				if found or options.frameOnly == false then
					pargs = parent.args
				end
				if not found or options.parentOnly == false then
					fargs = frame.args
				end
			end
		else
			-- options.wrapper isn't set, so check the other options.
			if not options.parentOnly then
				fargs = frame.args
			end
			if not options.frameOnly then
				local parent = frame:getParent()
				pargs = parent and parent.args or nil
			end
		end
		if options.parentFirst then
			fargs, pargs = pargs, fargs
		end
	else
		luaArgs = frame
	end

	-- Set the order of precedence of the argument tables. If the variables are
	-- nil, nothing will be added to the table, which is how we avoid clashes
	-- between the frame/parent args and the Lua args.
	local argTables = {fargs}
	argTables[#argTables + 1] = pargs
	argTables[#argTables + 1] = luaArgs

	--[[
	-- Generate the tidyVal function. If it has been specified by the user, we
	-- use that; if not, we choose one of four functions depending on the
	-- options chosen. This is so that we don't have to call the options table
	-- every time the function is called.
	--]]
	local tidyVal = options.valueFunc
	if tidyVal then
		if type(tidyVal) ~= 'function' then
			error(
				"bad value assigned to option 'valueFunc'"
					.. '(function expected, got '
					.. type(tidyVal)
					.. ')',
				2
			)
		end
	elseif options.trim ~= false then
		if options.removeBlanks ~= false then
			tidyVal = tidyValDefault
		else
			tidyVal = tidyValTrimOnly
		end
	else
		if options.removeBlanks ~= false then
			tidyVal = tidyValRemoveBlanksOnly
		else
			tidyVal = tidyValNoChange
		end
	end

	--[[
	-- Set up the args, metaArgs and nilArgs tables. args will be the one
	-- accessed from functions, and metaArgs will hold the actual arguments. Nil
	-- arguments are memoized in nilArgs, and the metatable connects all of them
	-- together.
	--]]
	local args, metaArgs, nilArgs, metatable = {}, {}, {}, {}
	setmetatable(args, metatable)

	local function mergeArgs(tables)
		--[[
		-- Accepts multiple tables as input and merges their keys and values
		-- into one table. If a value is already present it is not overwritten;
		-- tables listed earlier have precedence. We are also memoizing nil
		-- values, which can be overwritten if they are 's' (soft).
		--]]
		for _, t in ipairs(tables) do
			for key, val in pairs(t) do
				if metaArgs[key] == nil and nilArgs[key] ~= 'h' then
					local tidiedVal = tidyVal(key, val)
					if tidiedVal == nil then
						nilArgs[key] = 's'
					else
						metaArgs[key] = tidiedVal
					end
				end
			end
		end
	end

	--[[
	-- Define metatable behaviour. Arguments are memoized in the metaArgs table,
	-- and are only fetched from the argument tables once. Fetching arguments
	-- from the argument tables is the most resource-intensive step in this
	-- module, so we try and avoid it where possible. For this reason, nil
	-- arguments are also memoized, in the nilArgs table. Also, we keep a record
	-- in the metatable of when pairs and ipairs have been called, so we do not
	-- run pairs and ipairs on the argument tables more than once. We also do
	-- not run ipairs on fargs and pargs if pairs has already been run, as all
	-- the arguments will already have been copied over.
	--]]

	metatable.__index = function (t, key)
		--[[
		-- Fetches an argument when the args table is indexed. First we check
		-- to see if the value is memoized, and if not we try and fetch it from
		-- the argument tables. When we check memoization, we need to check
		-- metaArgs before nilArgs, as both can be non-nil at the same time.
		-- If the argument is not present in metaArgs, we also check whether
		-- pairs has been run yet. If pairs has already been run, we return nil.
		-- This is because all the arguments will have already been copied into
		-- metaArgs by the mergeArgs function, meaning that any other arguments
		-- must be nil.
		--]]
		if type(key) == 'string' then
			key = options.translate[key]
		end
		local val = metaArgs[key]
		if val ~= nil then
			return val
		elseif metatable.donePairs or nilArgs[key] then
			return nil
		end
		for _, argTable in ipairs(argTables) do
			local argTableVal = tidyVal(key, argTable[key])
			if argTableVal ~= nil then
				metaArgs[key] = argTableVal
				return argTableVal
			end
		end
		nilArgs[key] = 'h'
		return nil
	end

	metatable.__newindex = function (t, key, val)
		-- This function is called when a module tries to add a new value to the
		-- args table, or tries to change an existing value.
		if type(key) == 'string' then
			key = options.translate[key]
		end
		if options.readOnly then
			error(
				'could not write to argument table key "'
					.. tostring(key)
					.. '"; the table is read-only',
				2
			)
		elseif options.noOverwrite and args[key] ~= nil then
			error(
				'could not write to argument table key "'
					.. tostring(key)
					.. '"; overwriting existing arguments is not permitted',
				2
			)
		elseif val == nil then
			--[[
			-- If the argument is to be overwritten with nil, we need to erase
			-- the value in metaArgs, so that __index, __pairs and __ipairs do
			-- not use a previous existing value, if present; and we also need
			-- to memoize the nil in nilArgs, so that the value isn't looked
			-- up in the argument tables if it is accessed again.
			--]]
			metaArgs[key] = nil
			nilArgs[key] = 'h'
		else
			metaArgs[key] = val
		end
	end

	local function translatenext(invariant)
		local k, v = next(invariant.t, invariant.k)
		invariant.k = k
		if k == nil then
			return nil
		elseif type(k) ~= 'string' or not options.backtranslate then
			return k, v
		else
			local backtranslate = options.backtranslate[k]
			if backtranslate == nil then
				-- Skip this one. This is a tail call, so this won't cause stack overflow
				return translatenext(invariant)
			else
				return backtranslate, v
			end
		end
	end

	metatable.__pairs = function ()
		-- Called when pairs is run on the args table.
		if not metatable.donePairs then
			mergeArgs(argTables)
			metatable.donePairs = true
		end
		return translatenext, { t = metaArgs }
	end

	local function inext(t, i)
		-- This uses our __index metamethod
		local v = t[i + 1]
		if v ~= nil then
			return i + 1, v
		end
	end

	metatable.__ipairs = function (t)
		-- Called when ipairs is run on the args table.
		return inext, t, 0
	end

	return args
end

return arguments