using System;
interface IA { void f(int i); }
interface IB { void g(int i); }
abstract class FooBase { public abstract void h(int i); }
class FooDeriv : FooBase, IA {
   public void f(int i) { /*...*/ }
   public override void h(int i){ /*...*/ }
}
class Program {
   static void Main() {
      IA refA = new FooDeriv();
      IB refB = null;
      FooBase refAbst = null;
      FooDeriv refC = null;
      // Ici, le transtypage peut se faire.
      if ( refA is FooBase ){
         refAbst = (FooBase)refA;
         // utilise refAbst...
      }
      // Ici, le transtypage peut se faire.
      if ( refA is FooDeriv ){
         refC = (FooDeriv)refA;
         // utilise refC...
      }
      // Ici le transtypage ne peut pas se faire,
      if ( refA is IB ){
         refB = (IB)refA;
         // utilise refB...
      }
      // Cette expression est toujours vraie si IA n'est pas nulle. 
      // Le compilateur l'interpète comme: if( refA!= null )
      if ( refA is IA ){ /*...*/ }
   }
}