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

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

新規登録して質問してみよう
ただいま回答率
85.50%
.NET Core

.NET Coreは、マネージソフトウェアフレームワークでオープンソースで実装されています。クロスプラットフォームを前提に考えられており、Windows/Mac/Linuxで動くアプリケーションを作成することが可能です。

.NET

.NETとは、主に.NET Frameworkと呼ばれるアプリケーションまたは開発環境を指します。CLR(共通言語ランタイム)を搭載し、入力された言語をCIL(共通中間言語)に変換・実行することが可能です。そのため、C#やPythonなど複数の言語を用いることができます。

C#

C#はマルチパラダイムプログラミング言語の1つで、命令形・宣言型・関数型・ジェネリック型・コンポーネント指向・オブジェクティブ指向のプログラミング開発すべてに対応しています。

.NET Framework

.NET Framework は、Microsoft Windowsのオペレーティングシステムのために開発されたソフトウェア開発環境/実行環境です。多くのプログラミング言語をサポートしています。

Q&A

解決済

1回答

2386閲覧

C# 派生クラスが型引数のCollection<T>を継承しているのに、基底クラスが型引数のIReadOnlyList<T>を実装できない

退会済みユーザー

退会済みユーザー

総合スコア0

.NET Core

.NET Coreは、マネージソフトウェアフレームワークでオープンソースで実装されています。クロスプラットフォームを前提に考えられており、Windows/Mac/Linuxで動くアプリケーションを作成することが可能です。

.NET

.NETとは、主に.NET Frameworkと呼ばれるアプリケーションまたは開発環境を指します。CLR(共通言語ランタイム)を搭載し、入力された言語をCIL(共通中間言語)に変換・実行することが可能です。そのため、C#やPythonなど複数の言語を用いることができます。

C#

C#はマルチパラダイムプログラミング言語の1つで、命令形・宣言型・関数型・ジェネリック型・コンポーネント指向・オブジェクティブ指向のプログラミング開発すべてに対応しています。

.NET Framework

.NET Framework は、Microsoft Windowsのオペレーティングシステムのために開発されたソフトウェア開発環境/実行環境です。多くのプログラミング言語をサポートしています。

0グッド

1クリップ

投稿2021/03/13 09:47

前提・実現したいこと

以下のようなことがしたいのですが、コンパイルエラーが出てしまいます。

C#

1using System.Collections.Generic; 2using System.Collections.ObjectModel; 3 4namespace ConsoleApp1 5{ 6 class Program 7 { 8 static void Main(string[] args) { } 9 } 10 11 public interface IPerson { } 12 13 public interface IPeople : IReadOnlyList<IPerson> { } 14 15 public interface IStudent : IPerson { } 16 17 //エラー CS0738 'Students' は、インターフェイス メンバー 'IReadOnlyList<IPerson>.this[int]' を実装していません。'Collection<IStudent>.this[int]' は一致する 'IPerson' の戻り値の型を持たないため、'IReadOnlyList<IPerson>.this[int]' を実装できません。 18 //エラー CS0738 'Students' は、インターフェイス メンバー 'IEnumerable<IPerson>.GetEnumerator()' を実装していません。'Collection<IStudent>.GetEnumerator()' は一致する 'IEnumerator<IPerson>' の戻り値の型を持たないため、'IEnumerable<IPerson>.GetEnumerator()' を実装できません。 19 public class Students : Collection<IStudent>, IPeople 20 { 21 22 } 23} 24

明示的にインデクサとGetEnumerator()を実装すればエラーは出なくなりますが、C# 9.0で追加された共変戻り値が使えない理由が知りたいです。

C#

1using System.Collections.Generic; 2using System.Collections.ObjectModel; 3 4namespace ConsoleApp1 5{ 6 class Program 7 { 8 static void Main(string[] args) { } 9 } 10 11 public interface IPerson { } 12 13 public interface IPeople : IReadOnlyList<IPerson> { } 14 15 public interface IStudent : IPerson { } 16 17 public class Students : Collection<IStudent>, IPeople 18 { 19 IPerson IReadOnlyList<IPerson>.this[int index] => this[index]; 20 21 IEnumerator<IPerson> IEnumerable<IPerson>.GetEnumerator() => GetEnumerator(); 22 } 23} 24

補足情報(FW/ツールのバージョンなど)

<Project Sdk="Microsoft.NET.Sdk"> <PropertyGroup> <OutputType>Exe</OutputType> <TargetFramework>net5.0</TargetFramework> <Nullable>enable</Nullable> <LangVersion>9.0</LangVersion> </PropertyGroup> </Project>

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

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

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

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

C# 9.0で提供されるメソッド戻り値の共変性とは、基底クラスで定義されたメソッドを "overrideする時" に返り値の型により強い型を指定出来るという仕組みです。

ジェネリクスクラスとジェネリクスインターフェイスを継承ツリー上で合わせるタイミングでは、ジェネリクスクラスのメソッド実装はジェネリクスインターフェイスに対するoverrideとしては評価されないため、C# 9.0実装上の継承時においては両者は共変性が考慮されないと考えられます。

検証コード
https://dotnetfiddle.net/qVQOoO


なお、実用上は Collection<IStudent> のみ継承しているだけでも共変性によって

IReadOnlyList<IPerson> peaple = new Students();

検証コード
https://dotnetfiddle.net/VAHSnK

と記述できるため、Studentsクラス は(単に IReadOnlyList<IPerson> を実装するだけの)IPeople を継承せずとも十分かもしれません。

投稿2021/03/14 01:43

tor4kichi

総合スコア763

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問