PHP標準ライブラリ内クラスのメソッドの処理内容のソースが見つかりません。

Question

SplPriorityQueueというPHP標準ライブラリクラスのinsertというメソッドの処理内容を見たいと思い、ソースを見ましたが以下の様にメソッドの処理内容が記載されておらず困っております。(insert時のキューの優先度の設定を自分で設定する方法がわからないため、同メソッドの処理を見ようとしています)
https://github.com/php/php-src/blob/5b01c4863fe9e4bc2702b2bbf66d292d23001a18/ext/spl/spl_heap.stub.php#L10

class SplPriorityQueue implements Iterator, Countable
{
～
～
    /** @return bool */
    public function insert(mixed $value, mixed $priority) {}
～
～

これについて以下の質問にご回答いただけないでしょうか。
①どこに実際のメソッドの処理が記載されているのでしょうか？
②なぜ上記のソース箇所にはメソッドの中身がないのでしょうか？

よろしくお願い致します。

追記------------------------------------------------------------------------------------
SplPriorityQueueを使ってやりたいことは以下のようなものです。優先度付きキューを使わない方法もあると思いますが、優先度付きキューを使って解決したいです。
[[1,1,0,0,0],
[1,1,1,1,0],
[1,0,0,0,0],
[1,1,0,0,0],
[1,1,1,1,1]],
という各要素が配列の配列を与えられたら、
この各要素内の1の数を比較して、1が大きい順に順位をつけます。
1の数が同じ場合は、配列内のインデックス番号が大きい方が順位を上にしたいです。
その順位付けをSplPriorityQueueを使って実行したいです。

You are given an m x n binary matrix mat of 1's (representing soldiers) and 0's (representing civilians). The soldiers are positioned in front of the civilians. That is, all the 1's will appear to the left of all the 0's in each row.

A row i is weaker than a row j if one of the following is true:

The number of soldiers in row i is less than the number of soldiers in row j.
Both rows have the same number of soldiers and i < j.
Return the indices of the k weakest rows in the matrix ordered from weakest to strongest.

Example 1:

Input: mat =
[[1,1,0,0,0],
[1,1,1,1,0],
[1,0,0,0,0],
[1,1,0,0,0],
[1,1,1,1,1]],
k = 3
Output: [2,0,3]
Explanation:
The number of soldiers in each row is:

• Row 0: 2
• Row 1: 4
• Row 2: 1
• Row 3: 2
• Row 4: 5

The rows ordered from weakest to strongest are [2,0,3,1,4].
Example 2:

Input: mat =
[[1,0,0,0],
[1,1,1,1],
[1,0,0,0],
[1,0,0,0]],
k = 2
Output: [0,2]
Explanation:
The number of soldiers in each row is:

• Row 0: 1
• Row 1: 4
• Row 2: 1
• Row 3: 1

The rows ordered from weakest to strongest are [0,2,3,1].

Constraints:

m == mat.length
n == mat[i].length
2 <= n, m <= 100
1 <= k <= m
matrix[i][j] is either 0 or 1.

Comments

[yambejp]

結局SplPriorityQueueをつかって何がしたいのでしょうか？
使用方法ならマニュアルをみれば良いと思いますが・・・

[m.ts10806]

＞②なぜ上記のソース箇所にはメソッドの中身がないのでしょうか？

想像なのでこちらに書きますが、ファイル名の通り「stubだから」じゃないかなぁと。
PHPはCで書かれた言語なので、実際の処理はcのほうに書いてあるでしょうし。
結局は「使う方」のはずなので、yambejpさんの仰る通りと思います。

[MonsterEnergy]

優先度キューの優先度決定基準を独自に設定する方法がリファレンスみてもよくわからないというか、無理そうだったので
メソッドオーバーライドしようとしてます

[m.ts10806]

質問内容の方向性が大きく変わっています。
既存回答との整合性が取れなくなるので、要件変わるのでしたら別質問としたほうが良いです。

[MonsterEnergy]

はい。
「結局SplPriorityQueueをつかって何がしたいのでしょうか？
使用方法ならマニュアルをみれば良いと思いますが・・・」
に回答しただけです。

[m.ts10806]

つまり追記前についた回答は全く無視するということになりますが
回答ついた後に大きく要件の方向性を変えてしまった（むしろ前半は単なる前提ですらない）ことが問題だと指摘しています。

[m.ts10806]

細かくて申し訳ない。
「スタブだから」という回答で解決とされるのでしたら
やはり質問本文を元に戻されたほうが良いと思います。

[MonsterEnergy]

「追記前についた回答を全く無視することになる」の意味が全くわかりませんが、yambejpさんが最初にコメントされたので、それについて追記・回答しただけのシンプルな話です。
ありがとうございました。

[m.ts10806]

こちらはあくまで「質問への追記修正依頼」のコメント欄です。
回答ついたにも関わらず大きく質問要件を追加しているのは「回答見てないのかな？」と疑われても仕方ないということは覚えておいてください。

Answer 1

ファイル名のとおり、これはスタブ（形だけ用意してあるもの）です。

実際の中身はC言語で実装されています。

Comments

[maisumakun]

> insert時のキューの優先度の設定を自分で設定する方法がわからないため

PHPマニュアルの記載を見てもわからないほど、細かな実装のディテールが必要だったのでしょうか。

https://www.php.net/manual/ja/splpriorityqueue.insert.php