圈子首页 → 编程 → D语言 → 全部博客
2007-10-08

D1.0代码模拟 __traits(hasMember, ...)

通过1.0的代码完全模拟了 D 2.0 __traits(hasMember...) 和部分 getMember 的功能：

 
  1. import std.stdio;  
  2.   
  3. template HasMember(T, string member)  
  4. {  
  5.     const bool HasMember = is(typeof(mixin("T." ~ member)));  
  6. }  
  7.   
  8. template HasMember(alias X, string member)  
  9. {  
  10.     const bool HasMember = is(typeof(mixin("X." ~ member)));  
  11. }  
  12.   
  13. //A very limited implemention  
  14. template GetMember(alias X, string member)  
  15. {  
  16.     //mixin("alias X." ~ member ~ "GetMember;"); // Compiler's bug?  
  17.     mixin("alias X." ~ member ~ " DummyAlias;");  
  18.     alias DummyAlias GetMember;  
  19. }  
  20.   
  21. template BarT()  
  22. {  
  23.     const double PI = 3.14;  
  24. }  
  25.   
  26. void main()  
  27. {  
  28.     class Foo  
  29.     {  
  30.         static int n = 1;  
  31.         int m;  
  32.         void bar() {   
  33.             writefln("Foo.bar()");  
  34.         }  
  35.         static void add(int x, int y) {  
  36.             writefln("Foo.add(): ", x + y);  
  37.         }  
  38.     }  
  39.   
  40.     writefln(HasMember!(Foo, "bar"));  
  41.     writefln(HasMember!(Foo, "m"));  
  42.     writefln(HasMember!(Foo, "sizeof"));  
  43.     writefln(HasMember!(Foo, "foo"));  
  44.     writefln(HasMember!(Foo, "y"));  
  45.     writefln(HasMember!(int, "sizeof")); //内置属性也支持  
  46.     writefln(HasMember!(std.stdio, "writefln")); // 支持检测模块中的成员  
  47.     writefln(HasMember!(BarT!(), "PI")); // 支持模板成员 
  48.       
  49.     GetMember!(Foo, "n") = 2;  
  50.     writefln("Foo.n=", Foo.n);  
  51.     GetMember!(Foo, "add")(12, 34); //调用 Foo.add()  
  52. }  

参考： http://www.digitalmars.com/d/traits.html
特别要指出的是 is(typeof(Aggr.member)) 的用法及 alias 模板参数重载来自于 redsea 兄
评论
oldrev 2007-10-22
刚才发现了一个大问题，似乎2.0的 __traits 无法处理函数重载。比如 __traits(allMember) 只能返回所有方法的签名，同名的重载函数无法去分开，getMember 也有同样的问题。
DavidL 2007-10-12
嗯, javaeye的code在回复里面有bug啊
引用

template myt(T)
{
static if(is(T==int))
{
void func(T t)
{
}
}
else
void func1(T t)
{
}
}

void main()
{
myt!(int).func(3);
myt!(char).func1(3);
}
DavidL 2007-10-12
不可能支持未实例化的模板的
因为考虑 
template myt(T)
{
	static if(is(T==int))
	{
		void func(T t)
		{
		}
	}
	else
		void func1(T t)
		{
		}
}

void main()
{
	myt!(int).func(3);
	myt!(char).func1(3);
}
DavidL 2007-10-12
不可能支持未实例化的模板的
因为考虑 
template myt(T)
{
	static if(is(T==int))
	{
		void func(T t)
		{
		}
	}
	else
		void func1(T t)
		{
		}
}

void main()
{
	myt!(int).func(3);
	myt!(char).func1(3);
}
oldrev 2007-10-11
在两个模板里分别加入 pragma(msg) 就知道编译器优先选择了 alias 模板。在上面的测试程序中，只有 HasMember!(int,... 那行选择了非 alias 模板。似乎是 alias 参数化符号的优先级比较高，但是文档里没有明确。
redsea 2007-10-11
引用

我试了一下，没想到这样也能重载，如此 HasMember 模板甚至可以检测模块和模板中的成员。
OMG，D确实有点恐怖。


应该是模板选择吧 (这里似乎还不是偏特化, T 和 alias T 不兼容).

D 的特殊规则比较少就好, 函数可以重载, 模板可以重载, 最小惊讶原则做得好.
oldrev 2007-10-11
引用
这样用, 就不必使用麻烦的字符串, 而且可以解决我上面说的问题了:

template HasMember(T, char [] member)
{
const bool HasMember =
is( typeof(mixin("T." ~ member)) );
}

template HasMember(alias T, char [] member)
{
const bool HasMember =
is( typeof(mixin("T." ~ member)) );
}

我试了一下，没想到这样也能重载，如此 HasMember 模板甚至可以检测模块和模板中的成员。
OMG，D确实有点恐怖。
oldrev 2007-10-11
我的程序就是在 1.0 下测试通过的，GDC 0.24 && DMD 1.20

用 alias 模板参数的问题是无法处理内置类型的属性，比如 int.sizeof 就无法确定。
redsea 2007-10-11
这样用, 就不必使用麻烦的字符串, 而且可以解决我上面说的问题了:

template HasMember(T, char [] member)
{
const bool HasMember =
is( typeof(mixin("T." ~ member)) );
}

template HasMember(alias T, char [] member)
{
const bool HasMember =
is( typeof(mixin("T." ~ member)) );
}
redsea 2007-10-11
我碰到的问题是, 我要进行判断的不是一个类, 而是alias 参数, 用做 mixin part, 用第一种形式的话, 无论我是将 alias 参数实例化作为参数, 还是 mixin part 名字作为参数均错, 只能用我提供的第二种形式.
redsea 2007-10-11
我搞错了, 直接用参数 T 而不是字符串, 是可以的, 我之前可能碰到其他问题了.
redsea 2007-10-11
哦, 对了, 我用的是 1.018, 是不是太老了
redsea 2007-10-11
D1.0 下面要写成这样才能用.

看来, 模板中处理mixin D2.0 有改进.
template HasMember(char [] T, char [] member)
{
const bool HasMember =
is( typeof(mixin(T ~"." ~ member)) );
}
tomqyp 2007-10-08
怎么不能收藏呢
发表评论

您还没有登录，请登录后发表评论