Swift为何无法将该Int数组字面量转换为正确类型？

嘿，这个问题我之前写Swift递归遍历二叉树的时候也碰到过，当时纳闷了好一会儿！咱们来聊聊为啥会出现这个看似奇怪的报错，以及怎么解决它。

问题重现 #

你这段中序遍历的代码，当直接在return语句里链式拼接数组时：

return inorderTraversal(root.left) + [root.val] + inorderTraversal(root.right)

编译器会抛出'Int' is not convertible to '[Int]'的错误，但如果把[root.val]先存到一个变量里：

let middle = [root.val]
return inorderTraversal(root.left) + middle + inorderTraversal(root.right)

代码就能正常编译运行，这到底是为啥？

原因分析 #

核心问题出在Swift的类型推断机制上。当你使用链式的+运算符拼接时，编译器需要从左到右逐步推断每个表达式的类型，但在这个特定的上下文里，它出现了“判断失误”：

• 编译器在解析inorderTraversal(root.left) + [root.val] + inorderTraversal(root.right)时，会优先尝试匹配运算符的重载组合，却没有立刻明确[root.val]是[Int]类型。
• 由于inorderTraversal的返回值是[Int]，编译器可能错误地认为你试图把root.val（单个Int值）直接和数组相加，而非把[root.val]这个数组和另一个数组相加。
• 而当你把[root.val]赋值给变量middle时，Swift会自动推断middle的类型为[Int]，此时编译器能明确知道每个拼接项都是数组，自然不会报错。

解决方案 #

除了用变量存储中间数组的方法，还有两种简单的处理方式：

1. 显式指定数组类型

给[root.val]加上类型标注，明确告诉编译器这是一个Int数组：

return inorderTraversal(root.left) + ([root.val] as [Int]) + inorderTraversal(root.right)

2. 拆分拼接步骤

把左右子树的遍历结果先存起来，再进行拼接，让类型推断更清晰：

let leftVals = inorderTraversal(root.left)
let rightVals = inorderTraversal(root.right)
return leftVals + [root.val] + rightVals

其实本质上都是帮编译器“理清思路”，明确每个拼接项的类型，避免它在链式运算中出现类型推断混淆。

内容的提问来源于stack exchange，提问作者CCSab