C＃コンパイラのジェネリック、継承、および失敗したメソッドの解決

Question

今日、私は困惑したコンパイルの問題で走った。これら2つのコンテナクラスを考えてみましょう。

public class BaseContainer<T> : IEnumerable<T> 
{ 
    public void DoStuff(T item) { throw new NotImplementedException(); } 

    public IEnumerator<T> GetEnumerator() { } 
    System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator() { } 
} 
public class Container<T> : BaseContainer<T> 
{ 
    public void DoStuff(IEnumerable<T> collection) { } 

    public void DoStuff <Tother>(IEnumerable<Tother> collection) 
     where Tother: T 
    { 
    } 
} 

前者定義DoStuff(T item)特にDoStuff <Tother>(IEnumerable<Tother>)後者オーバーロードは（4までIが聞く）C位のcovariance/contravarianceの不在を回避します。

このコード

Container<string> c = new Container<string>(); 
c.DoStuff("Hello World"); 

はかなり奇妙なコンパイルエラーに当たります。メソッド呼び出しから<char>が存在しないことに注意してください。

汎用型またはメソッド 'Container.DoStuff（System.Collections.Generic.IEnumerable）'の型パラメータ 'Tother'として 'char'型を使用することはできません。 'char'から 'string'へのボクシング変換はありません。

基本的に、コンパイラはContainer.DoStuff<char>(IEnumerable<char>)stringため、実装IEnumerable<char>にDoStuff(string)に私の呼び出しをジャムではなく、BaseContainer.DoStuff(string)を使用しようとしています。

私はこのコンパイルをするために見つけた唯一の方法は、派生クラスなぜコンパイラは1）それはそれができる知っているIEnumerable<char>」として文字列をジャムしようとしている

public class Container<T> : BaseContainer<T> 
{ 
    public new void DoStuff(T item) { base.DoStuff(item); } 

    public void DoStuff(IEnumerable<T> collection) { } 

    public void DoStuff <Tother>(IEnumerable<Tother> collection) 
     where Tother: T 
    { 
    } 
} 

にDoStuff(T)を追加することですt（コンパイルエラーがあるとします）、2）コンパイルがうまくいった基本クラスのメソッドがありますか？ C＃のジェネリックスや仮想メソッドに関することを誤解していますか？ をContainerに追加する以外の方法がありますか？

Answer 1

編集

[OK]を...私は今、あなたの混乱を参照してくださいと思います。 DoStuff（文字列）がパラメータを文字列として保持し、BaseClassメソッドリストを最初に探して適切なシグニチャを探し、その代替を失敗して別の型にキャストしようとしました。

しかし、それ以外のところで起こった...代わりにContainer.DoStuff(string)、meh "theresは法案に合った基本クラスメソッドですが、私はIEnumerableに変換して利用可能なものについて心臓発作を起こすでしょう現在のクラスではなく...

うーん...私は、この特定のコーナーケースをカバー

オリジナルジョンやマークは、特定のC＃スペック段落で、この時点でチャイムすることができるだろうと確信している

両方のメソッドは、IEnumerable Col lee

あなたは個別の文字列を渡しています。

コンパイラはその文字列を取り、起こっている、

[OK]を、私は文字列を持って、どちらの方法 はIEnumerable<T>を期待して、だから私は

を完了... IEnumerable<char>にこの文字列を回す ます

右、最初の方法を確認してください... うーん...このクラスは Container<string>ですが、私は IEnumerable<char>はとてもそれは正しくありません持っています。

第二の方法を確認し、うーん....私はそれが右のいずれか ではありませんので、文字列を実装していない IEnumerable<char>が、文字を持ってい 。

コンパイラエラー

ので修正、よくそれは完全にあなたが達成しようとするもの...次の両方が有効になり、基本的に、あなたの種類の使用がでちょうど間違っている依存何＃Sあなたの化身。

 Container<char> c1 = new Container<char>(); 
     c1.DoStuff("Hello World"); 

     Container<string> c2 = new Container<string>(); 
     c2.DoStuff(new List<string>() { "Hello", "World" }); 

Answer 2

私はcharが値型であり、stringが参照型であるという事実と関係があると思います。あなたが定義しているように見えます

TOther : T 

とcharは文字列から派生していません。

Answer 3

コンパイラは、パラメータをIEnumerable <T>に一致させようとします。 String型はIEnumerable <char>を実装しているので、Tは "char"とみなされます。

その後、コンパイラは「OtherT：T」という条件を満たしていないかどうかをチェックします。したがって、コンパイラのエラーです。

Answer 4

私は実際にはわからないので、推測です。まず、派生クラスでメソッド呼び出しを解決することです（オブジェクトは派生型のオブジェクトなので）。それができない場合にのみ、それを解決するために基本クラスのメソッドを調べることに移ります。あなたの場合は、

DoStuff <Tother>(IEnumerable<Tother> collection) 

オーバーロードを使用して解決することができるので、それを詰まらせようとしました。したがって、パラメータに関してはそれを解決することはできますが、制約上の不具合にぶつかります。その時点で、それはすでにあなたの過負荷を解決しているので、それ以上は見えませんが、ただエラーをスローします。理にかなっている？

Answer 5

エリックリペットは説明したように、それは制約をチェックする前に方法を選択するため、コンパイラはDoStuff<Tother>(IEnumerable<Tother>) where Tother : T {}方法を選択します。 stringはIEnumerable<>を実行できるので、コンパイラはそれをその子クラスのメソッドと照合します。 コンパイラは、C＃の仕様に記載されているように、正しくを使用しています。

DoStuffをextension methodとして実装することで、メソッドの解決順序を強制することができます。 拡張メソッドは後、基本クラスのメソッドをチェックしているので、それがDoStuff<T>に対してそれを一致させることを試みた後までDoStuffさんIEnumerable<Tother>に対するstringに一致するようにしようとしません。

次のコードは、必要なメソッドの解決順序、共分散、および継承を示しています。新しいプロジェクトにコピーして貼り付けてください。

私がこれまでの考えることができる。この最大の欠点は、あなたがオーバーライドメソッドでbaseを使用することができないということですが、私は（あなたが興味を持っているかどうか尋ねる）ことを回避する方法があると思います。ここで

using System; 
using System.Collections.Generic; 

namespace MethodResolutionExploit 
{ 
    public class BaseContainer<T> : IEnumerable<T> 
    { 
     public void DoStuff(T item) { Console.WriteLine("\tbase"); } 
     public IEnumerator<T> GetEnumerator() { return null; } 
     System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator() { return null; } 
    }   
    public class Container<T> : BaseContainer<T> { } 
    public class ContainerChild<T> : Container<T> { } 
    public class ContainerChildWithOverride<T> : Container<T> { } 
    public static class ContainerExtension 
    { 
     public static void DoStuff<T, Tother>(this Container<T> container, IEnumerable<Tother> collection) where Tother : T 
     { 
      Console.WriteLine("\tContainer.DoStuff<Tother>()"); 
     } 
     public static void DoStuff<T, Tother>(this ContainerChildWithOverride<T> container, IEnumerable<Tother> collection) where Tother : T 
     { 
      Console.WriteLine("\tContainerChildWithOverride.DoStuff<Tother>()"); 
     } 
    } 

    class someBase { } 
    class someChild : someBase { } 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      Console.WriteLine("BaseContainer:"); 
      var baseContainer = new BaseContainer<string>(); 
      baseContainer.DoStuff(""); 

      Console.WriteLine("Container:"); 
      var container = new Container<string>(); 
      container.DoStuff(""); 
      container.DoStuff(new List<string>()); 

      Console.WriteLine("ContainerChild:"); 
      var child = new ContainerChild<string>(); 
      child.DoStuff(""); 
      child.DoStuff(new List<string>()); 

      Console.WriteLine("ContainerChildWithOverride:"); 
      var childWithOverride = new ContainerChildWithOverride<string>(); 
      childWithOverride.DoStuff(""); 
      childWithOverride.DoStuff(new List<string>()); 

      //note covariance 
      Console.WriteLine("Covariance Example:"); 
      var covariantExample = new Container<someBase>(); 
      var covariantParameter = new Container<someChild>(); 
      covariantExample.DoStuff(covariantParameter); 

      // this won't work though :(
      // var covariantExample = new Container<Container<someBase>>(); 
      // var covariantParameter = new Container<Container<someChild>>(); 
      // covariantExample.DoStuff(covariantParameter); 

      Console.ReadKey(); 
     } 
    } 
} 

が出力されます。

BaseContainer: 
     base 
Container: 
     base 
     Container.DoStuff<Tother>() 
ContainerChild: 
     base 
     Container.DoStuff<Tother>() 
ContainerChildWithOverride: 
     base 
     ContainerChildWithOverride.DoStuff<Tother>() 
Covariance Example: 
     Container.DoStuff<Tother>() 

あなたの周りこの作品で何か問題を見ることはできますか？

Answer 6

私はあなたが達成しようとしているもので、実際に明確ではないよ、ちょうど2つの方法、DoStuff(T item) and DoStuff(IEnumerable<T> collection)?