Недопустимое значение. Параметр типа "T" должен быть контравариантно действителен

@taran-1995 · Регистрация: 10.01.2014

Студворк — интернет-сервис помощи студентам

Помогите пожалуйста выдаёт ошибку (Недопустимое значение. Параметр типа "T" должен быть контравариантно действителен) не знаю что делать

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
 
namespace ClassLibrary1
{
    public interface ICovariation<out T>
    {
        bool Covariate(T obj);
    }
}

@kolorotur · 03.06.2015, 09:48

Сообщение от taran-1995

C#
1
ICovariation<out T>

Наличие модификатора out для типа-параметра говорит о том, что интерфейс ковариантен.

Сообщение от taran-1995

C#
1
bool Covariate(T obj);

Метод Covariate имеет параметр типа Т, значит является контрвариантным.

Итог: контрвариантный метод в ковариантном интерфейсе = ошибка.
Если тип-параметр помечен модификатором out, то этот тип во всех методах и свойствах может иметься только на выходе, в качестве возвращаемого значения.

Если он должен иметься только на входе, то модификатор должен быть in — контрвариантный интерфейс.

Если он должен быть и там и там, то модификатора быть не должно и интерфейс является инвариантным.

@taran-1995 · 03.06.2015, 10:25 **[ТС]**

спасибо

Добавлено через 19 минут
а как сделать чтобы он был здесь именно ковариантный?

@kolorotur · 03.06.2015, 10:27

Сообщение от taran-1995

а как сделать чтобы он был здесь именно ковариантный?

Сделать так, чтобы тип Т был только на выходе:

C#
1
T Covariate();

@taran-1995 · 03.06.2015, 10:41 **[ТС]**

а если нужен общий?

@kolorotur · 03.06.2015, 10:51

Сообщение от taran-1995

а если нужен общий?

Тогда сделать интерфейс инвариантным, убрав модификаторы in/out.

@taran-1995 · 03.06.2015, 11:51 **[ТС]**

добавилось ещё 2 ошибки covariation<T> не реализует член интерфейса

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
 
namespace ClassLibrary1
{
    public class Covariation<T> : ICovariation<T>
    {
        bool Covariate(T obj)
        {
            return false;
        }
    }
}

и Contravariation<T> не удаётся реализовать член интерфейса поскольку он не является общим

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
 
namespace ClassLibrary1
{
    public class Contravariation<T> : IContravariation<T>
    {
        bool Contravariate(T obj)
        {
            return false;
        }
    }
}

@kolorotur · 03.06.2015, 12:00

taran-1995, как интерфейс-то объявлен?

@taran-1995 · 03.06.2015, 12:05 **[ТС]**

public interface ICovariation<T>

@kolorotur · 03.06.2015, 12:11

taran-1995, пометьте реализованные методы как public.

@taran-1995 · 03.06.2015, 12:20 **[ТС]**

теперь только covariation<T> не реализует член интерфейса

@kolorotur · 03.06.2015, 12:24

Его тоже как public (в сообщении выше написано "методы")

@taran-1995 · 03.06.2015, 12:33 **[ТС]**

оба метода public и всё равно та же ошибка

@kolorotur · 03.06.2015, 12:40

Выложите весь код

@taran-1995 · 03.06.2015, 12:43 **[ТС]**

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
 
namespace ClassLibrary1
{
    public class Covariation<T> : ICovariation<T>
    {
       public bool Covariate(T obj)
        {
            return false;
        }
    }
}
 
 
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
 
namespace ClassLibrary1
{
    public interface ICovariation<T>
    {
 
        T Covariate();
 
    }
}

Добавлено через 43 секунды
кожица я нашёл ошибку

@insite2012 · 03.06.2015, 12:44

Сообщение от taran-1995

оба метода public и всё равно та же ошибка

taran-1995, на будущее, для исключения ошибок при реализации интерфейсов: В окне кода правой кнопкой по имени интерфейса в объявлении класса-Реализовать интерфейс-Реализовать интерфейс/Явно реализовать интерфейс

@taran-1995 · 03.06.2015, 12:44 **[ТС]**

а нет не нашол

@kolorotur · 03.06.2015, 12:44

Реализующий класс должен включать все методы, которые объявлены в реализуемом интерфейсе.

В интерфейсе у вас объявлен такой метод:

C#
1
T Covariate();

А в реализующем классе он такой:

C#
1
bool Covariate(T obj)

Очевидно, что это разные методы.

@insite2012 · 03.06.2015, 12:45

Сообщение от taran-1995

кожица я нашёл ошибку

Кожица я тоже.

У вас метод интерфейса должен возвращать тип Т, а вы в реализации возвращаете тип bool.

@taran-1995 · 03.06.2015, 13:30 **[ТС]**

всем спасибо за помощь

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 10:25 [ТС]
	спасибо Добавлено через 19 минут а как сделать чтобы он был здесь именно ковариантный? 0

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 10:41 [ТС]
	а если нужен общий? 0

@kolorotur 17823 / 12973 / 3382 Регистрация: 17.09.2011 Сообщений: 21,261
	03.06.2015, 12:00
	taran-1995, как интерфейс-то объявлен? 0

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 12:05 [ТС]
	public interface ICovariation<T> 0

@kolorotur 17823 / 12973 / 3382 Регистрация: 17.09.2011 Сообщений: 21,261
	03.06.2015, 12:11
	taran-1995, пометьте реализованные методы как public. 0

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 12:20 [ТС]
	теперь только covariation<T> не реализует член интерфейса 0

@kolorotur 17823 / 12973 / 3382 Регистрация: 17.09.2011 Сообщений: 21,261
	03.06.2015, 12:24
	Его тоже как public (в сообщении выше написано "методы") 0

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 12:33 [ТС]
	оба метода public и всё равно та же ошибка 0

@kolorotur 17823 / 12973 / 3382 Регистрация: 17.09.2011 Сообщений: 21,261
	03.06.2015, 12:40
	Выложите весь код 0

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 12:44 [ТС]
	а нет не нашол 0

@taran-1995 0 / 0 / 0 Регистрация: 10.01.2014 Сообщений: 39
	03.06.2015, 13:30 [ТС]
	всем спасибо за помощь 0

Недопустимое значение. Параметр типа "T" должен быть контравариантно действителен

Решение