Komentáře k příspěvku: Closures v C#

Od: Petr Krebs

Petr Krebs — Wed, 01 Feb 2012 15:12:02 +0000

Je třeba podotknout, že chování closures nad iteračními proměnnými (zde popsáno na začátku sekce „Vhnízděné closures“) se bude v další verzi C# měnit.

Viz http://blogs.msdn.com/b/ericlippert/archive/2009/11/16/closing-over-the-loop-variable-part-two.aspx

Jsem za to rád. Případů, kdy se něčí kód, napsaný intuitivně, leč bez 100% znalosti chování closures, byl díky tomuto chybný, jsem zaregistroval několik. Já sám jsem si tohoto chování všiml až teprve v momentě, kdy mě na něj upozornil Resharper, a to jsem se do té doby považoval za relativně „poučeného“

Od: P

Mon, 07 Nov 2011 15:31:39 +0000

Jen drobnost, řídící proměnná for cyklu nemá scope na celé metodě,alespoň dle MSDN:

The scope of a local variable declared in a for-initializer of a for statement (Section 8.8.3) is the for-initializer, the for-condition, the for-iterator, and the contained statement of the for statement.

Tuším, že to mělo co dělat s životnosti dané proměnné.

Od: Pazu

Pazu — Fri, 04 Feb 2011 18:05:39 +0000

Obdobné články, hlavní koncept pro closures je „zachycení“ = capture
http://blogs.msdn.com/b/abhinaba/archive/2005/10/18/482180.aspx
http://csharpindepth.com/Articles/Chapter5/Closures.aspx

Od: Aleš Roubíček

Aleš Roubíček — Sun, 09 Jan 2011 12:53:43 +0000

Z definice musí a je. viz třeba http://en.wikipedia.org/wiki/First-class_function

Od: Zilog

Zilog — Sun, 09 Jan 2011 10:37:51 +0000

Je to tak – funkce, coby (pseudo)kod kdesi v pameti, je vzdy z principu „ukazatelovita“. Pouze pokud jazyk explicitne pointery nezavadi, neni to hmatatelne, ale k firstclassovitosti to nestaci, pokud funkci nejde pouzivat ala datovy typ s hodnotou (nemusi to byt primo objekt).

Od: Augi

Augi — Sun, 09 Jan 2011 10:08:15 +0000

Díky za doplnění!
1) Máš pravdu. Nechtěl jsem ale zabíhat do zbytečných detailů, protože jsem zjistil, že většina (i jinak velmi dobrých) programátorů nemá ponětí o tom, že se něco takového na pozadí vůbec děje.
2) Toho jsem si všiml u nějakého tvého blogpostu – moc pěkný trik Ale to si schovávám do připravovaného článku „C# – tipy a triky“ (ano, konečně jsem dočetl CLR via C# ).
3) O tom asi radši blogovat nebudu, protože bych měl strach, že hodně čtenářů by vyvolalo StackOverflowException už při vysvětlování y-combinatoru (sám jsem měl na krajíčku)

Ale pro odvážné nabízím zajímavé zdroje k nastudování:
Y-combinator – sice v JavaScriptu, ale přijde mi to nejsrozumitelnější
Currying a aplikace parciálních metod v C#
Y-combinator v C#

Od: Rene Stein

Rene Stein — Sun, 09 Jan 2011 08:29:53 +0000

Moc pěkné shrnutí.
Jen pár poznámek:
1)Když už ukazuješ, jak vypadají třídy generované kompilátorem, možná by stálo za to ukázat, za jakých okolností je generována metoda ve stávající třídě, kdy v samostatné třídě, proč dostaneme občas warning o neverifikovatlném kódu při volání base.xyz atd.
2) U anonymních metod by stálo za zmínku, že mají oproti lambdám jedinou výhodu. Když argumenty metody nepoužíváme, nenemusíme je u anonymní metody ani deklarovat. Tose dá využít třeba u událostí, kdy se přiřadí události výchozí null handler a není nutné testovat událost při vyvolávání, jestli má hodnotu null.
public event EventHandler StateChanged = delegate{};
3) Když budeš psát další verzi článku, myslím, že člověk skutečně pochopí lambdy, když si napíše YKombinator a parciálni aplikaci metod (i currying).

Od: Augi

Augi — Sun, 09 Jan 2011 08:29:49 +0000

Však verze CLR je pro FW 2.0 a FW 3.5 stejná (2.0), tak proč by ne? Ale pro klid tvé duše jsem to upravil

Od: Yossarian

Yossarian — Sun, 09 Jan 2011 02:47:35 +0000

Ja bych jen doplnil, ze
public class Test { public delegate string TestDelegate(int i); // deklarace typu // to same jako Func

public static void Main() { Func d = delegate(int i) { return i.ToString(); }; Console.WriteLine(d(1)); } }

v c# 2.0 neprelozis, neb Func je az v 3.5 frameworku.. Nebo se da starsi kompilator nastavit proti novymu FW?

Od: Aleš Roubíček

Aleš Roubíček — Sat, 08 Jan 2011 20:30:41 +0000

Pěkně shrnuto )

Jen těm first-class function: prvotřídní funkce bych nenazýval ukazatelem na funkci. Vyjadřuje to trochu jinou vlastnost a to, že funkce jsou také plnohodnotné objekty.