理解d写一次类型

清疚 2023-01-18 04:19 53阅读 0赞

有时,`循环内`设置`常`值,有时可抽象为`λ`,但在`静态环境`中不行.且`置值`时,我还要处理,而不是`直接返回`,但这又有`另一个`循环.  
用例是,我的`类型集`中,有个`常`属性.要验证他们都相同,并取出`其值`.  
是否有人有`写一次`类型,即允许`仅初化一次类型`,就像`初化`值一样,运行时决定是否`置`该类型.  
类似`可重绑定/尾常`,头不必为`常`,只是需要`复制进常引用`

struct WriteOnce(T) { 
        const T payload;
        const bool isSet;
    
        void opAssign(U : T)(U data)
        in (!isSet){ 
            assert(!isSet);
            @trusted() { 
                *(cast()&payload) = data;
                *(cast()&isSet) = true;
            }();
        }
    }
    //上为hs.t
    struct ColumnDef(T)//列类型
    { 
        const TableDef table;//表,源,常
        ExprString expr;//描述表达式,
        alias type = T;
    }
    //计算列,定义1个从其他列计算出的类型的来定义列.相关了.
    ColumnDef!T exprCol(T, Args...)(Args args)
    { 
        //先找所有列,确保定义都来自该表
        //列不能有多个表
        const(TableDef)* tabledef;
        foreach(ref arg; args)
        { 
            static if(is(typeof(arg) == ColumnDef!U, U))
            { 
                if(tabledef && arg.table != *tabledef)
                    throw new Exception("式中不能定义多表");
                else
                    tabledef = &arg.table;
            }
        }
    
        assert(tabledef !is null);
    
        //构建表达式串
        ExprString expr;
        foreach(ref a; args)
        { 
            static if(is(typeof(a) == string))
                expr ~= a;
            else
                expr ~= a.expr;
        }
        return ColumnDef!(T)(*tabledef, expr);
        //用的是指针抽象.
    }