为什么需在switch/case外声明变量才可避免cannot find variable in scope报错？

底层核心原因 #

1. 局部作用域的静态语法规则 #

Swift 中所有被大括号{}包裹的代码块，都会生成独立的局部作用域：在代码块内部用let/var声明的变量，仅能在当前代码块内部访问，代码块执行结束后变量就会被销毁。
你第一段代码里每个case分支的let size都是声明在当前case的独立作用域里的，四个size是完全无关的四个局部变量，switch代码块执行结束后，所有case里声明的size都已经失效，return语句所在的函数根作用域根本找不到任何名为size的变量，自然会报「变量不在作用域内」的错误。
这里要注意：作用域是编译阶段就确定的静态规则，和你有没有覆盖所有switch分支、运行时一定会走某个case的逻辑没有任何关系，编译器不会因为你覆盖了所有分支，就把不同作用域下的同名变量自动合并到上层作用域。

2. 外部声明变量的语义差异 #

你第二段代码里把size声明在switch的上层，也就是函数的根作用域里，这个变量的生命周期和整个函数绑定：

• 所有case分支里的size = "xxx"都是对同一个上层变量的赋值操作，不是新声明变量
• Swift编译器会做变量初始化完整性校验，只要所有switch分支（包括default）都对该变量完成了赋值，就会认定return时该变量已经被合法初始化，可以正常访问。

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