지역 형식 유추(Visual Basic)
Visual Basic 컴파일러는 형식 유추를 사용하여 As 절 없이 선언된 지역 변수의 데이터 형식을 결정합니다. 컴파일러는 초기화 식의 형식에서 변수 형식을 유추합니다. 따라서 다음 예제와 같이 형식을 명시하지 않고 변수를 선언할 수 있습니다. 선언 결과로 num1과 num2는 모두 정수로 강력하게 형식화되어 있습니다.
Public Sub inferenceExample()
' Using explicit typing.
Dim num1 As Integer = 3
' Using local type inference.
Dim num2 = 3
End Sub
참고
앞의 예제에서 num2를 Integer 형식으로 만들지 않으려면 Dim num3 As Object = 3 또는 Dim num4 As Double = 3 같은 선언을 사용하여 다른 형식을 지정하면 됩니다.
지역 형식 유추는 프로시저 수준에서 적용됩니다. 모듈 수준, 즉 클래스, 구조체, 모듈 또는 인터페이스 내에서 변수를 선언하는 데는 사용할 수 없지만 프로시저 또는 블록 내에서는 사용할 수 있습니다. 앞의 예제에서 num2가 프로시저의 지역 변수가 아니라 클래스의 필드였다면 Option Strict on의 경우 선언에서 오류가 발생하고, Option Strict off의 경우 num2를 Object로 분류했을 것입니다. 마찬가지로 지역 형식 참조는 Static으로 선언된 프로시저 수준 변수에 적용되지 않습니다.
형식 유추와런타임에 바인딩 비교
형식 유추를 사용하는 코드는 런타임에 바인딩을 사용하는 코드와 비슷합니다. 그러나 형식 유추는 변수를 Object로 두는 대신 강력한 형식으로 만듭니다. 컴파일러는 변수의 이니셜라이저를 사용하여 초기 바인딩 코드를 만들기 위한 변수의 형식을 컴파일 타임에 결정합니다. 앞의 예제에서 num2는 num1과 마찬가지로 Integer 형식으로 지정되었습니다.
초기 바인딩 변수의 동작은 런타임에만 형식을 알 수 있는 런타임에 바인딩된 변수의 동작과 다릅니다. 형식을 초기에 알면 컴파일러가 실행 이전에 문제를 식별하고, 메모리를 정확하게 할당하고, 기타 최적화를 수행할 수 있습니다. 초기 바인딩은 Visual Basic IDE(통합 개발 환경)에서 개체의 멤버에 대한 IntelliSense 도움말도 제공할 수 있도록 합니다. 또한 초기 바인딩은 성능 때문에 선호됩니다. 런타임에 바인딩된 변수에 저장된 모든 데이터는 Object 형식으로 래핑되어야 하고, 런타임에 이 형식의 멤버에 액세스하면 프로그램이 느려지기 때문입니다.
예제
형식 유추는 As 절 없이 선언된 지역 변수가 초기화될 때 발생합니다. 컴파일러는 할당된 초기 값의 형식을 변수의 형식으로 사용합니다. 예를 들어, 다음 코드 줄은 각각 String 형식의 변수를 선언합니다.
' Using explicit typing.
Dim name1 As String = "Springfield"
' Using local type inference.
Dim name2 = "Springfield"
다음 코드에서는 정수 배열을 만들기 위한 두 가지의 동일한 방법을 보여 줍니다.
' Using explicit typing.
Dim someNumbers1() As Integer = New Integer() {4, 18, 11, 9, 8, 0, 5}
' Using local type inference.
Dim someNumbers2 = New Integer() {4, 18, 11, 9, 8, 0, 5}
형식 유추를 사용하여 편리하게 루프 제어 변수의 형식을 결정할 수 있습니다. 다음 코드에서 컴파일러는 앞의 예제의 someNumbers2가 정수 배열이므로 number가 Integer라고 유추합니다.
Dim total = 0
For Each number In someNumbers2
total += number
Next
지역 형식 유추는 다음 예제와 같이 Using 문에서 리소스 이름의 형식을 설정하는 데 사용될 수 있습니다.
Using proc = New System.Diagnostics.Process
' Insert code to work with the resource.
End Using
변수의 형식은 다음 예제와 같이 함수의 반환 값에서 유추될 수도 있습니다. Process.GetProcesses가 프로세스 배열을 반환하므로 pList1과 pList2는 모두 프로세스 배열입니다.
' Using explicit typing.
Dim pList1() As Process = Process.GetProcesses()
' Using local type inference.
Dim pList2 = Process.GetProcesses()
Option Infer
Option Infer를 통해 특정 파일에서 지역 형식 유추가 허용되는지 여부를 지정할 수 있습니다. 옵션을 허용하거나 차단하려면 파일의 시작 부분에 다음 문 중 하나를 입력합니다.
Option Infer On
Option Infer Off
코드에서 Option Infer에 대한 값을 지정하지 않는 경우 컴파일러 기본값은 Option Infer On입니다. Visual Basic 2008 이전에서 업그레이드된 프로젝트의 경우 컴파일러 기본값은 Option Infer Off입니다.
참고
파일에서 Option Infer에 대해 설정한 값이 IDE 또는 명령줄에 설정된 값과 충돌하는 경우 파일의 값이 우선 순위를 갖습니다.
자세한 내용은 Option Infer 문 및 프로젝트 디자이너, 컴파일 페이지(Visual Basic)을 참조하십시오.
제한
형식 유추는 정적이 아닌 지역 변수에만 사용될 수 있으며 클래스 필드, 속성 또는 함수의 형식을 결정하는 데에는 사용될 수 없습니다.
참고 항목
참조
For Each...Next 문(Visual Basic)