deavmi
/
niknaks
mirror of https://github.com/deavmi/niknaks
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SectorType 

- More compile-time checks added
This commit is contained in:
Tristan B. Velloza Kildaire 2024-05-02 15:57:47 +02:00
parent ba4dbd975f
commit f84f9caa1f
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
source/niknaks/containers.d
View File

@ -695,11 +695,25 @@ private bool isSector(S)()
// pragma(msg, staticIndexOf!("@property", __traits(getFunctionAttributes, S.length)) == -1);
// Has length method (TODO: Add @property check)
// Has length method
s &= hasMember!(S, "length") &&
__traits(isSame, ReturnType!(S.length), size_t) &&
staticIndexOf!("@property", __traits(getFunctionAttributes, S.length)) != -1;
// Has opDollar with size_t return
s &= hasMember!(S, "opDollar") &&
__traits(isSame, Parameters!(S.opDollar), AliasSeq!()) &&
__traits(isSame, ReturnType!(S.opDollar), size_t);
// Has opIndex(size_t) with T return
s &= hasMember!(S, "opIndex") &&
__traits(isSame, Parameters!(S.opIndex), AliasSeq!(size_t)) &&
__traits(isSame, ReturnType!(S.opIndex), T);
// Has opIndexAssign(size_t) with T return
s &= hasMember!(S, "opIndexAssign") &&
__traits(isSame, Parameters!(S.opIndexAssign), AliasSeq!(T, size_t)) &&
__traits(isSame, ReturnType!(S.opIndexAssign), void);
return s;
}