d调用复制内存

原文

import std;

struct ParseError { string msg; }

alias ParseErrorOr(T) = SumType!(ParseError,T);
auto parseErrorOr(T)(T x) { return ParseErrorOr!T(x); }

auto parserOr(I,fs...)(I i) {
  alias RetType = typeof(fs[0](I.init));
  auto cur = RetType(ParseError.init);
  foreach(f;fs) {
    if(cur.match!((ParseError e)=>false,_=>true)) { return cur; }
    cur = f(i); //本行.
  }
  return cur;
}

auto parseNothing(I)(I i) {
    return parseErrorOr(tuple(i[0..0],i));
}

void main()
{
    enum a = parserOr!(string,parseNothing!string,parseNothing!string)("hello");
}

在core.lifetime中的moveEmplaceImpl发生.
而如下工作:

import std;

struct ParseError { string msg; }

alias ParseErrorOr(T) = SumType!(ParseError,T);
auto parseErrorOr(T)(T x) { return ParseErrorOr!T(x); }

auto parserOr(I,alias f, alias g)(I i) {
  auto cur = f(i);
  if(cur.match!((ParseError e)=>false,_=>true)) { return cur; }
  return g(i);
}

auto parseNothing(I)(I i) {
    return parseErrorOr(tuple(i[0..0],i));
}

void main()
{
    enum a = parserOr!(string,parseNothing!string,parseNothing!string)("hello");
}

在moveEmplace中,可能在SumType里面.
还可这样:

auto parserOr(I,fs...)(I i) if(fs.length>=2) {
  auto cur = fs[0](i);
  if(cur.match!((ParseError e)=>false,_=>true)) { return cur; }
  static if(fs.length==2) { return fs[1](i); }
  else { return parserOr!(I,fs[1..$])(i); }
}

也工作,
进一步化简:

import std.sumtype;

struct Tuple
{
    void opAssign(Tuple rhs) {}
}

alias ParseErrorOr = SumType!Tuple;

auto parserOr() {
    ParseErrorOr cur;
    cur = ParseErrorOr(Tuple());
    return cur;
}

void main()
{
    enum a = parserOr();
}

move来自SumType.opAssign.
ctfe中不能用opAssign赋值struct给SumType.
链接.
链接