編集履歴

回答編集履歴

補足追加

2026/02/11 03:51

投稿

スコア86548

answer CHANGED Viewed

@@ -25,7 +25,7 @@
 上記の通り、毎回クロージャー相当を作成するコストが追加なのと、初回かどうかあたりですね。
 プログラムサイズ的には正格評価の方が小さい。実行時間は「すべての仮引数が評価される」ならこれも正格評価。「評価されないかもしれない実引数」場合はその重さと確率とでの総合評価ですが、「この引数が参照されるのはとてもレア」という関数はあまりないであろうと思います。
-あと、単に「遅延評価」というと「仮引数の初回参照時に一度だけ実引数を評価」を指すと思いますが、「仮引数が参照されるたびに実引数を評価する」言語だと、こんな感じです。
+あと、単に「遅延評価」というと「仮引数の初回参照時に一度だけ実引数を評価」を指すと思いますが、「仮引数が参照されるたびに実引数を評価する」言語だと、こんな感じです。実装はさておき、概念的には、実引数のgetterとsetterがクロージャーとして関数にわたり、関数側では参照・代入の際にgetter・setterを呼ぶ。
 ```call_by_nameの架空言語
 foo(int x, int y){
     print(x, y);  // 出力は 0 1 となるのは普通の言語と同じ;

表現修正

2026/02/11 03:39

投稿

otn

スコア86548

answer CHANGED Viewed

@@ -25,7 +25,7 @@
 上記の通り、毎回クロージャー相当を作成するコストが追加なのと、初回かどうかあたりですね。
 プログラムサイズ的には正格評価の方が小さい。実行時間は「すべての仮引数が評価される」ならこれも正格評価。「評価されないかもしれない実引数」場合はその重さと確率とでの総合評価ですが、「この引数が参照されるのはとてもレア」という関数はあまりないであろうと思います。
-あと、「仮引数が参照されるたびに実引数を評価する」言語だと、こんな感じです。
+あと、単に「遅延評価」というと「仮引数の初回参照時に一度だけ実引数を評価」を指すと思いますが、「仮引数が参照されるたびに実引数を評価する」言語だと、こんな感じです。
 ```call_by_nameの架空言語
 foo(int x, int y){
     print(x, y);  // 出力は 0 1 となるのは普通の言語と同じ;

追記した

2026/02/11 03:37

投稿

otn

スコア86548

answer CHANGED Viewed

@@ -14,3 +14,24 @@
 ※：「前から後ろ」と言いつつ、C/C++の場合は、引数が複数個あった場合に「引数がどの順番で評価されるのかは言語規格上は不定であり、経験上、多くの処理系では最後の引数が最初に評価され、第一引数が最後に評価される」というのが少し直感的ではないです。
+-----
+追記:
+朝書き始めて続き書いて投稿する間にコメント増えてた。
+> 正格評価だと、それらの実行時のコストは掛からないのですか？
+> 正格評価と遅延評価は評価のタイミングが違うだけでやる処理の内容は同じなのかと私は理解しました。
+上記の通り、毎回クロージャー相当を作成するコストが追加なのと、初回かどうかあたりですね。
+プログラムサイズ的には正格評価の方が小さい。実行時間は「すべての仮引数が評価される」ならこれも正格評価。「評価されないかもしれない実引数」場合はその重さと確率とでの総合評価ですが、「この引数が参照されるのはとてもレア」という関数はあまりないであろうと思います。
+あと、「仮引数が参照されるたびに実引数を評価する」言語だと、こんな感じです。
+```call_by_nameの架空言語
+foo(int x, int y){
+    print(x, y);  // 出力は 0 1 となるのは普通の言語と同じ;
+    x = 10;
+    print(x, y);  // 出力は 10 1 じゃなくて 10 11 になる
+}
+int a=0;
+foo(a, a+1);
+```