Est-ce que ce code décrit un type existentiel en C#?

Question

En train de regarder le explanation de IQueryable de Bart De Smet et il a mentionné les types existentiels (que j'ai été curieux pendant quelque temps). Après avoir lu les réponses à cette question Je me demande si cela est un moyen de construire en 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... 
     } 
    } 
} 

L'idée est que si toutes les classes concrètes sont définies comme des classes imbriquées privées (ou peut-être juste classes internes), vous êtes obligé de n'utiliser que l'interface.

Answer 1

Semble beaucoup comme le pImpl idiom. Je ne suis pas un grand fan de tromper le développeur ou de les forcer à faire quelque chose de spécifique de ces façons. En C/C++ je pourrais comprendre la justification de l'idiome de pImpl, parce que C++ manque beaucoup de protections que vous obtenez dans C# et .net, mais oh bien.

Answer 2

Non, ce n'est pas ce qu'est un type existentiel. Dans la réponse à l'autre question sur les types existentiels, regardez l'exemple VirtualMachine.