7.1 作用域检查概述

自动确定作用域功能可以帮助您决定如何确定变量的作用域。但是，对于一些复杂程序，自动确定作用域可能不会成功，或者无法实现您期望的结果。错误确定作用域可能引发一些不引人注意但很严重的问题。例如，将某些变量的作用域错误地确定为 shared 可能会导致数据争用；将变量错误地专有化可能会在构造之内为变量使用未定义的值。

根据编译器的功能，作用域检查可以发现数据争用、不适当专有化、变量归约等潜在问题以及其他作用域问题。在作用域检查期间，编译器将检查编程人员指定的数据共享属性、预先确定和隐式确定的数据共享属性以及自动确定作用域结果。