c# kam lambda delegat shrani spremenljivke? (in njegov scope)

static class StaticniRazred
	{
		public static MethodInvoker FunkcijaGetDelegate(int NUM)
		{
			return () => { MessageBox.Show("NUM je: " + NUM.ToString()) };
		}
	}
//MethodInvoker je standardni parameterless void delegat

Main()
{
MethodInvoker MI1 = StaticniRazred.FunkcijaGetDelegate(128);
MethodInvoker MI2 = StaticniRazred.FunkcijaGetDelegate(256);

			MI1.Invoke();
			MI2.Invoke();
}

darkolord je 4. mar 2010 ob 01:19 izjavil:

delegati so kolkor vem "pointerji do funkcij"

Ja, uporabljajo se že kot "function pointerji", v resnici pa niso ravno to - dejansko je delegat class. Zaradi tega lahko tudi deklariraš spremenljivke z delegatom kot tipom, ga podajaš kot parameter in ga instanciraš (če bi bil samo pointer do funkcije, tega ne bi glih mogel, ane)

fiction je 4. mar 2010 ob 21:25 izjavil:

KaRkY je 4. mar 2010 ob 13:35 izjavil:

Lambde niso kazalci na funkcije ampak koda ki se runtime evaluira.

A lambda expression is an anonymous function that can contain expressions and statements, and can be used to create delegates or expression tree types. (vir)

Lambda racun je cisto matematicen koncept (z enako "izrazno mocjo" kot Turingov stroj). Pri funkcijskem programiranju se uporabja lambda izraz v stilu x preslikaj v x + 1. Nimas pa cisto nobenih drugih spremenljivk v katerih bi si lahko hranil stanje ali pa zank. Tako da je funkcija res taka kot v matematiki in nima nobenih stranskih ucinkov. Pomoje "(x) => expression" steje kot "pravi" lambda izraz, "() => { statement }" pa ne ravno, posebej ce imajo ukazi le stranski ucinek, da nekaj izpisejo.

V .NET je lambda izraz IMHO le neke vrste syntactic sugar. Kul je to, da se samodejno sklepa o podatkovnih tipih, ter da je zapis bolj kompakten. Ampak to je pa to. Se vedno mora obstajati neka anonimna metoda, ki vsebuje tisti statement. In bytecode za to se najbrz zgenerira ze ob prevajanju. JIT je verjetno le prevajanje te vmesne kode v pravo strojno kodo. Mocno dvomim o tem, da bi se lahko kar neka nova metoda v runtimu "dostukala". V tem primeru v bistvu lambda izraz lahko priredis delegatu.

Drugi nacin pa lahko uporabis v "(x) => expression" primeru. Takrat to lahko priredis drevesu izrazov (ExpressionTree). To potem kolikor stekam pomeni, da je v programu en podatek vec, ni pa posebne anonimne metode. In v runtimu imas nacin, da se evaluira vrednost izraza, ki je zapisan s pomocjo tega (ali pa kateregakoli) drevesa.

Pri funkcijskem programiranju se uporabja lambda izraz v stilu x preslikaj v x + 1.