プログラムの読解：仕組みを理解したい。

Question

パスカルの三角形のプログラムを実装します。
その際に、参考サイトを発見したのですが、
仕組みがいまいちわからない点があるため質問させていただきます。

ここで行なっていることがいまいちわかりません。
御教授がいます。

// $rowsがnullかどうか判断し、nullであれば[]を表示
$previousRow = $rows[$i - 1] ?? [];
$previousSize = count($previousRow);

    

        $rows = [];
　　　　　
        for ($i = 0; $i < $hoge; $i++) {
            $row = [1];

            $previousRow = $rows[$i - 1] ?? [];
            $previousSize = count($previousRow);

            for ($j = 1; $j <= $previousSize; $j++) {
                if ($j === $previousSize) {
                    $row[] = 1;
                    continue;
                }

                $row[] = ($previousRow[$j - 1] + $previousRow[$j]);
            }

            $rows[] = $row;
        }

        return $rows;

参考サイト：https://exercism.io/tracks/php/exercises/pascals-triangle/solutions/a2d37bbedcc745a897d892dca86a3c34

Comments

[m.ts10806]

その参考サイトとは？
ご自身はどこまで調べて理解されてるのでしょうか。

なにかこう、どこが分からないのか見えづらい書き方になってます。

[xxx0_0xxx]

ご指摘ありがとうございます、参考サイト追記いたしました。
?? [];
この部分の仕組みがわからなかったので、調べたところNullかどうか確認できるnull合体演算子であることがわかりました。

しかし以降の仕組みがわからないので質問しました

[m.ts10806]

null合体演算子により何が得られるかは質問者さんは分かってそうに感じたのですが、いかがでしょうか。
[] は空の配列なので、count()しても0でその場合は次のforは処理されず、あたりの話ですか？

[xxx0_0xxx]

この場合は [ ] を得るという考えであっていますか？

詳細不足ですみませんm(__)m
$rows[$i - 1]
この部分の仕組みがわからない状況です。

[m.ts10806]

質問は編集できます。追記してください。

まずは機能から。
https://www.php.net/manual/ja/language.operators.comparison.php#language.operators.comparison.coalesce
で、自分でコード作って確かめると良いです。

この部分は…と言っても
そのままで、$iから1を引いた値を$rowsの添字とする
です。
実際に動かしてみて、変数の値をデバッグで追えば分かることとも思います。

[xxx0_0xxx]

ご丁寧にURLまでありがとうございます！

$previousRow = $rows[$i - 1] ?? [];
$previousSize = count($previousRow);

つまりここでは、$previousRowをカウントした値を$previousSize
としているのですよね？

すみません何だか全体的に何をしているのかわからなくなってきてしまいましたm(__)m

全体的に説明いただきたいです。

[m.ts10806]

このように書いた意図は作った人にしか分かりませんし、先に書いたように手元で動かして一行ずつ追っていくしかありません。デバッグを覚えてください。
ここで赤の他人が書いたコードを赤の他人が解読しても質問者さんからすると更に第三者感が強くなるので「理解したい」という本質問の目的は達成できないと思います。
使いたい/コードを参考にして何かしたい　のはあくまで質問者さんですから。

Answer 1

$rowsがnullかどうか判断し、nullであれば[]を表示

表示はしません。代入しているだけです。

前の行の配列分を$previousSizeとする

「配列分」とは何でしょうか？

Comments

[xxx0_0xxx]

表示はしません。代入しているだけです。
>　なるほど！だから出力で[ ]を表示してくれているわけですね。

「配列分」とは何でしょうか？
>　すみません明らかにミスです。
$previousRow = $rows[$i - 1] ?? [];
ここで得られたカウント数という意味です。

Answer 2

私は提示のコードを作った人ではなく、恥ずかしながら「パスカルの三角形」自体言葉にピンときてなくて調べて「あぁこのことか」となる程度なので合ってるか分かりませんが、コード読む限りでヒントになりそうなことをざっくりと書いてみます。

---

$rowsは空の配列のままで最初のループに入るので、一周目は「前のデータ（$i-1というのとpreviousという名前から判断）」というのは存在しません。
そのために参照可能かどうか判断し、状況に応じて「前の行」を定義しているのだと思います。
で、前の行の件数だけ中のループを行い、計算した結果を保持していく。
中のループを抜ける条件も前の行の内容により判定。
みたいな感じで。

デバッグでステップ実行し、変数が保持する情報がどうなっていくか追ってみてください。どの言語でもデバッグは必須スキルです。
特に他人が書いたコードを理解したいのでしたら、全体要件を以て手元でステップ単位で理解していくしかありません。

Comments

[xxx0_0xxx]

大変わかりやすくありがとうございます！
デバッグで色々と変数を出力してみましたが、
なぜこの結果が出るのかがわからずにいます・・・。
お手数ですが再度ご協力願いたいです。

for ($j = 1; $j <= $previousSize; $j++) {
// $j =
if ($j === $previousSize) {
$row[] = 1;
continue;
}
var_dump ($previousSize);// 行のデータ分を1-9までで表示
$row[] = ($previousRow[$j - 1] + $previousRow[$j]); // 右端(1)だけ除外した行のデータ
}
// 最終的な出力結果
$rows[] = $row;
}
return $rows; // 右端だけ除外した行のデータ

$hogeを5として$j を出力したところ
int(1)
int(1)
int(2)
int(1)
int(2)
int(3)
int(1)
int(2)
int(3)
int(4)

と表示されました。
ここがなぜこの結果になるのか・・・
いくら考えてもわからなくて> <

[m.ts10806]

なので「ステップ実行」とキーワードを出しました。
変数を一つだけ出したとしても分かることはあまりなくて、一行一行関係する変数の変化を追うことになります。
var_dumpを入れていくのも一つの手ですが、それでは一気に出てしまうので、XDebugなどライブラリを入れるか、IDEのブレイクポイントの機能を使ってください。

[xxx0_0xxx]

VSCodeを利用しているのですが、現在デバッグが使えない状況です。
そのためこのように一つ一つ出力している形です＞＜

[m.ts10806]

拡張機能あるようですので、使えないという理由が分かりません。
デバッグ導入も初期の環境構築のうちです。がんばってください。

[xxx0_0xxx]

何度もありがとうございました！
構築再度行なってみます。

[m.ts10806]

解決は良いのですが、「仕組みを理解したい」という命題に対する解はどうなったのでしょう。