113

私はこのクラスを持っています

public class Overloaded
{
    public void ComplexOverloadResolution(params string[] something)
    {
        Console.WriteLine("Normal Winner");
    }

    public void ComplexOverloadResolution<M>(M something)
    {
        Console.WriteLine("Confused");
    }
}

私がそれをこのように呼ぶならば：

        var blah = new Overloaded();
        blah.ComplexOverloadResolution("Which wins?");

Normal Winnerコンソールに書き込みます。

しかし、別のメソッドを追加すると、次のようになります。

    public void ComplexOverloadResolution(string something, object somethingElse = null)
    {
        Console.WriteLine("Added Later");
    }

次のエラーが発生します。

次のメソッドまたはプロパティ間で呼び出しがあいまいです：>' Overloaded.ComplexOverloadResolution(params string[])'と' Overloaded.ComplexOverloadResolution<string>(string)'

メソッドを追加すると、呼び出しのあいまいさが生じる可能性があることは理解できますが、これは、既存の2つのメソッド(params string[])と<string>(string)！最初のメソッドはparamsであり、2番目のメソッドはジェネリックであるため、あいまいさに関係する2つのメソッドのどちらも新しく追加されたメソッドではないことは明らかです。

これはバグですか？仕様のどの部分がこれが当てはまるはずだと言っていますか？

4

5 に答える 5

108

これはバグですか？

はい。

おめでとうございます。過負荷の解決にバグが見つかりました。バグはC＃4および5で再現されます。セマンティックアナライザの「Roslyn」バージョンでは再現されません。私はC＃5テストチームに通知しました。最終リリースの前にこれを調査して解決できることを願っています。（いつものように、約束はありません。）

正しい分析は次のとおりです。候補者は次のとおりです。

0: C(params string[]) in its normal form
1: C(params string[]) in its expanded form
2: C<string>(string) 
3: C(string, object)

候補ゼロはにstring変換できないため、明らかに適用できませんstring[]。それは3つを残します。

3つのうち、独自の最良の方法を決定する必要があります。これを行うには、残りの3つの候補をペアごとに比較します。そのようなペアは3つあります。省略されたオプションのパラメータを取り除くと、それらすべてに同一のパラメータリストがあります。つまり、仕様のセクション7.5.3.2で説明されている高度なタイブレークラウンドに進む必要があります。

1と2のどちらが良いですか？関連するタイブレーカーは、ジェネリックメソッドは非ジェネリックメソッドよりも常に悪いということです。2は1よりも悪いので、2が勝者になることはできません。

1と3のどちらが良いですか？関連するタイブレーカーは次のとおりです。拡張形式でのみ適用可能な方法は、通常の形式で適用可能な方法よりも常に劣ります。したがって、1は3よりも悪いです。したがって、1が勝者になることはできません。

2と3のどちらが良いですか？関連するタイブレーカーは、ジェネリックメソッドは非ジェネリックメソッドよりも常に悪いということです。2は3よりも悪いです。したがって、2が勝者になることはできません。

複数の該当する候補のセットから選択されるには、候補は（1）無敗、（2）少なくとも1つの他の候補を打ち負かし、（3）最初の2つのプロパティを持つ一意の候補である必要があります。候補者3は他の候補者に殴打されておらず、少なくとも1人の他の候補者に殴打されています。このプロパティを持つ唯一の候補です。したがって、候補3は一意の最良の候補です。勝つはずです。

奇妙なエラーメッセージを報告していることに正しく注意しているので、C＃4コンパイラが間違っているだけではありません。コンパイラが過負荷解決分析を間違って取得していることは、少し驚くべきことです。エラーメッセージが間違っていることは、まったく驚くべきことではありません。「あいまいな方法」エラーヒューリスティックは、基本的に、最適な方法を決定できない場合、候補セットから任意の2つの方法を選択します。「本当の」曖昧さを見つけるのは、実際にあるとしても、あまり得意ではありません。

それがなぜであるかを合理的に尋ねる人もいるかもしれません。「より良い」関係は自動詞であるため、「明確にあいまい」な2つの方法を見つけるのは非常に困難です。候補者1が2よりも優れており、2が3よりも優れており、3が1よりも優れている状況を考え出すことができます。そのような状況では、2つを「あいまいなもの」として選択するよりもうまくいくことはできません。

Roslynのこのヒューリスティックを改善したいのですが、優先度は低くなっています。

（読者への演習：「線形時間アルゴリズムを考案して、良さの関係が自動詞であるn個の要素のセットの一意の最良のメンバーを特定する」は、このチームのインタビューの日に尋ねられた質問の1つでした。非常に難しいアルゴリズムです。試してみてください。）

オプションの引数をC＃に長い間追加しなかった理由のひとつは、C＃が過負荷解決アルゴリズムに導入する複雑で曖昧な状況の数でした。どうやら私たちはそれを正しく理解していませんでした。

追跡するためにConnectの問題を入力したい場合は、お気軽に。それを私たちの注意を引くだけにしたい場合は、それが完了したと考えてください。来年はテストをフォローアップします。

これを私の注意を引いてくれてありがとう。エラーをお詫びします。

于 2011-12-29T23:45:55.490 に答える
5

仕様のどの部分がこれが当てはまるはずだと言っていますか？

セクション7.5.3（過負荷解決）、セクション7.4（メンバールックアップ）および7.5.2（型推論）。

特にセクション7.5.3.2（より良い関数メンバー）に注意してください。これには、「対応する引数のないオプションのパラメーターがパラメーターリストから削除されます」および「M（p）が非ジェネリックメソッドの場合amd M（q）は一般的な方法の場合、M（p）はM（q）よりも優れています。」

ただし、仕様のこれらの部分を完全に理解していないため、仕様のどの部分がこの動作を制御しているかを知ることはできません。ましてや、準拠しているかどうかを判断することもできません。

于 2011-12-29T23:15:34.727 に答える
3

一部のメソッドで最初のパラメーターの名前を変更し、割り当てるパラメーターを指定することで、このあいまいさを回避できます。

このような ：

public class Overloaded
{
    public void ComplexOverloadResolution(params string[] somethings)
    {
        Console.WriteLine("Normal Winner");
    }

    public void ComplexOverloadResolution<M>(M something)
    {
        Console.WriteLine("Confused");
    }

    public void ComplexOverloadResolution(string something, object somethingElse = null)
    {
        Console.WriteLine("Added Later");
    }
}

class Program
{
    static void Main(string[] args)
    {
        Overloaded a = new Overloaded();
        a.ComplexOverloadResolution(something:"asd");
    }
}
于 2012-01-04T18:39:46.437 に答える
1

  1. あなたが書くなら 

    var blah = new Overloaded();
blah.ComplexOverloadResolution("Which wins?");

    または単に書く 

    var blah = new Overloaded();
blah.ComplexOverloadResolution();

    メソッドで、同じメソッドになり ます

    public void ComplexOverloadResolution(params string[] something

    これは、パラメータが指定されていないparams場合にも最適な原因キーワードです。

  2. このような新しいメソッドを追加しようとすると

    public void ComplexOverloadResolution(string something)
{
    Console.WriteLine("Added Later");
}

    パラメータを使用した呼び出しに完全に一致するため、このメソッドを完全にコンパイルして呼び出しstringます。それよりはるかに強い params string[] something。

  3. あなたがしたようにあなたは2番目の方法を宣言します

    public void ComplexOverloadResolution(string something, object something=null);

    コンパイラーは、最初のメソッドとこれの間で完全に混乱し、1つ追加しました。彼があなたの電話で今どの機能をすべきかわからないからです

    var blah = new Overloaded();
blah.ComplexOverloadResolution("Which wins?");

    実際、次のコードのように、呼び出しから文字列パラメータを削除すると、すべてが正しくコンパイルされ、以前と同じように機能します 

    var blah = new Overloaded();
blah.ComplexOverloadResolution(); // will be ComplexOverloadResolution(params string[] something) function called here, like a best match.
于 2011-12-29T23:20:00.260 に答える
1

params最初のメソッドからを削除した場合、これは発生しません。最初のメソッドと3番目のメソッドには両方とも有効な呼び出しComplexOverloadResolution(string)がありますが、最初のメソッドがpublic void ComplexOverloadResolution(string[] something)存在する場合、あいまいさはありません。

パラメータに値を指定object somethingElse = nullすると、そのパラメータはオプションのパラメータになるため、そのオーバーロードを呼び出すときに指定する必要はありません。

編集：コンパイラはここでいくつかのクレイジーなことをしています。コード内の3番目のメソッドを最初のメソッドの後に移動すると、正しくレポートされます。したがって、正しいものをチェックせずに、最初の2つのオーバーロードを取得して報告しているようです。

'ConsoleApplication1.Program.ComplexOverloadResolution（params string []）'および'ConsoleApplication1.Program.ComplexOverloadResolution（string、object）'

Edit2：新しい発見。上記の3つからいずれかの方法を削除しても、2つの間にあいまいさは生じません。したがって、順序に関係なく、3つのメソッドが存在する場合にのみ競合が発生するようです。

于 2011-12-29T23:13:06.343 に答える