On Sunday, 26 June 2016 at 11:23:14 UTC, Márcio Martins wrote:
Consider this snippet:

struct X {
int foo(Args...)(Args args) if (Args.length > 1) { return Args.length; }

  int foo() { return 0; }

  int foo(int y) { return 1; }

  alias Name = string;

  int field_;
}


void listMembers(T)(ref T x) {
  foreach (Member; __traits(derivedMembers, T)) {
pragma(msg, Member, " ", __traits(getOverloads, x, Member).length); //pragma(msg, __traits(getProtection, __traits(getMember, x, Member))); // Error: argument string has no protection
  }
}

void main() {
  X x;
  listMembers(x);
//auto fptr = &x.foo; // Error: x.foo(Args...)(Args args) if (Args.length > 0) is not an lvalue
}

Output:
foo 0LU
Name 0LU
field_ 0LU
foo 0LU
Name 0LU
field_ 0LU


There seems to be a few problems here:
1. It seems like getOverloads is returning 0 for 'foo' - is this a bug? Was expecting a 3 or at least a 2 if the template would be ignored. 2. That alias breaks getProtection - is this bug? Seems like it should be public.

These two make it quite hard to iterate over and collect info about arbitrary aggregates.

I want to get a list of all *public* members, including pointers to all public member functions and their overloads, excluding template member functions. This is turning out to be hard due to these "unexpected behaviors".

Is there anything else I can do?

__traits(getOverloads, x, Member).length works if you place the template after a function of the overloads and then it returns 2.

it fails as soon as the first member of the overload set is any template, so i guess it must be a bug.
e.g.

struct Fails
{
    void foo()(){}
    void foo(int){}
}

struct Works
{
    void foo(int){}
    void foo()(){}
}

__traits(getOverloads, Fails, "foo").length.writeln; // 0
__traits(getOverloads, Works, "foo").length.writeln; // 1
  • Overloads Márcio Martins via Digitalmars-d-learn
    • Re: Overloads ArturG via Digitalmars-d-learn

Reply via email to