Błąd kompilatora C# lub normalne zdarzenie COM?

Question

C# 4, aby uprościć współdziałanie COM, zezwól wywołującym na interfejsy COM, aby pominąć słowo kluczowe ref przed argumentami dla parametrów ref.

Zaskoczyło mnie, że dzisiaj dotyczy to również metod rozszerzających, które rozszerzają interfejsy COM. Zobacz poniższy kod, kompilacja:

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

Nie znalazłem nic w specyfikacji, aby wyjaśnić to zachowanie.

Mam wrażenie, że kod poza interfejsem COM, nawet jeśli jest to metoda rozszerzająca rozszerzająca interfejs COM, powinien być zgodny z normalnymi regułami C# i wymuszać użycie słowa kluczowego ref. Dlatego też złożyłem wniosek o wydanie bug on connect. Nie sądzę, że to się naprawi, nawet jeśli zostanie to uznane za błąd, ale istnieje już kod, który polega na tym.

Błąd? Nie błąd?

Answer 1

Nie sądzę, że to błąd; wygląda bardziej jak "COM voodoo", jak mówisz. Pod maską # kompilator C emituje coś, co w rzeczywistości jest poprawna, na przykład:

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

C# jest w rzeczywistości pełen sztuczek. Jeśli dodać metodę IFoo, jak to na przykład

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

ty znowu będą mogli zadeklarować to w C# 4:

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

Oczywiście, wszystko to działa tylko dlatego, CSC .EXE ma doskonałą znajomość atrybutu ComImport. Te nowe magiczne sztuczki Interop zostały dodane do C# 4.0, aby móc łatwo współdziałać z istniejącymi interfejsami COM. Cóż, głównie dla interfejsów i metod Microsoft Office, a zwłaszcza dla armii o strasznych parametrach "brakujących" :-)

Nie sądzę, że jest to w pełni określone w dowolnym miejscu. To wszystko, co ma do powiedzenia specyfikacja C# 4:

17.5 Atrybuty do współdziałania Uwaga: Ta sekcja ma zastosowanie tylko do implementacji C# w Microsoft .NET. 17.5.1 Współdziałanie z komponentami COM i Win32. Czas uruchamiania .NET zapewnia dużą liczbę atrybutów, które umożliwiają programom C# współdziałanie ze składnikami napisanymi przy użyciu bibliotek DLL COM i Win32. W przypadku przykładu atrybut DllImport może być używany w statycznej metodzie zewnętrznej , aby wskazać, że implementację metody można znaleźć w bibliotece DLL Win32 Win32. Atrybuty te można znaleźć w przestrzeni nazw System.Runtime.InteropServices , a szczegółową dokumentację dla tych atrybutów można znaleźć w dokumentacji środowiska wykonawczego .NET.

A oto kilka stron na MSDN:

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