¿Error del compilador C# o rareza COM normal?

Question

C# 4, para simplificar la interoperabilidad COM, permite a las personas que llaman a las interfaces COM omitir la palabra clave ref delante de los argumentos por los parámetros ref.

Me sorprendió ver hoy que esto también se aplica a los métodos de extensión que amplían las interfaces COM. Véase el siguiente, la compilación, el código:

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); 
    } 
} 

no he encontrado nada en la especificación para explicar este comportamiento.

Mi impresión sería que el código fuera de la interfaz COM, incluso si se trata de un método de extensión que amplía una interfaz COM, debería seguir las reglas normales de C# e imponer el uso de la palabra clave ref. Por lo tanto, presenté un bug on connect. No es que crea que esto se solucione, incluso si se considera un error, ya hay un código que se basa en esto.

Error? No es un error?

Answer 1

No creo que sea un error; se parece más a "COM vudú" como dices. Bajo el capó, el compilador de C# emite cosa que es de hecho correcta, así:

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

C# es, de hecho, lleno de trucos. Si se agrega un método para IFoo, así por ejemplo,

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

que, una vez más, será capaz de declarar esto en C# 4:

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

Por supuesto, todo esto sólo funciona porque CSC .EXE tiene un conocimiento íntimo del atributo ComImport. Estos nuevos trucos mágicos de Interop se agregaron a C# 4.0 para poder interoperar fácilmente con las interfaces COM existentes. Bueno, para las interfaces y los métodos de Microsoft Office en su mayoría, y especialmente para los ejércitos de los espantosos parámetros 'ref missing' :-)

No creo que esto esté completamente especificado en ninguna parte. Esto es todo lo que la especificación C# 4 tiene que decir:

17.5 Atributos para interoperación Nota: esta sección es aplicable solo a la implementación de Microsoft .NET de C#. 17.5.1 Interoperación con componentes COM y Win32 .NET run-time proporciona una gran cantidad de atributos que permiten que los programas C# interoperen con componentes escritos utilizando COM y Win32 DLL. Para el ejemplo , el atributo DllImport se puede usar en un método extern estático para indicar que la implementación del método se debe encontrar en una DLL Win32 . Estos atributos se encuentran en el espacio de nombres System.Runtime.InteropServices , y la documentación detallada para estos atributos se encuentra en la documentación de tiempo de ejecución de .NET.

Y aquí están algunas páginas en MSDN:

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