C# 2.0仕様書(匿名方式) (1)

Jan 03, 2017 am 11:55 AM

21 匿名メソッド

21.1. 匿名メソッド式

匿名メソッド式 (anonymous-method-expression) は、メソッドを参照する特定の値として評価される匿名メソッド (匿名メソッド) を定義します。
l Primary-no-array-creation-expression (基本的な非配列作成式:)

anonymous-method-expression (匿名メソッド式)
l anonymous-method-expression:
delegate anonymous-method-signature opt ブロック(匿名メソッド式: デリゲート匿名メソッド署名オプションブロック)
l anonymous-method-signature:
( anonymous-method-parameter-list opt ) (匿名メソッド署名: 匿名メソッドパラメータリストオプション)
l anonymous-method-パラメータリスト:
匿名メソッドパラメータ
匿名メソッドパラメータリスト、匿名メソッドパラメータ (匿名メソッドパラメータリスト: 匿名メソッドパラメータ匿名メソッドパラメータリスト)
l 匿名メソッドパラメータ:
パラメータ -modifieropt型識別子 (匿名メソッドのパラメータ: パラメータ修飾子、オプションの型識別子)
匿名メソッドの式は、特定の変換規則 (§21.3) を持つ値として分類されます。
匿名メソッド式は、パラメータ、ローカル変数、定数の新しい宣言空間と、ラベルの新しい宣言空間を定義します (§3.3)。

21.2 匿名メソッド署名

オプションの匿名メソッド署名 (anonymous-method-signature) は、匿名メソッドの仮パラメータの名前と型を定義します。匿名メソッドのパラメータスコープはブロックです。スコープに匿名メソッド式が含まれるローカル変数、ローカル定数、またはパラメーターの名前と一致すると、匿名メソッドのパラメーター名のコンパイル時エラーが発生します。
匿名メソッド式に匿名メソッド シグネチャがある場合、それと互換性のあるデリゲート型は、同じパラメーター型と修飾子を同じ順序で持つデリゲート型のセットに限定されます (§21.3)。匿名メソッド式に匿名メソッド シグネチャがない場合、その式と互換性のあるデリゲート型は、出力パラメーターを持たないデリゲート型のセットに限定されます。

匿名メソッドのシグネチャには属性やパラメーター配列を含めることはできないことに注意してください。ただし、匿名メソッド シグネチャは、パラメーター リストにパラメーター配列が含まれるデリゲート型と互換性があります。

21.3 匿名メソッドの変換

匿名メソッドの式は、型なしの値として分類されます。匿名メソッド式は、デリゲート作成式で使用できます (§21.3.1)。匿名メソッド式の他のすべての正当な使用法は、ここで定義された暗黙的な変換に依存します。
あらゆるデリゲートと互換性のある匿名メソッド式からの暗黙的な変換が存在します。 D がデリゲート型で、A が匿名メソッド式の場合、次の条件が満たされていれば、D は A と互換性があります:
l まず、D のパラメータ型は A と互換性があります:
n A に匿名メソッドが含まれていない場合メソッド シグネチャの場合、D のパラメータに出力パラメータ修飾子がない限り、D は任意の型のパラメータを 0 個以上持つことができます。
n A が匿名メソッド シグネチャを持つ場合、D は同じ数のパラメータを持たなければならず、A の各パラメータは D の対応するパラメータと同じ型でなければならず、各パラメータの ref または out 修飾子が存在する必要があります。 A 一致するかどうかに関係なく、D の対応するパラメータと一致する必要があります。 D の最後のパラメータがパラメータ配列であるかどうかは、D と A の互換性とは何の関係もありません。
l 次に、D の戻り値の型は A と互換性がある必要があります。これらのルールでは、A に他の匿名メソッド ブロックが含まれる場合は考慮されません。
n D が戻り値の型 void を宣言する場合、A に含まれる return ステートメントでは式を指定してはなりません。
n D が型 R の戻り値の型を宣言する場合、A に含まれる return ステートメントは暗黙的に R に変換 (§6.1) できる式を指定する必要があります。また、A のブロックの終点は到達不可能でなければなりません。
互換性のあるデリゲート型への暗黙的な変換以外に、オブジェクト型であっても匿名メソッドに対する他の変換はありません。
次の例は、これらのルールを示しています:

delegate void D(int x);
D d1 = delegate { }; // Ok
D d2 = delegate() { }; // 错误,签名不匹配
D d3 = delegate(long x) { }; //错误,签名不匹配
D d4 = delegate(int x) { }; // Ok
D d5 = delegate(int x) { return; }; // Ok
D d6 = delegate(int x) { return x; }; // 错误,返回类型不匹配
delegate void E(out int x);
E e1 = delegate { }; // 错误e具有输出参数
E e2 = delegate(out int x) { x = 1; }; // Ok
E e3 = delegate(ref int x) { x = 1; }; //错误,签名不匹配
delegate int P(params int[] a);
P p1 = delegate { }; // 错误,块的结束点可达
P p2 = delegate { return; }; // 错误,返回类型不匹配
P p3 = delegate { return 1; }; // Ok
P p4 = delegate { return "Hello"; }; //错误,返回类型不匹配
P p5 = delegate(int[] a) { // Ok
return a[0];
};
P p6 = delegate(params int[] a) { // 错误, 具有params 修饰符
return a[0];
}; 
P p7 = delegate(int[] a) { //错误,返回类型不匹配
if (a.Length > 0) return a[0];
return "Hello";
};
delegate object Q(params int[] a);
Q q1 = delegate(int[] a) { // Ok
if (a.Length > 0) return a[0];
return "Hello";
};
ログイン後にコピー

21.3.1 デリゲート作成式

デリゲート作成式 (§7.5.10.3)] は、匿名メソッドをデリゲートに変換するために使用できます。型の代替構文。デリゲート作成式への引数として使用される式が匿名メソッド式である場合、その匿名メソッドは、上で定義した暗黙的な変換規則を使用して、指定されたデリゲート型に変換されます。たとえば、D がデリゲート型の場合、式

new D(delegate { Console.WriteLine("hello"); })
ログイン後にコピー


(D) delegate { Console.WriteLine("hello"); }
ログイン後にコピー

21.4 匿名メソッド ブロック

と同等です。

匿名方法表达式的块遵循下列规则:
l 如果匿名方法包含签名,那么在签名中指定的参数在块内是有效的。如果匿名方法不具有签名,它可以被转换为具有参数的委托类型(§21.3),但参数在块内不可访问。
l 除了在最接近的封闭匿名方法签名中指定的ref和out参数(如果有的话)以外,对于块来说访问ref或者out参数将导致编译时错误。
l 当this的类型是一个结构类型时,对于块来说,访问this将导致编译时错误。无论该访问是显式的(像this.x)或者隐式的(像对于在结构实例的成员中的x),情况都是如此。该规则只是禁止此类访问方式,但并不影响在结构中成员查找的结果。
l 块可以访问匿名方法的外部变量(§21.5)。当匿名方法表达式被计算(§21.6)的时候,对于外部变量的访问,将会引用激活的(active)变量的实例。
l 对于块来说,包含一个其目标在块之外,或一个内嵌的匿名方法的块之内的goto语句、break语句或continue语句,将导致编译时错误。
l 在块内的return 语句,将从最接近的封闭匿名方法调用中返回控制权,而不是从封闭函数成员中返回。在return 语句中指定的表达式必须与某个委托类型兼容,而最接近的匿名方法表达式将被转换到该委托类型(§21.3)。

执行一个匿名方法的程序块,除了通过匿名方法表达式的计算和调用(evaluation and invocation)之外,是否还有其他方法,并没有明确地详细说明。特别的是,编译器可以通过合成一个或多个命名方法或类型来实现匿名方法,任何此类合成的元素的名字,必须为编译器的使用而保留在一个地方:名字必须保留两个连续下划字符。

21.5外部变量

作用域包含匿名方法表达式的任何局部变量、值参数和参数数组,都被称为匿名方法表达式的外部变量。在类的实例函数成员中,this值被认为是一个值参数,它也是包含在函数成员内的任何匿名方法表达式的外部变量

21.5.1捕获外部变量

当外部变量通过匿名方法而被引用时,就可以说这个外部变量被匿名方法所捕获(captured)了。通常,局部变量的生存期被限制为它所关联的程序块或语句的执行区(§5.1.7)。但被捕获的外部变量的生存期将至少被延长,直到引用匿名方法的委托可以被垃圾回收时为止。
示例

using System;
delegate int D();
class Test
{
static D F() {
int x = 0;
D result = delegate { return ++x; }
return result;
}
static void Main() {
D d = F();
Console.WriteLine(d());
Console.WriteLine(d());
Console.WriteLine(d());
}
}
ログイン後にコピー

局部变量x被匿名方法所捕获,并且x的生存期至少被延长,直到从F中返回的委托可以被垃圾回收为止(在这里,这一点直到程序结束才满足),既然匿名方法的每次调用都在x的相同实例上进行操作,该示例输出的结果为:

1
2
3
ログイン後にコピー

当局部变量或值参数被匿名方法所捕获时,该局部变量和值参数将不再被认为是固定的(fixed)变量(§18.3),相反它成了可移动的(movable)变量。因此,任何取得被捕获的外部变量地址的不安全代码都必须首先使用fixed语句固定该变量。

21.5.2局部变量实例化

当程序执行到变量的作用域时,局部变量就被认为是实例化(instantiated)了。例如,当下面的方法被调用时,局部变量将被三次实例化和初始化——对于循环中的每次迭代都有一次。

static void F() {
for (int i = 0; i < 3; i++) {
int x = i * 2 + 1;
...
}
}
ログイン後にコピー

但是,如果将x的声明移出循环之外,则对于x只会产生一次实例化。

static void F() {
int x;
for (int i = 0; i < 3; i++) {
x = i * 2 + 1;
...
}
}
ログイン後にコピー

通常,我们无法确切地看到一个局部变量多久被实例化一次——因为实例化的生命期被拆散(disjoint)了,可能的情况是,每次实例化都只是使用相同的存储位置。然而当一个匿名方法捕获一个局部变量的时候,实例化的影响将变得很明显。如示例

using System;
delegate void D();
class Test
{
static D[] F() {
D[] result = new D[3];
for (int i = 0; i < 3; i++) {
int x = i * 2 + 1;
result[i] = delegate { Console.WriteLine(x); };
}
return result;
}
static void Main() {
foreach (D d in F()) d();
}
}
ログイン後にコピー

产生如下输出。

1
3
5
ログイン後にコピー

但如果将x的声明移到循环之外

static D[] F() {
D[] result = new D[3];
int x;
for (int i = 0; i < 3; i++) {
x = i * 2 + 1;
result[i] = delegate { Console.WriteLine(x); };
}
return result;
}
ログイン後にコピー

其输出如下。

5
5
5
ログイン後にコピー

请注意在F的新版本中创建的三个委托依据相等运算符(§21.7)是等价的。并且,允许编译器(但不是必须的)将三次实例化优化为一个单一的委托实例(§21.6)。
你可以让匿名方法委托共享某些具有其他单独实例的被捕获变量。例如,如果F被改变

static D[] F() {
D[] result = new D[3];
int x = 0;
for (int i = 0; i < 3; i++) {
int y = 0;
result[i] = delegate { Console.WriteLine("{0} {1}", ++x, ++y); };
}
return result;
}
ログイン後にコピー

这三个委托捕获了X的同一实例,但捕获了Y的多个单独实例,所以输出如下。

1 1
2 1
3 1
ログイン後にコピー

单独的匿名方法可以捕获外部变量的相同实例。例如

using System;
delegate void Setter(int value);
delegate int Getter();
class Test
{
static void Main() {
int x = 0;
Setter s = delegate(int value) { x = value; };
Getter g = delegate { return x; };
s(5);
Console.WriteLine(g());
s(10);
Console.WriteLine(g());
}
}
ログイン後にコピー

两个匿名方法捕获了局部变量X的同一实例,并且它们可以通过该变量“通信”。该示例输出如下。

5
10
ログイン後にコピー

21.6匿名方法计算

匿名方法表达试的运行时计算产生一个引用匿名方法的委托实例,并且被捕获的外部变量的集合(可能为空)在计算时(the time of the evaluation)是活跃的(active)。当由匿名方法表达式所产生的委托被调用时,匿名方法体就会执行。方法体内的代码将使用由该委托引用而被捕获的外部变量执行。
由匿名方法表达时产生的委托调用列表包含一个单一入口。该委托的确切目标对象和目标方法都是未指定的。需要特别的注意的是,委托的目标对象是否为null,以及封闭函数成员的this值,或其他对象都是未指定的。
语义上相同的匿名方法的计算,如果它们带具有相同被捕获的外部变量集合(可能为空),可以(但不是必须)返回相同的委托实例。术语“语义上相同”用在这里,意思是说,该匿名方法的执行期在所有情况下,都产生给定相同实参的相同效果。这条规则允许如下的代码优化。

delegate double Function(double x);
class Test
{
static double[] Apply(double[] a, Function f) {
double[] result = new double[a.Length];
for (int i = 0; i < a.Length; i++) result[i] = f(a[i]);
return result;
}
static void F(double[] a, double[] b) {
a = Apply(a, delegate(double x) { return Math.Sin(x); });
b = Apply(b, delegate(double y) { return Math.Sin(y); });
...
}
ログイン後にコピー

}
由于两个匿名方法委托具有被捕获外部变量的相同集合(都为空),并且由于匿名方法在语义上是相同的,所以允许编译器产生引用同一目标方法的委托。实际上,这里允许编译器从两个匿名方法表达式返回相同的委托实例。
(to be continued)

以上就是C# 2.0 Specification(匿名方法)(一)的内容,更多相关内容请关注PHP中文网(www.php.cn)!


このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

Video Face Swap

Video Face Swap

完全無料の AI 顔交換ツールを使用して、あらゆるビデオの顔を簡単に交換できます。

ホットツール

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

C文字列におけるcharの役割は何ですか C文字列におけるcharの役割は何ですか Apr 03, 2025 pm 03:15 PM

Cでは、文字列でCharタイプが使用されます。1。単一の文字を保存します。 2。配列を使用して文字列を表し、ヌルターミネーターで終了します。 3。文字列操作関数を介して動作します。 4.キーボードから文字列を読み取りまたは出力します。

C言語でさまざまなシンボルを使用する方法 C言語でさまざまなシンボルを使用する方法 Apr 03, 2025 pm 04:48 PM

c言語のシンボルの使用方法は、算術、割り当て、条件、ロジック、ビット演算子などをカバーします。算術演算子は基本的な数学的操作に使用されます。割り当てと追加、下位、乗算、除算の割り当てには、条件操作に使用されます。ポインター、ファイル終了マーカー、および非数値値。

C言語で特殊文字を処理する方法 C言語で特殊文字を処理する方法 Apr 03, 2025 pm 03:18 PM

C言語では、以下などのエスケープシーケンスを通じて特殊文字が処理されます。\ nはラインブレークを表します。 \ tはタブ文字を意味します。 ESACEシーケンスまたは文字定数を使用して、Char C = '\ n'などの特殊文字を表します。バックスラッシュは2回逃げる必要があることに注意してください。さまざまなプラットフォームとコンパイラが異なるエスケープシーケンスを持っている場合があります。ドキュメントを参照してください。

マルチスレッドと非同期C#の違い マルチスレッドと非同期C#の違い Apr 03, 2025 pm 02:57 PM

マルチスレッドと非同期の違いは、マルチスレッドが複数のスレッドを同時に実行し、現在のスレッドをブロックせずに非同期に操作を実行することです。マルチスレッドは計算集約型タスクに使用されますが、非同期はユーザーインタラクションに使用されます。マルチスレッドの利点は、コンピューティングのパフォーマンスを改善することですが、非同期の利点はUIスレッドをブロックしないことです。マルチスレッドまたは非同期を選択することは、タスクの性質に依存します。計算集約型タスクマルチスレッド、外部リソースと相互作用し、UIの応答性を非同期に使用する必要があるタスクを使用します。

C言語のcharとwchar_tの違い C言語のcharとwchar_tの違い Apr 03, 2025 pm 03:09 PM

C言語では、charとwchar_tの主な違いは文字エンコードです。CharはASCIIを使用するか、ASCIIを拡張し、WCHAR_TはUnicodeを使用します。 Charは1〜2バイトを占め、WCHAR_Tは2〜4バイトを占有します。 charは英語のテキストに適しており、wchar_tは多言語テキストに適しています。 CHARは広くサポートされており、WCHAR_TはコンパイラとオペレーティングシステムがUnicodeをサポートするかどうかに依存します。 CHARの文字範囲は限られており、WCHAR_Tの文字範囲が大きく、特別な機能が算術演算に使用されます。

C言語でCharを変換する方法 C言語でCharを変換する方法 Apr 03, 2025 pm 03:21 PM

C言語では、charタイプの変換は、キャスト:キャスト文字を使用することにより、別のタイプに直接変換できます。自動タイプ変換:あるタイプのデータが別のタイプの値に対応できる場合、コンパイラは自動的に変換します。

C言語でchar配列の使用方法 C言語でchar配列の使用方法 Apr 03, 2025 pm 03:24 PM

Char Arrayは文字シーケンスをC言語で保存し、char array_name [size]として宣言されます。アクセス要素はサブスクリプト演算子に渡され、要素は文字列のエンドポイントを表すnullターミネーター「\ 0」で終了します。 C言語は、strlen()、strcpy()、strcat()、strcmp()など、さまざまな文字列操作関数を提供します。

C言語合計の機能は何ですか? C言語合計の機能は何ですか? Apr 03, 2025 pm 02:21 PM

C言語に組み込みの合計機能はないため、自分で書く必要があります。合計は、配列を通過して要素を蓄積することで達成できます。ループバージョン:合計は、ループとアレイの長さを使用して計算されます。ポインターバージョン:ポインターを使用してアレイ要素を指し示し、効率的な合計が自己概要ポインターを通じて達成されます。アレイバージョンを動的に割り当てます:[アレイ]を動的に割り当ててメモリを自分で管理し、メモリの漏れを防ぐために割り当てられたメモリが解放されます。

See all articles