Có thể lập trình meta trong C# không?

Question

Cụ thể, có thể có mã số tương tự mã C++ này được thực hiện tại thời gian biên dịch trong C# không?

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

Không, lập trình meta của sự phức tạp này không được ngôn ngữ C# hỗ trợ trực tiếp. Tuy nhiên, như @littlegeek cho biết, Text Template Transformation Toolkit đi kèm với Visual Studio sẽ cho phép bạn đạt được sự tạo mã của bất kỳ sự phức tạp nào.

Answer 2

Không, không thể lập trình meta trong C#.

Answer 3

Để rất phạm vi giới hạn, C# điều gì đó có thể được hiểu là lập trình meta. Nhưng thực sự nó không có gì hơn là độ phân giải quá tải. Đó là một trải nghiệm thực sự để gọi nó là lập trình meta.

Ví dụ:

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

loại cái nhìn đối với các mẫu t4

Xin lỗi trên iphone và không thể trỏ đến tài nguyên.

Scott Hansleman đã đăng tuần trước về nó.

Answer 5

Sự khác biệt cơ bản giữa .NET Generics và C++ Templates là generics chuyên về thời gian chạy. Các mẫu được mở rộng tại thời gian biên dịch. Các hành vi năng động của generics làm cho những thứ như Linq, biểu hiện cây, Type.MakeGenericType(), ngôn ngữ độc lập và tái sử dụng mã có thể.

Nhưng có một mức giá, bạn không thể ví dụ sử dụng toán tử trên các giá trị của đối số loại chung. Bạn không thể viết std :: class phức tạp trong C#. Và không có lập trình meta thời gian biên dịch.

Answer 6

Bạn phải cẩn thận khi nói về thời gian biên dịch khi giao dịch với ngôn ngữ Java hoặc .Net. Trong những ngôn ngữ đó bạn có thể thực hiện metaprogamming mạnh hơn (theo nghĩa rộng hơn - phản ánh-) so với C++ do thực tế là "thời gian biên dịch" (JIT) có thể bị trì hoãn sau "thời gian chạy";)

Answer 7

Nó sẽ để có thể. Xem bài diễn văn của The Future of C# của Anders Hejlsberg.

Answer 8

Hầu hết mọi người nhấn mạnh vào việc cố gắng lập trình meta từ bên trong ngôn ngữ yêu thích của họ. Điều đó không hiệu quả nếu ngôn ngữ không hỗ trợ lập trình meta tốt; câu trả lời khác đã quan sát thấy rằng C# không.

Cách xung quanh việc này là thực hiện lập trình meta từ bên ngoài ngôn ngữ, sử dụng program transformation tools. Các công cụ như vậy có thể phân tích cú pháp mã nguồn, và thực hiện các phép biến đổi tùy ý trên nó (đó là những gì metaprogramming làm anyway) và sau đó nhổ ra chương trình sửa đổi.

Nếu bạn có một hệ thống chuyển đổi chương trình mục đích chung, có thể phân tích ngôn ngữ tùy ý, bạn có thể thực hiện lập trình meta trên/với bất kỳ ngôn ngữ nào bạn muốn. Xem DMS Software Reengineering Toolkit của chúng tôi cho một công cụ như vậy, có các giao diện người dùng mạnh mẽ cho C, C++, Java, C#, COBOL, PHP và một số ngôn ngữ lập trình khác và đã được sử dụng để lập trình meta trên tất cả các công cụ này.D2 thành công vì nó cung cấp phương pháp thường xuyên và cơ sở hạ tầng hỗ trợ để truy cập hoàn toàn vào cấu trúc chương trình như AST, và trong hầu hết các trường hợp dữ liệu bổ sung như bảng biểu tượng, thông tin kiểu, kiểm soát và phân tích luồng dữ liệu. thao tác chương trình.

EDIT (để trả lời nhận xét): Người dùng có thể áp dụng DMS để triển khai nhiệm vụ của OP trên C#.

Answer 9

thử xem script.net; thêm thông tin tại - http://www.orbifold.net/default/?p=2457

Answer 10

Metaprogramming có thể có trong .NET (xem trình biên dịch biên dịch, biểu thức thông thường, mã DOM, phản xạ, vv) nhưng C# là không có khả năng mẫu Lập trình meta vì nó không có rằng tính năng ngôn ngữ.

Answer 11

Không theo cách bạn đang hỏi, nhưng bạn có thể sử dụng một số thủ thuật cũ C++ để tạo ra các lớp học có những đặc điểm được quy định tĩnh:

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

Sử dụng này, bạn có thể định nghĩa các lớp học không gian:

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

Tôi sử dụng kỹ thuật này trong thư viện có nhiều lớp con, nơi thêm thành viên dữ liệu mới yêu cầu nhiều bản mẫu.