C#：私有内部接口是否可能？

Question

我有一个通用类X<T>；这个类有一个协变部分，我希望能够协变地访问它。所以我把它分解成一个接口IX<out T>。但是，我希望这个接口只对类本身可见，因为它还包含被称为private 的方法。

即，在类本身内部，我可以向上转换为 IX<T> 并协变地使用它。例如：

class X<T> : IX<T> {

    private interface IX<out T>{ // the private covariant interface
         void foo();
    }

    // It grants access to the private method `foo`
    private T foo(){...}
    public T IX.foo(){ return foo(); }

    private static void someMethod(IX<T> x) {
        // Here I can use `x` covariantly
    }
}

这可能吗？我以前从未听说过private 嵌套接口，因为私有接口通常毫无意义。但是，对于泛型，这样的接口对于实现“仅私有的协变”是必要的。

当我尝试编译它时，我收到以下错误：

foo.cs(1,14): error CS0246: The type or namespace name `IX' could not be found. Are you missing an assembly reference?
foo.cs(9,14): error CS0305: Using the generic type `X<T>.IX<S>' requires `1' type argument(s)

这基本上很清楚，泛型类型的内部类型需要外部类型的类型参数。有没有办法让这段代码正确编译？

Answer 1

编辑：看起来这可以在 Roslyn / C# 6 tech preview 上编译，但不能在 MS C# 5 编译器或单声道编译器上编译。

---

是的，就像这样 - 但请注意，实际上内部的 T 在很多方面都是不必要的，如果你保留它 - 将其命名为 TInner 或避免混淆的名称会很有用，因为 T在X<T> 中在技术上与X<>.IX<T> 不同，尽管它们在实践中总是相同的实际类型：

class X<T> : X<T>.IX<T>
{

    private interface IX<out TInner>
    { // the private covariant interface
        void foo();
    }

    // It grants access to the private method `foo`
    private T foo() { throw new NotImplementedException(); }
    void X<T>.IX<T>.foo() { throw new NotImplementedException(); }

    private static void someMethod(IX<T> x)
    {
        // Here I can use `x` covariantly
    }
}

Answer 2

为了让它编译并将你的界面的可见性限制在你的程序集中，你可以将它标记为内部。问题是，如果它被声明为内部类型，您的班级将看不到它。这段代码应该可以工作：

internal interface IX<out T> // the private covariant interface
{ 
    T foo();
}

class X<T> : IX<T> 
{
    // It grants access to the private method `foo`
    private T foo(){ return default(T); }
    T IX<T>.foo(){ return foo(); }

    private static void someMethod(IX<T> x)
    {
        // Here I can use `x` covariantly
    }
}

这样接口仍然是私有的，但由于它不再是内部类型，它可以在你的类上使用。