此代码是否描述C＃中的存在类型？

Question

当前正在观看Bart De Smet对IQueryable的解释 ，他提到了Existential Types（我一直对此感到好奇）。 在阅读了这个问题的答案之后，我只是想知道这是否是在C＃中构造它的一种方式：

public abstract class SomeExistentialType
{
    private SomeExistentialType() { }


    public abstract int Foo();

    public ExistentialType Create()
    {
        return new ConcreteType1();
    }

    private class ConcreteType1: SomeExistentialType
    {
        public override int Foo()
        {
            //some implementation...
        }
    }

    private class ConcreteType1: SomeExistentialType
    {
        public override int Foo()
        {
            //some implementation...
        }
    }

    private class ConcreteType1: SomeExistentialType
    {
        public override int Foo()
        {
            //some implementation...
        }
    }
}

这个想法是，如果所有具体类都定义为私有嵌套类（或者可能只是内部类），那么您将被迫仅使用该接口。

Answer 1

听起来很像pImpl习惯用语 。

我不是欺骗开发人员或强迫他们以这些方式执行特定操作的忠实拥护者。 在C / C ++中，我可以理解pImpl习惯用语的合理性，因为C ++缺乏在C＃和.net中获得的许多保护，但是很好。

Answer 2

不，那不是存在类型。 在关于存在性类型的其他问题的答案中，查看VirtualMachine示例。