Download to read offline
この実装には問題がある！
- 1.
- 2. 自己紹介 某ラビットハウス社で働く社畜 新3年生 ・ Java,Scala, Swift, C#, PHP, F-BASIC など... ・ iOS開発初めて1年くらい ・ 日本ごちうさユーザーグループ(JGUG) ・ ごちうさ関連のエンジニアリングのお仕事依頼お待ちしております 🐰 時間がないので自己紹介は割愛します🐰 @gomi_ningen
- 3.
- 4.
- 5. 簡単な関数について考えていく 1 から nまでの整数(0, 1, 2 ...)の和を返す関数 tri を実装したい tri(n) = 0 + 1 + 2 + ... + (n -1) + n
- 6. 簡単な関数について考えていく 1 から nまでの整数(0, 1, 2 ...)の和を返す関数 tri を実装する tri(n) = 0 + 1 + 2 + ... + (n -1) + n だいたいこんなかんじ？
- 7. 簡単な関数について考えていく 1 から nまでの整数(0, 1, 2 ...)の和を返す関数 tri を実装する tri(n) = 0 + 1 + 2 + ... + (n -1) + n デカい数を引数にして呼び出すと死ぬ ➡︎ いわゆる スタックオーバーフロー というもの
- 8. 簡単な関数について考えていく 1 から nまでの整数(0, 1, 2 ...)の和を返す関数 tri を実装する tri(n) = 0 + 1 + 2 + ... + (n -1) + n 実行中のサブルーチンに関する情報をスタックに積んでいくため、 関数から関数を呼び出しまくるとスタックから溢れてしまう
- 9.
- 10.
- 12. 末尾呼び出し Swiftの処理系は、最適化オプションを有効にすると ほぼほぼ末尾呼び出しをスタックフレームを生成しない形の アセンブリコードに変換してくれる （これを末尾呼び出しの除去とよんだりするらしい） 最適化あり: swiftc –O/path/to/file.swift 最適化なし: swiftc –Onone /path/to/file.swift
- 13.
- 14. 簡単な関数を末尾呼び出しにする else 句のほうが、末尾呼び出しになっている。特に自分自身を再帰的に 末尾呼び出しするとき、末尾再帰呼び出しという。 もちろん playground上では最適化がかからないので、 でかい引数で呼び出すと死ぬ
- 15.
- 16.
- 17.
- 18.
- 19.
- 20. @tailrecアノテーションの導入 ・ Scalaと同様の @tailrecアノテーションの導入提案 issue ・ Swift3 では、ほぼ間違いなく入らない ・ しかし、Swift4 では入る可能性はある https://github.com/apple/swift-evolution/pull/103/files
- 21. まとめ ・ Swiftには末尾再帰除去を想定したコードであることを 明示的に宣言するための言語機能が存在しない ・ ほぼ末尾再帰的な記述でスタックフリーな実装をする フレームワークは簡単に自作できる ・とはいえ日常のSwiftプログラミングでこれを考慮しなければ ならないケースは非常にまれである ・ コンビネータを大量に含むライブラリを書くときは考慮が必要 ・ Swift4 に向けて Scala の @tailrec 的なアノテーションが 入るかどうかの検討が進む見通し