将 D 模板化结构作为通用类型处理

发布于 2025-01-02 10:36:28 字数 595 浏览 1 评论 0原文

我在设计 D 应用程序时遇到了麻烦。也许我的做法是完全错误的，所以我来这里是为了让你来救我。欢迎任何建议，包括完全重写。

我有一些模板化类型：

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

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

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

并且我需要一般性地处理这些类型：

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

如何实现这种效果？ 编辑： OOP 替代方案也受到欢迎。

原文

I'm in trouble on designing a D app. Maybe my approach is completely wrong, so I come here to you rescue me. Any suggestion, including complete rewrite, is welcome.

I have some templated types:

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

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

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

And I need to handle these types generically:

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

How do I achieve this effect? Edit: OOP alternatives are welcome too.

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

酸甜透明夹心 2025-01-09 10:36:28

我自己使用了标记联合，

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

请注意它们之间没有静态（编译时）差异，但这几乎是没有继承的情况下最好的选择，

您可以添加一些额外的函数，这样它看起来更像继承，所以您不需要在结构函数之外检查类型字段

I'd have used a tagged union myself

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

note that there's no static (compile time) difference between them but it's pretty much the best on can do without inheritance

you can add some extra functions so it looks more like inheritance so you won't need to examine the type field so much outside the struct's functions

回复收藏 0 原文