オブジェクトをある型から別の型に変換するときに、変換演算子が変換コンストラクターよりも優先されるのはなぜですか?

変換コンストラクターと変換演算子: 優先順位と哲学的意味

オブジェクト指向プログラミングでは、変換コンストラクターと演算子は、ある型から別の型へのオブジェクトの変換を容易にします。ただし、実行可能な変換パスが複数存在し、どれが優先されるかという問題が生じるシナリオが発生する可能性があります。

指定されたコード スニペットでは、A オブジェクトを B 変数 (B) に割り当てるときに、変換演算子が呼び出されます。 b = A();)、変換演算子と変換コンストラクターの両方が存在するにもかかわらず。次のセクションでは、この動作の背後にある理論的根拠とその哲学的意味について詳しく説明します。

C 標準に従った優先順位

C 標準では、セクション 13.3.1.4 であいまいな変換呼び出しを解決するための優先順位を確立しています。 「最適な」ユーザー定義変換を選択するためにオーバーロード解決が使用されると述べています。この場合、候補関数には B の変換コンストラクターと A の変換演算子の両方が含まれます。

ソースと宛先の型が異なるクラス (S と T) の場合、コンパイラーは型 T のオブジェクトを初期化します (コピーの初期化経由)、一連の変換ステップを適用することによって。この標準では、S とその基本クラスの両方の変換関数が考慮されています。追加の cv 修飾子なしで T に一致する型、または T から派生した型を生成する変換関数が候補になります。このステップにより、この場合、演算子 B() と B(const A&) の両方が候補として選択されます。

その後、C 標準はオーバーロード解決を適用して、引数に最も一致するものを決定します。引数リストは、このインスタンスの初期化子式で構成されます。私たちのコードでは、引数は左辺値である A オブジェクトです。

優先順位を決定する重要な要素はセクション 13.3.3.2/3 にカプセル化されています。「2 つの候補関数が両方とも参照バインディングであり、参照バインディングである場合」互換性のある型では、参照の cv 修飾が最も少ないものが優先されます。"

私たちのコードでは、演算子 B() はメンバー関数であるため、型 A の左辺値を受け取りますが、B(const A&) は const 参照を受け取ります。演算子 B() は const 修飾の数が少ないため、コンパイラーによって上位の候補として選択され、変換演算子が呼び出されます。

オブジェクト指向の哲学的意味

哲学的解釈より観点からすると、変換がどのように行われるかについて A と B のどちらがより多くの知識を持っているかの選択には議論の余地があります。

一方で、B (ターゲット タイプ) は、A オブジェクトからそれ自体を構築する方法を定義する責任があるため、より知識のある当事者であると主張することもできます。 B の変換コンストラクターは、特定の変換ルールまたは検証をカプセル化できます。

一方で、A (ソース型) は、それ自体の表現と、それが B としてどのように解釈されるかについてより優れた洞察を持っていると主張することもできます。物体。 A の変換演算子を使用すると、オブジェクトが B に変換される方法を制御できます。

最終的に、C 標準では、変換演算子が優先され、ソース オブジェクトの表現が優先されるアプローチが選択されました。この選択は、オブジェクト自体がその内部状態とそれを他の型に変換する方法を最もよく理解しているという概念と一致しています。ただし、コード例で示されているように、この優先順位ルールはオーバーロード解決のルールに従うため、最終的な決定は const-qualification などの他の要素の影響を受ける可能性があることに注意することが重要です。

以上がオブジェクトをある型から別の型に変換するときに、変換演算子が変換コンストラクターよりも優先されるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。