Errore nel compilatore C# o normale dispari COM?

Question

C# 4, per semplificare l'interoperabilità COM, consente ai chiamanti di interfacce COM di omettere la parola chiave ref di fronte agli argomenti per i parametri ref.

Sono stato sorpreso di vedere oggi che questo si applica anche ai metodi di estensione che estendono le interfacce COM. Vedere il seguente, codice di compilazione:

using System; 
using System.Runtime.InteropServices; 

[ComImport, Guid ("cb4ac859-0589-483e-934d-b27845d5fe74")] 
interface IFoo { 
} 

static class Program { 

    public static void Bar (this IFoo self, ref Guid id) 
    { 
     id = Guid.NewGuid(); 
    } 

    static void Main() 
    { 
     Foo (null); 
    } 

    static void Foo (IFoo o) 
    { 
     Guid g = Guid.NewGuid(); 
     Console.WriteLine (g); 

     // note that g is passed as is, and not as ref g  
     o.Bar (g); 

     Console.WriteLine (g); 
    } 
} 

Non ho trovato nulla nelle specifiche per spiegare questo comportamento.

La mia sensazione sarebbe che il codice all'esterno dell'interfaccia COM, anche se si tratta di un metodo di estensione che estende un'interfaccia COM, dovrebbe seguire le normali regole C# e imporre l'uso della parola chiave ref. Ho quindi depositato uno bug on connect. Non che io pensi che questo sarà risolto, anche se è considerato come un bug, c'è già del codice là fuori basandosi su questo.

Bug? Non è un bug?

Answer 1

Non penso che sia un bug; assomiglia più a "COM voodoo" come dici tu. Sotto il cofano, il compilatore C# emette qualcosa che è di fatto corretta, in questo modo:

private static void Foo(IFoo o) 
{ 
    ... 
    Guid g = Guid.NewGuid(); 
    Guid <>r__ComRefCallLocal0 = g; 
    Bar(o, ref <>r__ComRefCallLocal0); 
    ... 
} 

C# è in realtà piena di trucchi. Se si aggiunge un metodo per IFoo, in questo modo, per esempio,

[ComImport, Guid("cb4ac859-0589-483e-934d-b27845d5fe74")] 
interface IFoo 
{ 
    void Test([Optional] ref object test); 
} 

voi, ancora una volta, sarà in grado di dichiarare questo in C# 4:

static void Foo(IFoo o) 
{ 
    Guid g = Guid.NewGuid(); 
    o.Test(g); 
} 

Naturalmente, tutto questo funziona solo perché CSC .EXE ha una conoscenza approfondita dell'attributo ComImport. Questi nuovi trucchi Magic Interop sono stati aggiunti a C# 4.0 per essere in grado di interoperare facilmente con le interfacce COM esistenti. Bene, per le interfacce e i metodi di Microsoft Office soprattutto, e soprattutto gli eserciti di terribili parametri "ref missing" :-)

Non penso che questo sia completamente specificato da nessuna parte. Questo è tutto ciò che la specifica C# 4 ha da dire:

17.5 Attributi per l'interoperabilità Nota: questa sezione è applicabile solo all'implementazione di Microsoft .NET di C#. 17.5.1 Interoperazione con componenti COM e Win32 Il runtime .NET fornisce un gran numero di attributi che abilitano i programmi C# a interoperabili con componenti scritti utilizzando DLL COM e Win32. Per l'esempio , l'attributo DllImport può essere utilizzato su un metodo statico esterno per indicare che l'implementazione del metodo si trova in una DLL Win32 . Questi attributi si trovano nello spazio dei nomi System.Runtime.InteropServices e la documentazione dettagliata per questi attributi si trova nella documentazione di runtime .NET.

e qui ci sono alcune pagine su MSDN:

• Named and Optional Arguments (C# Programming Guide)
• How to: Access Office Interop Objects by Using Visual C# 2010 Features (C# Programming Guide)