2306d创建可选及别名问题

这篇具有很好参考价值的文章主要介绍了2306d创建可选及别名问题。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

原文
如何通过std.sumtype创建可选类型?

enum None;
struct Some(T) { T x; }
alias Option = SumType!(Some!T, None);

我收到错误:未定义的T标识

你打算输入:

alias Option(T) = SumType!(Some!T, None);

不幸,因为1807问题,这不是定义可选类型的好方法.如果试按函数参数用它,则会收到令人困惑的错误消息.

import std.sumtype;
struct None {}
struct Some(T) { T value; }
alias Option(T) = SumType!(None, Some!T);
bool isNone(T)(Option!T opt)
{
    return opt.match!(
        (Some!T _) => false,
        (None _) => true
    );
}
unittest
{
    Option!int x = Some!int(123), y = None.init;
    assert(!x.isNone);
    assert(y.isNone);
    //错误:不能使用`!()(SumType!(None, Some!int))`参数类型调用`"isNone"`模板的任意重载.
}

要解决它,应使用带alias this(别名本)的结构定义可选类型,如D博客上的本文中所述,译文.也为你提供了更好看的错误消息.对可选,如下:

struct Option(T)
{
    SumType!(None, Some!T) data;
    alias data this;
    this(Value)(Value value) { data = value; }
}

如果使用此版本的可选而不是别名版本,则上例编译,且通过测试单元.文章来源地址https://www.toymoban.com/news/detail-510515.html

到了这里,关于2306d创建可选及别名问题的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包