Come iniettare codice C# in fase di compilazione?

Question

Mi piacerebbe essere in grado di decorare qualsiasi metodo con un attributo personalizzato Trace e qualche parte di codice dovrebbe essere iniettata in quel metodo alla compilazione.

Ad esempio:

[Trace] 
public void TracedMethod(string param1) 
{ 
    //method body 
} 

dovrebbe diventare:

public void TracedMethod(string param1) 
{ 
    Log.Trace("TracedMethod", "param1", param1); 
    //method body 
} 

In questo caso, il codice iniettato dipende dal nome metodo e metodo parametri, quindi dovrebbe essere possibile dedurre queste informazioni.

Qualcuno sa come realizzare questo?

Answer 1

Per la programmazione orientata agli aspetti in C#, è possibile utilizzare PostSharp.

(The homepage mostra anche un esempio di Trace, proprio come stai chiedendo!)

Answer 2

Questo può essere fatto facilmente con un sistema di programma di trasformazione.

DMS Software Reengineering Toolkit Il DMS Software Reengineering Toolkit è un sistema di trasformazione di programma generico e può essere utilizzato con molte lingue (C++, COBOL, Java, EcmaScript, Fortran, ..) e in particolare con C#.

DMS analizza il codice sorgente, crea Abstract Syntax Trees e consente di applicare pattern source-to-source per trasformare il codice da un programma C# a un altro con qualsiasi proprietà desideri. La regola di trasformazione per realizzare esattamente il compito specificato sarebbe:

domain CSharp. 

insert_trace():method->method 
    "[Trace] 
    \visibility \returntype \methodname(string \parametername) 
    { \body } " 
     -> 
    "\visibility \returntype \methodname(string \parametername) 
    { Log.Trace(\CSharpString\(\methodname\), 
       \CSharpString\(\parametername\), 
       \parametername); 
     \body } " 

le virgolette (") non sono marchi CSharp quote; anzi, sono 'le citazioni di dominio', e indicano che il contenuto all'interno delle virgolette è la sintassi CSharp (perché abbiamo detto: "CSharp dominio"). le notazioni \ Foo sono meta di sintassi.

Questa regola corrisponde al AST che rappresenta il metodo specificato con il [Trace] annotazioni, e riscrive che AST in la traccia tracciata, l'AST risultante viene quindi riportato di nuovo in forma di origine, che è possibile compilare. Probabilmente occorrono altre regole per gestire altre combinazioni di argomenti; agire, probabilmente si generalizza l'elaborazione dell'argomento per produrre (dove possibile) un valore stringa per ogni argomento scalare.

Dovrebbe essere chiaro che si può fare molto di più del semplice logging con questo, e molto più della semplice programmazione orientata all'aspetto, dal momento che è possibile esprimere trasformazioni arbitrarie e non solo azioni pre-dopo.