Xử lý D cấu trúc khuôn mẫu như một loại phổ biến

Question

Tôi gặp sự cố khi thiết kế ứng dụng D. Có lẽ cách tiếp cận của tôi là hoàn toàn sai, vì vậy tôi đến đây để bạn giải cứu tôi. Bất kỳ đề xuất nào, bao gồm viết lại hoàn toàn, đều được chào đón.

Tôi có một số loại templated:

enum Type : byte { Message='!', Integer='@' } 

struct Token (T) { 
    Type type; 
    T value; 
} 

alias Token!string MessageToken; 
alias Token!long IntegerToken; 

Và tôi cần phải xử lý các loại tổng quát:

AnyToken genToken(bool cond) { 
    if (cond) 
    return MessageToken(Type.Message, "nighly builds"); 
    else 
     return IntegerToken(Type.Integer, -42); 
} 

AnyToken a = genToken(true); 
AnyToken b = genToken(false); 

Làm thế nào để đạt được hiệu ứng này? Chỉnh sửa: Lựa chọn thay thế OOP cũng được hoan nghênh.

Answer 1

tôi đã sử dụng một sự kết hợp gắn thẻ chính mình

struct Token{ 
    Type type; 
    union{ 
     string str; 
     long integer; 
    } 
    @property string strMessage()in{assert(type==Type.Message)}body{ 
     return str; 
    } 
    @property void strMessage(string s){ 
     type=Type.Message; 
     str=s; 
    } 
    @property long intMessage()in{assert(type==Type.Integer)}body{ 
     return integer; 
    } 
    @property void intMessage(long l){ 
     type=Type.Integer; 
     integer=l; 
    } 
} 

lưu ý rằng không có tĩnh (thời gian biên dịch) khác biệt giữa chúng nhưng nó khá nhiều là tốt nhất về thể làm mà không thừa kế

bạn có thể thêm một số chức năng phụ để nó trông giống như thừa kế, do đó bạn sẽ không cần phải kiểm tra trường kiểu quá bên ngoài các hàm của cấu trúc

Answer 2

Bạn có thể sử dụng std.variant.

Tôi không thể tưởng tượng một cách khác. Cuối cùng, chúng là các loại hoàn toàn riêng biệt.

Answer 3

Nếu bạn thực sự cần giữ cấu trúc ban đầu thì bạn có thể tạo phân cấp các lớp bọc con trỏ cho một cấu trúc và công văn phù hợp.