提问人：Soldalma 提问时间：12/1/2017 更新时间：12/2/2017 访问量：222
当参数为空列表时，如何避免值限制错误？
How do I avoid the Value Restriction error when the argument is an empty list?
问：
当参数为空列表时，List 模块中的某些函数会失败。List.rev 就是一个例子。问题是可怕的价值限制。
我在尝试定义一个函数时遇到了同样的问题，该函数返回一个列表，其中包含除列表最后一个元素之外的所有元素：
let takeAllButLast (xs: 'a list) =
xs |> List.take (xs.Length - 1)
该函数适用于非空列表，但处理空列表的版本失败：
let takeAllButLast (xs: 'a list) =
if List.isEmpty xs then []
else xs |> List.take (xs.Length - 1)
takeAllButLast []
error FS0030: Value restriction. The value 'it' has been inferred to have generic type
val it : '_a list, etc.
我尝试了几件事：使其成为内联函数，不为参数指定类型，为返回值指定类型，使函数依赖于类型参数，以及使用 Option 类型获取稍后转换为 list<'a> 的中间结果。没有任何效果。
例如，此函数存在相同的问题：
let takeAllButLast<'a> (xs: 'a list) =
let empty : 'a list = []
if List.isEmpty xs then empty
else xs |> List.take (xs.Length - 1)
之前在 SO 中也问过类似的问题：空列表中的 F# 值限制，但当参数为空列表时，唯一的答案也失败了。
有没有办法编写一个同时处理空列表和非空列表的函数？
注意：该问题并非特定于返回列表最后一个元素之外的所有元素的函数。
答：
5赞
Fyodor Soikin
12/1/2017
#1
函数本身完全没问题。该函数不会“失败”。
您无需修改函数的主体。这是正确的。
问题仅在于您尝试调用函数的方式：。在这里，编译器不知道结果应该是什么类型。应该是吗？或者应该是？或？编译器无法知道。所以它抱怨。takeAllButLast []string listint listbool list
为了编译这样的调用，你需要帮助编译器：只需告诉它你希望得到什么类型。这可以从上下文中完成：
// The compiler gleans the result type from the type of receiving variable `l`
let l: int list = takeAllButLast []
// Here, the compiler gleans the type from what function `f` expects:
let f (l: int list) = printfn "The list: %A" l
f (takeAllButLast [])
或者你可以直接声明调用表达式的类型：
(takeAllButLast [] : int list)
或者，您可以声明函数的类型，然后调用它：
(takeAllButLast : int list -> int list) []
您还可以通过两个步骤执行此操作：
let takeAllButLast_Int : int list -> int list = takeAllButLast
takeAllButLast_Int []
在每种情况下，原则都是一样的：编译器需要从某个地方知道你在这里期望的类型。
或者，您可以给它一个名称，并使该名称通用：
let x<'a> = takeAllButLast [] : 'a list
这样的值可以像常规值一样被访问，但在幕后它被编译为一个无参数的泛型函数，这意味着每次访问它都会导致它的主体被执行。这就是在标准库中实现类似的“泛型值”的方式。List.empty
但是，当然，如果你尝试在 F# 交互中评估这样的值，你将再次面临同样的问题 - 类型必须是已知的 - 无论如何你都必须解决它：
> x // value restriction
> (x : int list) // works
评论