21.7 대리자 인스턴스 동일성
다음 규칙은 동일 연산자(§7.9.8)와 무명 메서드 대리자 인스턴스의 object.Equals 메서드에 의해 생성된 결과에 적용됩니다.
l 대리자 인스턴스가 캡처된 외부 변수의 동일한 집합을 사용하여 의미상 동일한 무명 메서드 식을 평가한 결과인 경우 동일하다고 간주됩니다(그러나 반드시 동일할 필요는 없음).
l 대리자 인스턴스가 다른 의미 체계를 사용하거나 캡처된 외부 변수의 다른 집합을 사용하여 익명 메서드 식으로 표현되는 경우 결코 동일하지 않습니다.
21.8 명시적 할당
무명 메소드 매개변수의 명시적 할당 상태는 명명된 메소드의 명시적 할당 상태와 동일합니다. 즉, 참조 매개변수와 값 매개변수에는 초기값이 명시적으로 할당되지만 출력 매개변수에는 초기값이 할당될 필요가 없습니다. 또한 무명 메서드가 정상적으로 반환되기 전에 출력 매개 변수를 명시적으로 할당해야 합니다(§5.1.6).
무명 메서드 식의 프로그램 블록으로 제어가 전송되면 외부 변수 v의 명시적 할당 상태는 무명 메서드 식 앞의 v의 명시적 할당 상태와 동일합니다. 즉, 외부 변수에 대한 명시적 할당은 무명 메서드 식 컨텍스트에서 상속됩니다. 무명 메서드 블록 내에서는 일반 블록 내에서처럼 명시적 할당이 추론됩니다(§5.3.3).
무명 메서드 식 뒤의 변수 v의 명시적 할당 상태는 무명 메서드 식 앞의 명시적 할당 상태와 동일합니다.
예를 들어
delegate bool Filter(int i); void F() { int max; // 错误,max没有明确赋值 Filter f = delegate(int n) { return n < max; } max = 5; DoWork(f); }
은 익명 메서드가 선언된 곳에 max가 명시적으로 할당되지 않았기 때문에 컴파일 시간 오류를 생성합니다. 예제
delegate void D(); void F() { int n; D d = delegate { n = 1; }; d(); //错误,n没有明确赋值 Console.WriteLine(n); }
도 컴파일 시간 오류를 생성합니다. 무명 메서드 내부의 n 할당은 무명 메서드 외부의 n의 명시적 할당 상태에 영향을 주지 않기 때문입니다.
21.9 메서드 그룹 변환
§21.3에 설명된 암시적 익명 메서드 변환과 유사하게 메서드 그룹(§7.1)에서 호환 가능한 대리자 유형으로의 암시적 변환도 있습니다. 전환하다.
지정된 메서드 그룹 E 및 대리자 유형 D에 대해 new D(E) 형식의 대리자 생성 식이 허용되는 경우(§7.5.10.3 및 §20.9.6) E에서 D로의 암시적 경로가 있습니다. 변환 및 변환 결과는 new D(E)와 정확히 동일합니다.
다음 예에서
using System; using System.Windows.Forms; class AlertDialog { Label message = new Label(); Button okButton = new Button(); Button cancelButton = new Button();` public AlertDialog() { okButton.Click += new EventHandler(OkClick); cancelButton.Click += new EventHandler(CancelClick); ... } void OkClick(object sender, EventArgs e) { ... } void CancelClick(object sender, EventArgs e) { ... } }
생성자는 new를 사용하여 두 개의 대리자 인스턴스를 만듭니다. 암시적 메서드 그룹 변환을 사용하면 이를
public AlertDialog() { okButton.Click += OkClick; cancelButton.Click += CancelClick; ... }
으로 단순화할 수 있습니다. 다른 모든 암시적 및 명시적 변환과 마찬가지로 변환 연산자를 사용하여 특정 변환을 명시적으로 수행할 수 있습니다. 이를 위해 대신
object obj = new EventHandler(myDialog.OkClick);
예제를 다음과 같이 작성할 수 있습니다.
object obj = (EventHandler)myDialog.OkClick;
메소드 구성 익명 메소드 표현식은 오버로드 해결에 영향을 미칠 수 있지만 유형 추론에는 참여하지 않습니다. 자세한 내용은 §20.6.4를 참조하세요.
21.10 구현 예
이 섹션에서는 표준 C# 구성 요소 형식의 익명 메서드 구현에 대해 설명합니다. 여기에 설명된 구현은 Microsoft C# 컴파일러에서 사용하는 것과 동일한 원칙을 기반으로 하지만 반드시 필수이거나 유일한 구현은 아닙니다.
이 섹션의 후반부에는 다양한 특성을 가진 익명 메서드가 포함된 몇 가지 예제 코드가 제공됩니다. 각 예에 대해 고유한 표준 C# 구문을 사용하여 해당 코드 변환을 제공합니다. 이러한 예에서 식별자 D는 다음 대리자 유형을 나타내는 것으로 가정됩니다.
public delegate void D();
무명 메소드의 가장 간단한 형태는 외부 변수를 캡처하지 않는 메소드입니다.
class Test { static void F() { D d = delegate { Console.WriteLine("test"); }; } }
이 코드는 컴파일러에서 생성된 정적 메서드를 참조하는 대리자 인스턴스로 변환될 수 있으며, 무명 메서드의 코드는 정적 메서드에 배치됩니다. ,
class Test { static void F() { D d = new D(__Method1); } static void __Method1() { Console.WriteLine("test"); } }
다음 예에서 무명 메서드는 this의 인스턴스 멤버를 참조합니다.
class Test { int x; void F() { D d = delegate { Console.WriteLine(x); }; } }
이것은 익명 메서드 코드가 포함된 컴파일러에서 생성된 인스턴스 메서드로 변환될 수 있습니다.
class Test { int x; void F() { D d = new D(__Method1); } void __Method1() { Console.WriteLine(x); } }
이 예에서 무명 메소드는 지역 변수를 캡처합니다.
class Test { void F() { int y = 123; D d = delegate { Console.WriteLine(y); }; } }
该局部变量的生存期现在至少必须延长到匿名方法委托的生存期为止。这可以通过将局部变量“提升(lifting)”为编译器生成的(compiler-generated)类的字段来完成。局部变量的实例化对应于创建一个编译器生成的类的实例,而访问局部变量将对应于访问编译器生成的类实例的一个字段。并且,匿名方法将成为编译器生成类的实例方法。
class Test { void F() { __locals1 = new __Locals1(); __locals1.y = 123; D d = new D(__locals1.__Method1); } class __Locals1 { public int y; public void __Method1() { Console.WriteLine(y); } } }
最后,如下匿名方法将捕获this,以及具有不同生存期的两个局部变量。
class Test { int x; void F() { int y = 123; for (int i = 0; i < 10; i++) { int z = i * 2; D d = delegate { Console.WriteLine(x + y + z); }; } } }
在这里,编译器将为每个语句块生成类,在这些语句块中局部变量将被捕获,而在不同块中的局部变量将会有独立的生存期。
__Locals2的实例,编译器为内部语句块生成的类,包含局部变量z和引用__Locals1实例的字段。__Locals1的实例,编译器为外部语句块生成的类,包含局部变量y和引用封闭函数成员的this的字段。通过这些数据结构,你可以通过__Locals2的一个实例到达所有被捕获的局部变量,并且匿名方法的代码可以作为那个类的实例方法而实现。
class Test { void F() { __locals1 = new __Locals1(); __locals1.__this = this; __locals1.y = 123; for (int i = 0; i < 10; i++) { __locals2 = new __Locals2(); __locals2.__locals1 = __locals1; __locals2.z = i * 2; D d = new D(__locals2.__Method1); } } class __Locals1 { public Test __this; public int y; } class __Locals2 { public __Locals1 __locals1; public int z; public void __Method1() { Console.WriteLine(__locals1.__this.x + __locals1.y + z); } } }
(匿名方法完)
以上就是C# 2.0 Specification(匿名方法)(二)的内容,更多相关内容请关注PHP中文网(www.php.cn)!