(ジェネリック) 型パラメータを制約する方法はありますか?

php エディターの Youzi が、「(一般的な) 型パラメーターを制約する方法はありますか?」という一般的な質問について議論しました。 PHP では、渡されるパラメーターが特定の型要件を満たしていることを確認するために、関数またはメソッドのパラメーターに型制約を課す必要があることがよくあります。ただし、現時点では、配列やオブジェクトなどのジェネリック型パラメーターを直接制約する方法はありません。ただし、より厳密な型チェック ロジックを記述して、パラメーターの正確性と一貫性を確保することで、一般的な型パラメーターに制約を実装できます。この記事では、ジェネリック型パラメーター制約を実装するいくつかの方法と、その長所と短所について説明します。

質問内容

ジェネリックの勉強を始めたばかりです。そこで、いくつかの protobuf メッセージで実行されるカスタム データベースのドライバーを一般化しようとしています。

ジェネリック型をさらに制約する方法を見つけたいのですが、ポインターとして、つまり制約 e が別のメソッドを実装していることを確認します (コンパイラーに指示します)。

まず、データベースが処理できるエンティティを制限しました。

リーリー

次に、独自の生メッセージを処理するさまざまなサービスで使用できるように、データベースの機能を記述する共通インターフェイスが作成されました。 リーリー ＃＃＃ここまでは順調ですね。ただし、データベースと通信するときにこれらのエンティティを (逆) シリアル化し、ネットワーク経由で送信したり、クローンを作成したり、マージしたりできるようにしたいと考えています。このようなもの： ＃＃＃ リーリー

ただし、上記のコードでは次のエラーが発生します:

リーリー

問題は、

proto.marshal

が

proto.message インターフェイス、つまり protoreflect() メソッドを実装するためにエンティティ (*e) を必要とすることです。すべてのエンティティ タイプ どちらもメソッドを実装していますが、制約がなく、コンパイラによって推論できません。 エンティティを次のように定義してみました: リーリー

ただし、エンティティ ポインタによって参照される proto.messages をインスタンス化するために追加の protreflect 操作を行う必要があるという事実以外に、これは適切とは思えません。

解決策

これを行うことができます:

リーリー

上記よりも簡潔な構文が必要な場合は、メッセージ制約をキャンセルできます。

リーリー

https://www.php.cn/link/20ba66f905957b34253d9d7abde919f3

以上が(ジェネリック) 型パラメータを制約する方法はありますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。