Hello, all.
I tried to ModuleOf!T in some day. It may works like this:
----
module mod.a;
struct S{}
struct Nest{
struct S{}
}
module test;
import mod.a;
static assert(ModuleOf!(S) == "mod.a");
static assert(ModuleOf!(Nest.S) == "mod.a");
----
Partially I succeed to get module name of mod.a.S by using .mangeof property.
But sadly failed to get of mod.a.Nest.S.
I think that D should support __traits(isModuleName, ModuleName).
Do you think?
P.S.
The original motivation is reproduction ADL in C++.
Currently in D, we cannot call function f specialized by S in following code:
----
module a;
struct S{...}
void f(S s){...} // specialized implementation
module b;
void f(T)(T t){...} // generic implementation
void someAlgorithm(T)(T t){
f(t)
}
----
module test;
import a, b;
void main(){
S s;
someAlgrithm(s);
}
----
But, if ModuleOf exists, we can call specialized f to write
someAlgorithm as follows:
----
template ScopeOf(T)
{
mixin("import ScopeOf = " ~ ModuleOf!T ~ ";");
}
void someAlgorithm(T)(T t){
static if (is(typeof(ScopeOf!T.f)))
alias ScopeOf!T.f f;
else
alias .f f;
f(s); // call function specialized by T or generic one.
}
----
This is like ADL in C++, but has no implicit problem.
Thanks for your reading.
Kneji
