Rename isStaticMember to hasStaticMember.

Author: sprinkle131313

.vscode/tasks.json

@@ -0,0 +1,12 @@
+{
+    // See https://go.microsoft.com/fwlink/?LinkId=733558
+    // for the documentation about the tasks.json format
+    "version": "0.1.0",
+    "command": "cmd",
+    "isShellCommand": true,
+    "args": [
+        "/C",
+        "make -f win64.mak phobos32mscoff DMD=../dmd/src/dmd.exe && echo --- done --- || echo --- failed ---"
+    ],
+    "showOutput": "always"
+}

changelog/std-traits-hasStaticMember.dd

@@ -0,0 +1,13 @@
+Added `std.traits.hasStaticMember` to check whether a symbol is a static member of a type.
+-------
+import std.traits : hasStaticMember;
+
+struct S
+{
+    static int globalVar;
+    int localVar;
+}
+
+assert( hasStaticMember!(S, "globalVar"));
+assert(!hasStaticMember!(S, "localVar"));
+-------

changelog/std-traits-isStaticMember.dd

@@ -3555,29 +3555,35 @@ enum hasMember(T, string name) = __traits(hasMember, T, name);
 }
 
 /**
- * Whether the symbol represented by the string, member, is a static member of T.
+ * Whether the symbol represented by the string, member, exists and is a static member of T.
  *
  * Params:
  *     T = Type containing symbol $(D member).
  *     member = Name of symbol to test that resides in $(D T).
  *
  * Returns:
- *     $(D true) iff $(D member) is static.
+ *     $(D true) iff $(D member) exists and is static.
  */
-template isStaticMember(T, string member)
-    if (__traits(hasMember, T, member))
+template hasStaticMember(T, string member)
 {
-    import std.meta : Alias;
-    alias sym = Alias!(__traits(getMember, T, member));
+    static if (__traits(hasMember, T, member))
+    {
+        import std.meta : Alias;
+        alias sym = Alias!(__traits(getMember, T, member));
 
-    static if (__traits(getOverloads, T, member).length == 0)
-        enum bool isStaticMember = __traits(compiles, &sym);
+        static if (__traits(getOverloads, T, member).length == 0)
+            enum bool hasStaticMember = __traits(compiles, &sym);
+        else
+            enum bool hasStaticMember = __traits(isStaticFunction, sym);
+    }
     else
-        enum bool isStaticMember = __traits(isStaticFunction, sym);
+    {
+        enum bool hasStaticMember = false;
+    }
 }
 
 ///
-unittest
+@safe unittest
 {
     static struct S
     {
@@ -3588,16 +3594,16 @@ unittest
         int i;
     }
 
-    static assert( isStaticMember!(S, "sf"));
-    static assert(!isStaticMember!(S, "f"));
+    static assert( hasStaticMember!(S, "sf"));
+    static assert(!hasStaticMember!(S, "f"));
 
-    static assert( isStaticMember!(S, "si"));
-    static assert(!isStaticMember!(S, "i"));
+    static assert( hasStaticMember!(S, "si"));
+    static assert(!hasStaticMember!(S, "i"));
 
-    static assert(!__traits(compiles, isStaticMember!(S, "hello")));
+    static assert(!hasStaticMember!(S, "hello"));
 }
 
-unittest
+@safe unittest
 {
     static struct S
     {
@@ -3615,10 +3621,10 @@ unittest
         Y y;
         static Y sy;
 
-        static void f() {}
-        static void f2() pure nothrow @nogc @safe {}
+        static void f();
+        static void f2() pure nothrow @nogc @safe;
 
-        shared void g() {}
+        shared void g();
 
         static void function() fp;
         __gshared void function() gfp;
@@ -3627,14 +3633,14 @@ unittest
         void delegate() dm;
         static void delegate() sd;
 
-        void m() {}
-        final void m2() const pure nothrow @nogc @safe {}
+        void m();
+        final void m2() const pure nothrow @nogc @safe;
 
-        inout(int) iom() inout { return 10; }
-        static inout(int) iosf(inout int x) { return x; }
+        inout(int) iom() inout;
+        static inout(int) iosf(inout int x);
 
-        @property int p() { return 10; }
-        static @property int sp() { return 10; }
+        @property int p();
+        static @property int sp();
     }
 
     static class C
@@ -3653,10 +3659,10 @@ unittest
         Y y;
         static Y sy;
 
-        static void f() {}
-        static void f2() pure nothrow @nogc @safe {}
+        static void f();
+        static void f2() pure nothrow @nogc @safe;
 
-        shared void g() {}
+        shared void g() { }
 
         static void function() fp;
         __gshared void function() gfp;
@@ -3666,62 +3672,62 @@ unittest
         static void delegate() sd;
 
         void m() {}
-        final void m2() const pure nothrow @nogc @safe {}
+        final void m2() const pure nothrow @nogc @safe;
 
         inout(int) iom() inout { return 10; }
-        static inout(int) iosf(inout int x) { return x; }
+        static inout(int) iosf(inout int x);
 
         @property int p() { return 10; }
-        static @property int sp() { return 10; }
-    }
-
-    static assert(!isStaticMember!(S, "X"));
-    static assert(!isStaticMember!(S, "Y"));
-    static assert(!__traits(compiles, isStaticMember!(S, "Y.i")));
-    static assert(!isStaticMember!(S, "S"));
-    static assert(!isStaticMember!(S, "C"));
-    static assert( isStaticMember!(S, "sx"));
-    static assert( isStaticMember!(S, "gx"));
-    static assert(!isStaticMember!(S, "y"));
-    static assert( isStaticMember!(S, "sy"));
-    static assert( isStaticMember!(S, "f"));
-    static assert( isStaticMember!(S, "f2"));
-    static assert(!isStaticMember!(S, "dm"));
-    static assert( isStaticMember!(S, "sd"));
-    static assert(!isStaticMember!(S, "g"));
-    static assert( isStaticMember!(S, "fp"));
-    static assert( isStaticMember!(S, "gfp"));
-    static assert(!isStaticMember!(S, "fpm"));
-    static assert(!isStaticMember!(S, "m"));
-    static assert(!isStaticMember!(S, "m2"));
-    static assert(!isStaticMember!(S, "iom"));
-    static assert( isStaticMember!(S, "iosf"));
-    static assert(!isStaticMember!(S, "p"));
-    static assert( isStaticMember!(S, "sp"));
-
-    static assert(!isStaticMember!(C, "X"));
-    static assert(!isStaticMember!(C, "Y"));
-    static assert(!__traits(compiles, isStaticMember!(C, "Y.i")));
-    static assert(!isStaticMember!(C, "S"));
-    static assert(!isStaticMember!(C, "C"));
-    static assert( isStaticMember!(C, "sx"));
-    static assert( isStaticMember!(C, "gx"));
-    static assert(!isStaticMember!(C, "y"));
-    static assert( isStaticMember!(C, "sy"));
-    static assert( isStaticMember!(C, "f"));
-    static assert( isStaticMember!(C, "f2"));
-    static assert(!isStaticMember!(S, "dm"));
-    static assert( isStaticMember!(S, "sd"));
-    static assert(!isStaticMember!(C, "g"));
-    static assert( isStaticMember!(C, "fp"));
-    static assert( isStaticMember!(C, "gfp"));
-    static assert(!isStaticMember!(C, "fpm"));
-    static assert(!isStaticMember!(C, "m"));
-    static assert(!isStaticMember!(C, "m2"));
-    static assert(!isStaticMember!(C, "iom"));
-    static assert( isStaticMember!(C, "iosf"));
-    static assert(!isStaticMember!(C, "p"));
-    static assert( isStaticMember!(C, "sp"));
+        static @property int sp();
+    }
+
+    static assert(!hasStaticMember!(S, "X"));
+    static assert(!hasStaticMember!(S, "Y"));
+    static assert(!hasStaticMember!(S, "Y.i"));
+    static assert(!hasStaticMember!(S, "S"));
+    static assert(!hasStaticMember!(S, "C"));
+    static assert( hasStaticMember!(S, "sx"));
+    static assert( hasStaticMember!(S, "gx"));
+    static assert(!hasStaticMember!(S, "y"));
+    static assert( hasStaticMember!(S, "sy"));
+    static assert( hasStaticMember!(S, "f"));
+    static assert( hasStaticMember!(S, "f2"));
+    static assert(!hasStaticMember!(S, "dm"));
+    static assert( hasStaticMember!(S, "sd"));
+    static assert(!hasStaticMember!(S, "g"));
+    static assert( hasStaticMember!(S, "fp"));
+    static assert( hasStaticMember!(S, "gfp"));
+    static assert(!hasStaticMember!(S, "fpm"));
+    static assert(!hasStaticMember!(S, "m"));
+    static assert(!hasStaticMember!(S, "m2"));
+    static assert(!hasStaticMember!(S, "iom"));
+    static assert( hasStaticMember!(S, "iosf"));
+    static assert(!hasStaticMember!(S, "p"));
+    static assert( hasStaticMember!(S, "sp"));
+
+    static assert(!hasStaticMember!(C, "X"));
+    static assert(!hasStaticMember!(C, "Y"));
+    static assert(!hasStaticMember!(C, "Y.i"));
+    static assert(!hasStaticMember!(C, "S"));
+    static assert(!hasStaticMember!(C, "C"));
+    static assert( hasStaticMember!(C, "sx"));
+    static assert( hasStaticMember!(C, "gx"));
+    static assert(!hasStaticMember!(C, "y"));
+    static assert( hasStaticMember!(C, "sy"));
+    static assert( hasStaticMember!(C, "f"));
+    static assert( hasStaticMember!(C, "f2"));
+    static assert(!hasStaticMember!(S, "dm"));
+    static assert( hasStaticMember!(S, "sd"));
+    static assert(!hasStaticMember!(C, "g"));
+    static assert( hasStaticMember!(C, "fp"));
+    static assert( hasStaticMember!(C, "gfp"));
+    static assert(!hasStaticMember!(C, "fpm"));
+    static assert(!hasStaticMember!(C, "m"));
+    static assert(!hasStaticMember!(C, "m2"));
+    static assert(!hasStaticMember!(C, "iom"));
+    static assert( hasStaticMember!(C, "iosf"));
+    static assert(!hasStaticMember!(C, "p"));
+    static assert( hasStaticMember!(C, "sp"));
 }
 
 /**