Czy możliwe jest metaprogramowanie w C#?

Question

W szczególności, byłoby możliwe, aby mieć kod podobny do tego kodu C++ wykonanego w czasie kompilacji w C#?

template <int N> 
struct Factorial 
{ 
    enum { value = N * Factorial<N - 1>::value }; 
}; 

template <> 
struct Factorial<0> 
{ 
    enum { value = 1 }; 
}; 

// Factorial<4>::value == 24 
// Factorial<0>::value == 1 
void foo() 
{ 
    int x = Factorial<4>::value; // == 24 
    int y = Factorial<0>::value; // == 1 
} 

Answer 1

Nie, metaprogramowanie tej złożoności nie jest obsługiwane bezpośrednio przez język C#. Jednak, jak powiedział @littlegeek, Text Template Transformation Toolkit zawarty w Visual Studio pozwoli ci na generowanie kodu o dowolnej złożoności.

Answer 2

Nie, metaprogramowanie nie jest możliwe w języku C#.

Answer 3

Bardzo ograniczony zakres, C#, który można zinterpretować jako meta-programowanie. Ale tak naprawdę to nic więcej niż rozdzielczość przeciążania. Nazywanie go meta-programowaniem jest naprawdę trudne.

Przykład:

static string SomeFunc<T>(T value) { 
    return "Generic"; 
} 
static string SomeFunc(int value) { 
    return "Non-Generic"; 
} 

static void Example() { 
    SomeFunc(42);   // Non-Generic 
    SomeFunc((object)42); // Generic 
} 

Answer 4

rodzaju wygląd szablonów t4

Sorry na iPhone i nie może wskazywać na zasób.

Scott Hansleman pisał w zeszłym tygodniu o tym.

Answer 5

Zasadniczą różnicą między .NET Generics i C++ Templates jest to, że specjaliści specjalizują się w środowisku wykonawczym. Szablony są rozszerzane w czasie kompilacji. Dynamiczne zachowanie generycznych sprawia, że ​​możliwe są takie rzeczy jak Linq, drzewa ekspresji, Type.MakeGenericType(), niezależność językowa i ponowne używanie kodu.

Ale jest cena, nie można na przykład używać operatorów na wartościach ogólnego argumentu typu. Nie możesz napisać klasy std :: complex w języku C#. I bez metaprogramowania w czasie kompilacji.

Answer 6

Musisz być ostrożny, mówiąc o kompilacji podczas pracy z językami Java lub .Net. W tych językach można wykonać potężniejsze metaprogamming (w szerszym znaczeniu - refleksja-) niż C++ ze względu na fakt, że "czas kompilacji" (JIT) może być odroczony po "uruchomieniu";)

Answer 7

To idzie być możliwym. Zobacz przemówienie Andersa Hejlsberga z The Future of C#.

Answer 8

Większość osób domaga się metaprogramu w swoim ulubionym języku. To nie działa, jeśli język nie obsługuje dobrze metaprogramowania; inne odpowiedzi zauważyły, że C# nie.

Sposobem na to jest do zrobienia metaprogramowanie z poza językiem, używając program transformation tools. Takie narzędzia mogą analizować kod źródłowy i przeprowadzać na nim dowolne transformacje (to i tak robi metaprogramowanie), a następnie wypluć zmieniony program.

Jeśli posiadasz uniwersalny system transformacji programów, który może analizować dowolne języki, możesz dokonać metaprogramowania na/w dowolnym języku. Zobacz nasze DMS Software Reengineering Toolkit dla takiego narzędzia, które ma solidne przednie końce dla C, C++, Java, C#, COBOL, PHP i wielu innych języków programowania, i było używane do metaprogramowania na wszystkich z nich.

DMS powiedzie się, ponieważ zapewnia regularną metodę i infrastrukturę wsparcia dla pełnego dostępu do struktury programu jako AST, a w większości przypadków dodatkowe dane, takie jak tabele symboli, informacje o typach, kontrola i analiza przepływu danych, wszystko, co niezbędne do zrobienia wyrafinowanego manipulowanie programami.

EDYCJA (w odpowiedzi na komentarz): Można zastosować DMS do realizacji zadania OP na C#.

Answer 9

spróbuj spojrzeć na script.net; Więcej informacji na - http://www.orbifold.net/default/?p=2457

Answer 10

METAPROGRAMOWANIE jest możliwe w .NET (patrz kompilatory kompilator wyrażeń regularnych, kod DOM, odbicie itd.), ale C# nie jest w stanie szablonu METAPROGRAMOWANIE ponieważ nie ma tej funkcji języka.

Answer 11

Nie w sposób jesteś pytaniem, ale można korzystać z niektórych starych C++ sztuczek, aby wygenerować klas, których cechy są określone statycznie:

abstract class Integer 
{ 
    public abstract int Get { get; } 
} 

public class One : Integer { public override int Get { return 1; } } } 
public class Two : Integer { public override int Get { return 2; } } } 
public class Three : Integer { public override int Get { return 3; } } } 

public class FixedStorage<T, N> where N : Integer, new() 
{ 
    T[] storage; 
    public FixedStorage() 
    { 
     storage = new T[new N().Get]; 
    } 
    public T Get(int i) 
    { 
     return storage[i]; 
    } 
} 

Używanie tego, można zdefiniować klasy przestrzennych:

public class Vector3 : FixedStorage<float, Three> {} 
public class Vector2 : FixedStorage<float, Two> {} 
public class GridCell : FixedStorage<int, Two> {} 

Używam tej techniki w bibliotece, która ma wiele podklas, gdzie dodanie nowego elementu danych wymaga wielu elementów.