为何Swift代码中带类型注解的元组赋值会引发循环引用？

你遇到的问题核心是对Swift元组声明语法的误解：

• 当你写let (a: Int, b: Int, w: Int) = (edge[0], edge[1], edge[2])时，这不是在声明三个独立的常量a/b/w并指定类型，而是在声明一个单个元组常量——这个元组的三个元素带有标签a、b、w，且每个元素类型为Int。
• 而右边的(edge[0], edge[1], edge[2])是一个无标签的三元Int元组，两者在元组结构（标签存在与否）上不匹配。

编译器在处理这种不匹配的赋值时，类型推断逻辑出现混乱，误报了“循环引用”错误——实际上本质是元组结构不兼容导致的类型匹配失败。

而去掉类型注解的写法let (a, b, w) = (edge[0], edge[1], edge[2])，是Swift的元组解构语法：它会将右边无标签元组的三个元素，分别赋值给三个独立的常量a、b、w，编译器可以自动推断出它们的类型为Int，因此能正常运行。

如果想要给这三个常量显式指定类型，正确的写法应该是：

let (a, b, w): (Int, Int, Int) = (edge[0], edge[1], edge[2])

或者直接分开声明：

let a: Int = edge[0]
let b: Int = edge[1]
let w: Int = edge[2]

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