Download as PDF, PPTX
![イテレータはいつ開始されるかstatic IEnumerable<int> Iter(){Console.WriteLine("IterStart");yield return 1;Console.WriteLine("IterEnd");}static void Main(string[] args){Console.WriteLine("Before GetEnumerator");var e = Iter().GetEnumerator();Console.WriteLine("After GetEnumerator");Console.WriteLine("Before MoveNext1");e.MoveNext();Console.WriteLine("After MoveNext1");Console.WriteLine("Current:" + e.Current);Console.WriteLine("Before MoveNext2");e.MoveNext();Console.WriteLine("After MoveNext2");}](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2faninternaloflinqtoobjects-131214025126-phpapp01%2f75%2fAn-Internal-of-LINQ-to-Objects-16-2048.jpg&f=jpg&w=240)
![イテレータはいつ開始されるかstatic IEnumerable<int> Iter(){Console.WriteLine("IterStart");yield return 1;Console.WriteLine("IterEnd");}Before GetEnumeratorstatic void Main(string[] args){Console.WriteLine("Before GetEnumerator");var e = Iter().GetEnumerator();Console.WriteLine("After GetEnumerator");Console.WriteLine("Before MoveNext1");e.MoveNext();Console.WriteLine("After MoveNext1");Console.WriteLine("Current:" + e.Current);Console.WriteLine("Before MoveNext2");e.MoveNext();Console.WriteLine("After MoveNext2");}After MoveNext1Current:1Before MoveNext2After GetEnumeratorBefore MoveNext1IterStartIterEndAfter MoveNext2最初のMoveNextが呼ばれたタイミングで動き出す](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2faninternaloflinqtoobjects-131214025126-phpapp01%2f75%2fAn-Internal-of-LINQ-to-Objects-17-2048.jpg&f=jpg&w=240)
![引数チェックのタイミングstatic IEnumerable<string> StringRepeat(string str, int count){// 引数チェックしてるのにif (str == null) throw new ArgumentNullException();for (int i = 0; i < count; i++){yield return str;}最初のMoveNextが呼ばれるまで本体は動き出さない}static void Main(string[] args){// 何も起こりませんvar repeat = StringRepeat(null, 100).Take(10);}MoveNextが呼ばれる = foreach or 即時実行のLINQクエリ演算子を呼んだ時](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2faninternaloflinqtoobjects-131214025126-phpapp01%2f75%2fAn-Internal-of-LINQ-to-Objects-19-2048.jpg&f=jpg&w=240)
![Language INtegreated Monadstatic void Main(string[] args){// クエリ構文でusingを表現var firstLines =from path in new[] { "foo.txt", "bar.txt" }from stream in File.OpenRead(path) // FileStreamがSelectManyの対象にfrom reader in new StreamReader(stream) // StreamReaderがSelectManyの対象にselect path + "¥t" + reader.ReadLine();}public static IEnumerable<TResult> SelectMany<TSource, TDisposable, TResult>(this IEnumerable<TSource> source,Func<TSource, TDisposable> disposableSelector,Func<TSource, TDisposable, TResult> resultSelector) where TDisposable : IDisposable{foreach (var item in source){using (var disposableItem = disposableSelector(item))Select, Where, SelectManyなどは{名前が一致すれば、自作メソッドyield return resultSelector(item, disposableItem);}をクエリ構文で使うことが可能}}](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2faninternaloflinqtoobjects-131214025126-phpapp01%2f75%2fAn-Internal-of-LINQ-to-Objects-37-2048.jpg&f=jpg&w=240)
![Count() vs CountCount()は全件列挙するからよくない？ICollection<T>を実装していれば、そちらのCountを使う(source as ICollection<T>).CountElementAt, Last, LastOrDefaultIList<T>を実装していればインデクサ経由でO(1)Lastは[xs.Length – 1]って書くのダルいので、普通に嬉しいReverseICollection<T>を実装していれば？CopyToを使って配列に一気にコピーしてから逆順forで列挙するIList<T>ではない、Indexer経由の遅さが気になるかもだからかな](/image.pl?url=https%3a%2f%2fimage.slidesharecdn.com%2faninternaloflinqtoobjects-131214025126-phpapp01%2f75%2fAn-Internal-of-LINQ-to-Objects-41-2048.jpg&f=jpg&w=240)
Recommended
An Internal of LINQ to Objects
- 1.An Internal ofLINQ to Objects2013/12/14Yoshifumi Kawai - @neuecc
- 2.Self Introduction@仕事株式会社グラニ 取締役CTOC#5.0 + .NET Framework 4.5 + ASP.NET MVC 5最先端C#によるハイパフォーマンスWebアプリケーション@個人活動Microsoft MVP for Visual C#Web http://neue.cc/Twitter @neueccLINQがひじょーに好き、趣味はライブラリ作成
- 3.As LibrarianNuGet公開パッケージ数30突破https://www.nuget.org/profiles/neuecc/linq.jsJavaScriptにLINQ toObjectsを移植したライブラリhttp://linqjs.codeplex.com/その他色々Chaining Assertion（ユニットテスト補助）, DynamicJson(dynamicなJSON),AsyncOAuth(PCLのOAuthライブラリ), CloudStructures(Object/Redisマッパー),ReactiveProperty(Rx + MVVM), AnonymousComparer(LINQ補助), etc...最近はOwinにムチューなのでMiddleware作ってきます
- 4.Session TargetLINQ toObjectsを十分知っている人知らない状態だと全体的にイミフかも？LINQ to Objectsという観点ではLEVEL 500を予定は未定もっと極めて見たいと思う人向け必ずどれかは知らなかった！というネタがあるはずもちろん、それ知ってるよ！もあるはず使えないネタから使えないネタまで基本的には使えないネタ多め、但し一部は非常に役立つかとは
- 5.
- 6.new Enumerable<T>()// メソッドチェーンEnumerable.Range(1,10).Select(i => i * i).Take(5);// を、細分化すると？var rangeEnumerable = Enumerable.Range(1, 10);var selectEnumerable = rangeEnumerable.Select(i => i * i);var takeEnumerable = selectEnumerable.Take(5);takeEnumerable.GetEnumerator();
- 7.
- 8.
- 9.Immediate vs Deferred即時実行(ImmediateExecution)クエリ演算子を呼ぶとすぐに実行されるものToArray, First, Sum, etc...ようするにIEnumerable<T>ではなく具体的な何かを返すもの遅延実行(Deferred Execution)クエリ演算子を呼んだ時点では実行されないものWhere, Select, OrderBy, etc...ようするにIEnumerable<T>を返すものメソッドチェーンしても毎回具体的な何かを返さないから実行効率やメモリ効率が良い、よって好きに繋げてください
- 10.Streaming vs Non-Streaming遅延実行は、更に2つのカテゴリーに分けられるStreaming必要なだけ少しずつ読み取っていくWhere,Select, Concat, Union, Distinct, Take, etc...Non-Streaming実行が開始された瞬間に全てのデータを読み込むOrderBy/Descending, ThenBy/Descending, GroupBy, ReverseJoin, GroupJoin, Except, Intersectは2つ目のシーケンス側が
- 11.
- 12.
- 13.IEnumerator<T> is IDisposableIEnumerable<T>がリソースを抱えている可能性外部リソース(ファイル,DB,etc…)からの読み込みに便利二度読みすると重かったり結果が変化したりしやすくて危険static IEnumerable<string> EnumerateLines(string path){using (var sr = new StreamReader(path)){よって生のIEnumerator<T>を扱うとwhile (!sr.EndOfStream){きは必ずusingすること！foreachやyield return sr.ReadLine();LINQの標準クエリ演算子は全てusing}されています。これはmustです}}
- 14.
- 15.IEnumerable<T>LINQの中心となるインターフェイスLINQはIEnumerable<T>の連鎖を、生成することが出来る言語機能from C# 2.0yieldreturnとyield breakLINQ to Objectsはこれで実装されてる自分で作るときも勿論これを使う
- 16.イテレータはいつ開始されるかstatic IEnumerable<int> Iter(){Console.WriteLine("IterStart");yieldreturn 1;Console.WriteLine("IterEnd");}static void Main(string[] args){Console.WriteLine("Before GetEnumerator");var e = Iter().GetEnumerator();Console.WriteLine("After GetEnumerator");Console.WriteLine("Before MoveNext1");e.MoveNext();Console.WriteLine("After MoveNext1");Console.WriteLine("Current:" + e.Current);Console.WriteLine("Before MoveNext2");e.MoveNext();Console.WriteLine("After MoveNext2");}
- 17.イテレータはいつ開始されるかstatic IEnumerable<int> Iter(){Console.WriteLine("IterStart");yieldreturn 1;Console.WriteLine("IterEnd");}Before GetEnumeratorstatic void Main(string[] args){Console.WriteLine("Before GetEnumerator");var e = Iter().GetEnumerator();Console.WriteLine("After GetEnumerator");Console.WriteLine("Before MoveNext1");e.MoveNext();Console.WriteLine("After MoveNext1");Console.WriteLine("Current:" + e.Current);Console.WriteLine("Before MoveNext2");e.MoveNext();Console.WriteLine("After MoveNext2");}After MoveNext1Current:1Before MoveNext2After GetEnumeratorBefore MoveNext1IterStartIterEndAfter MoveNext2最初のMoveNextが呼ばれたタイミングで動き出す
- 18.
- 19.引数チェックのタイミングstatic IEnumerable<string> StringRepeat(stringstr, int count){// 引数チェックしてるのにif (str == null) throw new ArgumentNullException();for (int i = 0; i < count; i++){yield return str;}最初のMoveNextが呼ばれるまで本体は動き出さない}static void Main(string[] args){// 何も起こりませんvar repeat = StringRepeat(null, 100).Take(10);}MoveNextが呼ばれる = foreach or 即時実行のLINQクエリ演算子を呼んだ時
- 20.分離するというマナーpublic static IEnumerable<string>StringRepeat(string str, int count){// 引数チェックは先に行ってif (str == null) throw new ArgumentNullException();return StringRepeatCore(str, count);メソッドを2つに分割する}// 本体はprivateに分離private static IEnumerable<string> StringRepeatCore(string str, int count){for (int i = 0; i < count; i++){yield return str;}全てのLINQ標準クエリ演算子がこれに}従っています。自分でyield return使って実装する時も従うべき
- 21.
- 22.Stable Sort andUnstable Sort大雑把なソートの分類破壊的か、非破壊的かOrderByはIEnumerable<T>が元で破壊不能というのもあり非破壊的安定ソートか、非安定ソートか安定ソートは同じ値が来た時、ソート前の順序が維持されるOrderByのアルゴリズムはQuickSortQuickSortは非安定ソートOrderByは安定ソートん？あれ？
- 23.
- 24.
- 25.OrderBy as Shuffle,OrderBy as MaxByShuffleが欲しい？seq.OrderBy(_ => Guid.NewGuid())Sortの比較関数にランダムは危険で偏りが出てしまうだけどOrderByの仕組みの場合は比較関数ではないので大丈夫MaxBy, MinByが欲しい？seq.OrderBy(x => x.Age).First();seq.OrderByDescending(x => x.Age).First();さすがOrderBy、なんでもできる！そこにシビれる憧れれぅ！
- 26.
- 27.
- 28.
- 29.
- 30.複数キーによるグルーピング匿名型を使おう！seq.GroupBy(x => new{ x.Age, x.Name });匿名型はGetHashCodeとEqualsを全プロパティで比較して一致させるので、判定要素に使える裏にあるDictionaryを考える集合系やグルーピングなど、IEqualityComparerを受けるオーバーロードがあるものは裏でHashSetやDictionaryが暗躍している要素の等しさを判定するのにIEqualityComparerを使うわけです
- 31.IEqualityComparerダルい例えばDistinctで、重複除去を特定要素でだけしたい// こんな大げさなものを定義してpublic classAgeEqualityComparer : IEqualityComparer<Person>{public bool Equals(Person x, Person y){return x.Age.Equals(y.Age);}public int GetHashCode(Person obj){return obj.Age.GetHashCode();}}// こうする。ダルい。Ageで比較したいだけなのにseq.Distinct(new AgeEqualityComparer());.Distinct(x => x.Age)って書きたい
- 32.AnonymousComparerというものを公開していますhttp://linqcomparer.codeplex.com/PM> Install-Package AnonymousComparer何が出来る？AnonymousComparer.Create.Distinct(x=> x.Age)って書ける！ラムダ式でIEqualityComparerを作成可能LINQ標準クエリ演算子へのオーバーロードIEqualityComparerを受けるオーバーロードが全てラムダ式受け入れ可に
- 33.
- 34.クエリ構文 vs メソッド構文メソッド構文のほうが好きむしろクエリ構文嫌いメソッド構文のいいところLINQto Objectsの全てのメソッドが使えるLINQ to Objectsの全てのオーバーロードが使えるSelectのindex付きオーバーロードとかクエリ構文使えないIntelliSensable!IntelliSenseがあるからクエリ構文よりむしろ書きやすい
- 35.Transparent Identifier #fromfroma in sourcefrom b in sourcefrom c in sourcefrom d in sourcefrom e in sourcewhere a % 2 == 0 && b % 2 == 0 && c % 2 == 0select string.Concat(a, b, c, d, e);
- 36.Transparent Identifier #letfromx in sourcelet a = x + xlet b = x - xlet c = x / xlet d = x * xselect a + b + c + d;
- 37.Language INtegreated Monadstaticvoid Main(string[] args){// クエリ構文でusingを表現var firstLines =from path in new[] { "foo.txt", "bar.txt" }from stream in File.OpenRead(path) // FileStreamがSelectManyの対象にfrom reader in new StreamReader(stream) // StreamReaderがSelectManyの対象にselect path + "¥t" + reader.ReadLine();}public static IEnumerable<TResult> SelectMany<TSource, TDisposable, TResult>(this IEnumerable<TSource> source,Func<TSource, TDisposable> disposableSelector,Func<TSource, TDisposable, TResult> resultSelector) where TDisposable : IDisposable{foreach (var item in source){using (var disposableItem = disposableSelector(item))Select, Where, SelectManyなどは{名前が一致すれば、自作メソッドyield return resultSelector(item, disposableItem);}をクエリ構文で使うことが可能}}
- 38.
- 39.
- 40.それAnyif(seq.Count() != 0)vs if(seq.Any())Countは最初から最後まで全て列挙して個数を計算するAnyは最初の一件があるかないかだけをチェックするAnyったらさいきょーねま、こういうチェックってその後に別のメソッドを、呼んでたら2回列挙ですね？→前の方のMaterializeの話ToArrayしますか、しましょうか
- 41.Count() vs CountCount()は全件列挙するからよくない？ICollection<T>を実装していれば、そちらのCountを使う(sourceas ICollection<T>).CountElementAt, Last, LastOrDefaultIList<T>を実装していればインデクサ経由でO(1)Lastは[xs.Length – 1]って書くのダルいので、普通に嬉しいReverseICollection<T>を実装していれば？CopyToを使って配列に一気にコピーしてから逆順forで列挙するIList<T>ではない、Indexer経由の遅さが気になるかもだからかな
- 42.There, There, Where,Where連打 is 楽しい.Where(x => pred1(x)).Where(x => pred2(x)).Where(x => pred3(x))それ&&?.Where(x => pred1(x) && pred2(x) && pred3(x))パイプライン削減？効率厨め！
- 43.LINQ has ComposabilityLINQの合成可能性を活かすときvarflag = true;var seq = Enumerable.Range(1, 10).Where(x => x % 2 == 0);if (flag){seq = seq.Where(x => x % 3 == 0).Take(2);}&&に常にまとめられるとは限らないFuncも合成できるけどC#で関数合成は面倒だしまたは、.Where(predicate)が意味でまとまってる時Where連打したほうがわかりやすいじゃない？
- 44.
- 45.
- 46.
- 47.Empty Considered HarmfultoAggregation
- 48.空シーケンスと集計例外出ます。Aggregateはseedつければ回避可能var empty =Enumerable.Empty<int>();// InvalidOperationExceptionvar product1 = empty.Aggregate((x, y) => x * y);// 0var product2 = empty.Aggregate(0, (x, y) => x * y);// InvalidOperationExceptionvar max = empty.Max();// InvalidOperationExceptionvar min = empty.Min();// InvalidOperationExceptionvar avg = empty.Average();Sumは0// 0var sum = empty.Sum();
- 49.空シーケンスとNullable(or class)例外出ません。// int?の空シーケンスvarempty = Enumerable.Empty<int?>();null返します。// InvalidOperationExceptionvar product = empty.Aggregate((x, y) => x * y);さすがにAggregateはダメこの振る舞いが妥当なのかは諸説あるとかないとか極力、値を返すようにする、という観点で見ればstructはデフォルト値がないからダメでclassならあるので返せるから、と見たり// nullvar max = empty.Max();// nullvar min = empty.Min();// nullvar avg = empty.Average();
- 50.DefaultIfEmpty #割と忘れる// Minが欲しいけどWhereでフィルタした結果Emptyになってしまう//けど例外は避けたい！// わざわざToArrayしてAnyで確認してから、とかも嫌！var min = Enumerable.Range(1, 10).Where(x => x > 10).Cast<int?>() // Nullableにキャストして.Min() ?? -1; // nullのままが嫌なら??で値を// 素直にDefaultIfEmpty使いましょう:)var min = Enumerable.Range(1, 10).Where(x => x > 10).DefaultIfEmpty(-1).Min();
- 51.
- 52.
- 53.
- 54.LINQ to Objectsfor JavaScriptJavaScript上で完全完璧に再現ICollectionなどの最適化 => 入ってるWhere.Whereなどの最適化 => 入ってるOrderByなどの仕組み => 入ってる標準クエリ演算子を全収録＋αプラスアルファでむしろ二倍以上のメソッド数JavaScriptのための文字列ラムダ式, TypeScript定義, IntelliSense用vsdoc
- 55.
- 56.
- 57.まとめ凄くシンプル、でも凄く奥が深いちょっと実装するだけだととても単純なのだけど潜れば潜るほど色々なことが発見できるLINQ to EverythingLINQto XML, Reactive ExtensionsAsynchronousに対する活用などなど沢山！LINQ to SQL, Entitiesは割とドウデモイイ