質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.04%

[C#] 引数にList<IHoge>を取るコンストラクタにList<HogeImpl>を渡せない

解決済

回答 3

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 3,231

search_search

score 160

こういうことがしたいのですが、エラーが出てしまいます。

interface IHoge {}

class Hoge : IHoge {}

class HogeHolder
{    
    public HogeHolder(List<IHoge> hogeList)
    {
        //...
    } 
}

class Program
{
    static void Main(string[] args)
    {
        var list = new List<Hoge>();
    list.Add(new Hoge());
    var holder = new HogeHolder(list);
    }
}

以下のようなエラーが出ます。

The best overloaded method match for `HogeHolder.HogeHolder(System.Collections.Generic.List<IHoge>)' has some invalid arguments

Listを通さない場合はエラーなく通ります。

class HogeHolder
{    
    public HogeHolder(<IHoge> hoge)
    {
        //...
    } 
}

class Program
{
    static void Main(string[] args)
    {
    var hoge = new Hoge();
    var holder = new HogeHolder(hoge);
    }
}

HogeHolderを、IHogeを下限とするジェネリクスのクラスにすれば、多分コンパイルは通るのかと思いますが、特にジェネリクスである必要のないクラスなので、それはしたくありません。

メソッドのように、引数から型パラメータを推測できれば、不必要な型パラメータ指定する必要がないので構わないのですが、コンストラクタの場合はできないようですね。。。

どうしたらいいのでしょうか?

--追記--
環境はMonoであり、純粋な.NETではありません。.NET環境では、HogeHolderの引数をIEnumerableにすることで、エラーなくコンパイルできました。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 3

checkベストアンサー

+1

var list = new List<Hoge>();


↑を↓に変えてみてください。

var list = new List<IHoge>();

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/07/13 02:02

    回答ありがとうございます。コンパイル通りました!

    ただ、なぜList<Hoge>のままだとうまくいかなかったのでしょうか?
    追加要件で申し訳ないのですが、ProgramクラスからはあくまでHogeを使いたいので、取り出す際にダウンキャストする必要が生じてしまいます。

    オブジェクト指向の原則のひとつである、リスコフの置換原則では、SがTの派生型であるとき、プログラム中でTが使われている個所をSで置換しても、妥当性は損なわれない、とありますし、
    Javaだと、同様のコードはList<Hoge>のままでコンパイルは通ります。
    C#が独特なのでしょうか?

    キャンセル

  • 2016/07/13 07:13

    Q なぜ List<Hoge> のままだとうまくいかないのか?
    A IHoge は Hoge の下位互換ですが、List<IHoge> は List<Hoge> の下位互換ではないからです。

    Q Program からはあくまで Hoge を使いたいのだが
    A それなら List<IHoge> ではなく List<Hoge> を使うべきです。でないと無用なキャストが生じる上に Hoge 以外のものが入る可能性を考慮しなくてはならなくなります。

    Q Java だとコンパイルは通る
    A 通りません。ArrayList<IHoge> list = new ArrayList<Hoge>(); はコンパイルエラーになりました。

    キャンセル

  • 2016/07/13 07:25

    Q IEnumerable にしても Mono だと通らない
    A https://ideone.com/ktPKvo 通りました。IEnumerable にする場所をお間違えになったかと。

    キャンセル

  • 2016/07/13 17:27

    こういう代入ができるようになったのは .NET Framework 4 かららしいので、それ以前の環境だとできないかもしれません。
    http://ufcpp.net/study/csharp/sp4_variance.html

    キャンセル

+1

List<T> は要素の追加が可能なクラスだからです。
たとえばこういうコードが動いてしまったら困りますよね。

interface IHoge {}

class Hoge : IHoge {}
class Hoge2 : IHoge {}

class HogeHolder
{    
    public HogeHolder(List<IHoge> hogeList)
    {
        // hogeList は実際には List<Hoge> なのに Hoge2 を入れられてしまってはまずい…
        hogeList.Add(new Hoge2());
    } 
}


HogeHolder の側で要素の追加をしないのであれば、IEnumerable<IHoge> にすれば大丈夫です。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/07/13 02:40

    回答ありがとうございます。HogeHolderで要素は追加しないのですが、うまくいきませんでした。同様のエラーが出てしまいます。

    The best overloaded method match for `HogeHolder.HogeHolder(System.Collections.Generic.IEnumerable<IHoge>)' has some invalid arguments

    ところで、
    >hogeList は実際には List<Hoge> なのに Hoge2 を入れられてしまってはまずい…
    あくまで私のケースですが、インターフェースさえ統一されていれば、実際の型が混在していても、不都合はありません。

    キャンセル

  • 2016/07/13 02:51

    > 同様のエラーが出てしまいます。

    むむ。VS2015 で試したら、IEnumerable<IHoge> なら受け取れるんですけどね。
    Mono 特有の事情でしょうか。そうなるとわかりません。

    > インターフェースさえ統一されていれば、実際の型が混在していても、不都合はありません。

    であれば Main の側を List<IHoge> にすればよいのではないでしょうか。

    > ProgramクラスからはあくまでHogeを使いたいので、取り出す際にダウンキャストする必要が生じてしまいます。

    という話と矛盾しているように思えます。

    キャンセル

  • 2016/07/13 03:12

    Monoでない環境で試したところ、IEnumerableを使うことでコンパイルできるようになりました。おっしゃる通りMonoが関係しているかもしれません。これをヒントにもう少し調べてみます。ありがとうございます。

    >矛盾しているように思えます。
    たしかによく考えると矛盾していました。失礼しました。
    HogeHolder側としてはIHogeで十分だったのですが、Main側からはHogeを使うのであれば、結局中身はHogeに限定されますね。。。

    キャンセル

+1

解決法ではないですが、どうしてエラーになるのか?という点について回答してみます。

例えば、こんなクラスがあるとします。

class Hoge2 : IHoge {}


このとき、以下のコードは正しいですね。

class HogeHolder
{    
    public HogeHolder(List<IHoge> hogeList)
    {
        hogeList.Add(new Hoge2()); // IHogeのListに、IHogeを実装しているHoge2を挿入
        //...
    } 
}


では、このコードを実行しようとするとどうなるでしょうか。

static void Main(string[] args)
{
    var list = new List<Hoge>(); // HogeのList
    list.Add(new Hoge());
    var holder = new HogeHolder(list); // HogeのListに、Hoge2を挿入!!
}

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.04%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

同じタグがついた質問を見る