Skip to content

Use builtin __traits(hasMember, ...) in place of std.traits.hasMember… #11014

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
thewilsonator merged 1 commit into from
May 13, 2026
Merged

Use builtin __traits(hasMember, ...) in place of std.traits.hasMember… #11014

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
70 changes: 35 additions & 35 deletions std/checkedint.d
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -277,7 +277,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
alias Representation = T;

// state {
static if (hasMember!(Hook, "defaultValue"))
static if (__traits(hasMember, Hook, "defaultValue"))
private T payload = Hook.defaultValue!T;
else
private T payload;
Expand Down Expand Up @@ -310,7 +310,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
Defines the minimum and maximum. These values are hookable by defining
`Hook.min` and/or `Hook.max`.
*/
static if (hasMember!(Hook, "min"))
static if (__traits(hasMember, Hook, "min"))
{
enum Checked!(T, Hook) min = Checked!(T, Hook)(Hook.min!T);
///
Expand All @@ -326,7 +326,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
/// ditto
enum Checked!(T, Hook) min = Checked(T.min);
}
static if (hasMember!(Hook, "max"))
static if (__traits(hasMember, Hook, "max"))
{
/// ditto
enum Checked!(T, Hook) max = Checked(Hook.max!T);
Expand Down Expand Up @@ -455,7 +455,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
U opCast(U, this _)()
if (isIntegral!U || isFloatingPoint!U || is(U == bool))
{
static if (hasMember!(Hook, "hookOpCast"))
static if (__traits(hasMember, Hook, "hookOpCast"))
{
return hook.hookOpCast!U(payload);
}
Expand All @@ -468,7 +468,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
return payload;
}
// may lose bits or precision
else static if (!hasMember!(Hook, "onBadCast"))
else static if (!__traits(hasMember, Hook, "onBadCast"))
{
return cast(U) payload;
}
Expand Down Expand Up @@ -526,11 +526,11 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
{
return payload == rhs.payload;
}
else static if (hasMember!(Hook, "hookOpEquals"))
else static if (__traits(hasMember, Hook, "hookOpEquals"))
{
return hook.hookOpEquals(payload, rhs.payload);
}
else static if (hasMember!(W, "hookOpEquals"))
else static if (__traits(hasMember, W, "hookOpEquals"))
{
return rhs.hook.hookOpEquals(rhs.payload, payload);
}
Expand All @@ -539,7 +539,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
return payload == rhs.payload;
}
}
else static if (hasMember!(Hook, "hookOpEquals"))
else static if (__traits(hasMember, Hook, "hookOpEquals"))
return hook.hookOpEquals(payload, rhs);
else static if (isIntegral!U || isFloatingPoint!U || is(U == bool))
return payload == rhs;
Expand Down Expand Up @@ -599,13 +599,13 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
*/
size_t toHash() const nothrow @safe
{
static if (hasMember!(Hook, "hookToHash"))
static if (__traits(hasMember, Hook, "hookToHash"))
{
return hook.hookToHash(payload);
}
else static if (stateSize!Hook > 0)
{
static if (hasMember!(typeof(payload), "toHash"))
static if (__traits(hasMember, typeof(payload), "toHash"))
{
return payload.toHash() ^ hashOf(hook);
}
Expand All @@ -614,7 +614,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
return hashOf(payload) ^ hashOf(hook);
}
}
else static if (hasMember!(typeof(payload), "toHash"))
else static if (__traits(hasMember, typeof(payload), "toHash"))
{
return payload.toHash();
}
Expand All @@ -638,13 +638,13 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
alias localPayload = this.payload;
}

static if (hasMember!(Hook, "hookToHash"))
static if (__traits(hasMember, Hook, "hookToHash"))
{
return hook.hookToHash(localPayload);
}
else static if (stateSize!Hook > 0)
{
static if (hasMember!(typeof(localPayload), "toHash"))
static if (__traits(hasMember, typeof(localPayload), "toHash"))
{
return localPayload.toHash() ^ hashOf(hook);
}
Expand All @@ -653,7 +653,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
return hashOf(localPayload) ^ hashOf(hook);
}
}
else static if (hasMember!(typeof(localPayload), "toHash"))
else static if (__traits(hasMember, typeof(localPayload), "toHash"))
{
return localPayload.toHash();
}
Expand Down Expand Up @@ -722,7 +722,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
auto opCmp(U, this _)(const U rhs) //const pure @safe nothrow @nogc
if (isIntegral!U || isFloatingPoint!U || is(U == bool))
{
static if (hasMember!(Hook, "hookOpCmp"))
static if (__traits(hasMember, Hook, "hookOpCmp"))
{
return hook.hookOpCmp(payload, rhs);
}
Expand Down Expand Up @@ -756,11 +756,11 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
// Use the lhs hook
return this.opCmp(rhs.payload);
}
else static if (hasMember!(Hook, "hookOpCmp"))
else static if (__traits(hasMember, Hook, "hookOpCmp"))
{
return hook.hookOpCmp(get, rhs.get);
}
else static if (hasMember!(Hook1, "hookOpCmp"))
else static if (__traits(hasMember, Hook1, "hookOpCmp"))
{
return -rhs.hook.hookOpCmp(rhs.payload, get);
}
Expand Down Expand Up @@ -852,13 +852,13 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
{
static if (op == "+")
return Checked(this); // "+" is not hookable
else static if (hasMember!(Hook, "hookOpUnary"))
else static if (__traits(hasMember, Hook, "hookOpUnary"))
{
auto r = hook.hookOpUnary!op(payload);
return Checked!(typeof(r), Hook)(r);
}
else static if (op == "-" && isIntegral!T && T.sizeof >= 4 &&
!isUnsigned!T && hasMember!(Hook, "onOverflow"))
!isUnsigned!T && __traits(hasMember, Hook, "onOverflow"))
{
static assert(is(typeof(-payload) == typeof(payload)));
bool overflow;
Expand All @@ -875,9 +875,9 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
ref Checked opUnary(string op)() return
if (op == "++" || op == "--")
{
static if (hasMember!(Hook, "hookOpUnary"))
static if (__traits(hasMember, Hook, "hookOpUnary"))
hook.hookOpUnary!op(payload);
else static if (hasMember!(Hook, "onOverflow"))
else static if (__traits(hasMember, Hook, "onOverflow"))
{
static if (op == "++")
{
Expand Down Expand Up @@ -966,7 +966,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
static if (isIntegral!R) alias Result = Checked!(R, Hook);
else alias Result = R;

static if (hasMember!(Hook, "hookOpBinary"))
static if (__traits(hasMember, Hook, "hookOpBinary"))
{
auto r = hook.hookOpBinary!op(payload, rhs);
return Checked!(typeof(r), Hook)(r);
Expand All @@ -979,7 +979,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
{
return mixin("payload" ~ op ~ "rhs");
}
else static if (hasMember!(Hook, "onOverflow"))
else static if (__traits(hasMember, Hook, "onOverflow"))
{
bool overflow;
auto r = opChecked!op(payload, rhs, overflow);
Expand Down Expand Up @@ -1015,23 +1015,23 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
// Delegate to lhs
return mixin("this" ~ op ~ "rhs.payload");
}
else static if (hasMember!(Hook, "hookOpBinary"))
else static if (__traits(hasMember, Hook, "hookOpBinary"))
{
return hook.hookOpBinary!op(payload, rhs);
}
else static if (hasMember!(Hook1, "hookOpBinary"))
else static if (__traits(hasMember, Hook1, "hookOpBinary"))
{
// Delegate to rhs
return mixin("this.payload" ~ op ~ "rhs");
}
else static if (hasMember!(Hook, "onOverflow") &&
!hasMember!(Hook1, "onOverflow"))
else static if (__traits(hasMember, Hook, "onOverflow") &&
!__traits(hasMember, Hook1, "onOverflow"))
{
// Delegate to lhs
return mixin("this" ~ op ~ "rhs.payload");
}
else static if (hasMember!(Hook1, "onOverflow") &&
!hasMember!(Hook, "onOverflow"))
else static if (__traits(hasMember, Hook1, "onOverflow") &&
!__traits(hasMember, Hook, "onOverflow"))
{
// Delegate to rhs
return mixin("this.payload" ~ op ~ "rhs");
Expand Down Expand Up @@ -1096,12 +1096,12 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))

private auto opBinaryRightImpl(string op, Lhs, this _)(const Lhs lhs)
{
static if (hasMember!(Hook, "hookOpBinaryRight"))
static if (__traits(hasMember, Hook, "hookOpBinaryRight"))
{
auto r = hook.hookOpBinaryRight!op(lhs, payload);
return Checked!(typeof(r), Hook)(r);
}
else static if (hasMember!(Hook, "hookOpBinary"))
else static if (__traits(hasMember, Hook, "hookOpBinary"))
{
auto r = hook.hookOpBinary!op(lhs, payload);
return Checked!(typeof(r), Hook)(r);
Expand All @@ -1114,7 +1114,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
{
return mixin("lhs" ~ op ~ "payload");
}
else static if (hasMember!(Hook, "onOverflow"))
else static if (__traits(hasMember, Hook, "onOverflow"))
{
bool overflow;
auto r = opChecked!op(lhs, T(payload), overflow);
Expand Down Expand Up @@ -1186,7 +1186,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
{
static assert(is(typeof(mixin("payload" ~ op ~ "=rhs")) == T));

static if (hasMember!(Hook, "hookOpOpAssign"))
static if (__traits(hasMember, Hook, "hookOpOpAssign"))
{
hook.hookOpOpAssign!op(payload, rhs);
}
Expand All @@ -1197,7 +1197,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
import std.conv : unsigned;

static if (ProperCompare.hookOpCmp(R.min, min.get) < 0 &&
hasMember!(Hook, "onLowerBound"))
__traits(hasMember, Hook, "onLowerBound"))
{
if (ProperCompare.hookOpCmp(r, min.get) < 0)
{
Expand All @@ -1207,7 +1207,7 @@ if (isIntegral!T || is(T == Checked!(U, H), U, H))
}
}
static if (ProperCompare.hookOpCmp(max.get, R.max) < 0 &&
hasMember!(Hook, "onUpperBound"))
__traits(hasMember, Hook, "onUpperBound"))
{
if (ProperCompare.hookOpCmp(r, max.get) > 0)
{
Expand Down
16 changes: 8 additions & 8 deletions std/experimental/allocator/building_blocks/affix_allocator.d
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -172,15 +172,15 @@ struct AffixAllocator(Allocator, Prefix, Suffix = void)
mixin(_processAndReturnAllocateResult);
}

static if (hasMember!(Allocator, "allocateZeroed"))
static if (__traits(hasMember, Allocator, "allocateZeroed"))
package(std) void[] allocateZeroed()(size_t bytes)
{
if (!bytes) return null;
auto result = parent.allocateZeroed(actualAllocationSize(bytes));
mixin(_processAndReturnAllocateResult);
}

static if (hasMember!(Allocator, "allocateAll"))
static if (__traits(hasMember, Allocator, "allocateAll"))
void[] allocateAll()
{
auto result = parent.allocateAll();
Expand Down Expand Up @@ -209,14 +209,14 @@ struct AffixAllocator(Allocator, Prefix, Suffix = void)
return result;
}

static if (hasMember!(Allocator, "owns"))
static if (__traits(hasMember, Allocator, "owns"))
Ternary owns(void[] b)
{
if (b is null) return Ternary.no;
return parent.owns((() @trusted => actualAllocation(b))());
}

static if (hasMember!(Allocator, "resolveInternalPointer"))
static if (__traits(hasMember, Allocator, "resolveInternalPointer"))
Ternary resolveInternalPointer(const void* p, ref void[] result)
{
void[] p1;
Expand All @@ -230,8 +230,8 @@ struct AffixAllocator(Allocator, Prefix, Suffix = void)
return Ternary.yes;
}

static if (!stateSize!Suffix && hasMember!(Allocator, "expand")
&& hasMember!(Allocator, "owns"))
static if (!stateSize!Suffix && __traits(hasMember, Allocator, "expand")
&& __traits(hasMember, Allocator, "owns"))
bool expand(ref void[] b, size_t delta)
{
if (!b || delta == 0) return delta == 0;
Expand All @@ -243,7 +243,7 @@ struct AffixAllocator(Allocator, Prefix, Suffix = void)
return true;
}

static if (hasMember!(Allocator, "reallocate"))
static if (__traits(hasMember, Allocator, "reallocate"))
bool reallocate(ref void[] b, size_t s)
{
if (b is null)
Expand All @@ -258,7 +258,7 @@ struct AffixAllocator(Allocator, Prefix, Suffix = void)
return true;
}

static if (hasMember!(Allocator, "deallocate"))
static if (__traits(hasMember, Allocator, "deallocate"))
bool deallocate(void[] b)
{
if (!b.ptr) return true;
Expand Down
12 changes: 6 additions & 6 deletions std/experimental/allocator/building_blocks/aligned_block_list.d
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,7 @@ public:

// Since all memory is drawn from ParentAllocator, we can
// forward this to the parent
static if (hasMember!(ParentAllocator, "owns"))
static if (__traits(hasMember, ParentAllocator, "owns"))
Ternary owns(void[] b)
{
return parent.owns(b);
Expand Down Expand Up @@ -171,7 +171,7 @@ public:
}

// Allocate works only if memory can be provided via `alignedAllocate` from the parent
static if (hasMember!(ParentAllocator, "alignedAllocate"))
static if (__traits(hasMember, ParentAllocator, "alignedAllocate"))
void[] allocate(size_t n)
{
static if (isShared)
Expand Down Expand Up @@ -327,7 +327,7 @@ struct AlignedBlockList(Allocator, ParentAllocator, ulong theAlignment = (1 << 2
Returns:
A chunk of memory of the required length or `null` on failure or
*/
static if (hasMember!(ParentAllocator, "alignedAllocate"))
static if (__traits(hasMember, ParentAllocator, "alignedAllocate"))
void[] allocate(size_t n);

/**
Expand All @@ -352,7 +352,7 @@ struct AlignedBlockList(Allocator, ParentAllocator, ulong theAlignment = (1 << 2
Returns:
`Ternary.yes` if owned by this allocator and `Ternary.no` otherwise
*/
static if (hasMember!(ParentAllocator, "owns"))
static if (__traits(hasMember, ParentAllocator, "owns"))
Ternary owns(void[] b);
}
else
Expand Down Expand Up @@ -487,7 +487,7 @@ shared struct SharedAlignedBlockList(Allocator, ParentAllocator, ulong theAlignm
Returns:
A chunk of memory of the required length or `null` on failure or
*/
static if (hasMember!(ParentAllocator, "alignedAllocate"))
static if (__traits(hasMember, ParentAllocator, "alignedAllocate"))
void[] allocate(size_t n);

/**
Expand All @@ -512,7 +512,7 @@ shared struct SharedAlignedBlockList(Allocator, ParentAllocator, ulong theAlignm
Returns:
`Ternary.yes` if owned by this allocator and `Ternary.no` otherwise
*/
static if (hasMember!(ParentAllocator, "owns"))
static if (__traits(hasMember, ParentAllocator, "owns"))
Ternary owns(void[] b);
}
else
Expand Down
Loading
Loading