參數必須是輸入安全錯誤

以下是一段我的代碼：參數必須是輸入安全錯誤

public interface IA<in TInput> 
{ 
    void Method(IB<TInput> entities); 
} 

public interface IB<in T> { }

我想不通，爲什麼我獲得以下編譯錯誤：「參數，必須輸入安全無效方差：類型參數| TInput |必須在contravariantly有效的「IB <在T>」

任何幫助將不勝感激

來源

2016-08-16 Yuri Dorokhov

逆變的C＃中的標誌（即in）是直觀的只是眼前的水平。，當你做到e「接受」泛型類型參數的方法。然而，在內部，反轉意味着關係（Q&A with an explanation）的反轉，因此在IA內使用in使其與IB不相容。

這個問題最好用一個例子來說明。考慮類Animal及其派生類Tiger。讓我們還假設IB<T>有一個方法void MethodB(T input)，這是從IA的Method叫：

class A_Impl<T> : IA<T> { 
    T data; 
    public void Method(IB<TInput> entities) { 
     entities.MethodB(data); 
    } 
}

聲明IA<in TInput>和IB<in TInput>意味着你可以做

IA<Animal> aForAnimals = new A_Impl<Animal>(); 
IA<Tiger> aForTigers = aForAnimals;

IA<in TInput>有需要IB<TInput>的方法，我們可以這樣稱呼：

aForTigers.Method(new B_Impl<Tiger>());

這是一個問題，因爲現在A_Impl<Animal>會傳遞一個Animal到MethodB的接口，期望Tiger。

你也沒問題IB<out T>，雖然 - 都與協方差和逆變：

public interface IB<out T> { 
//     ^^^ 
} 
// This works 
public interface IA<in TInput> { 
    void Method(IB<TInput> x); 
} 
// This works too 
public interface IC<out TInput> { 
    void Method(IB<TInput> x); 
}

來源

2016-08-16 13:48:13 dasblinkenlight

參數必須是輸入安全錯誤

回答

相關問題