D语言与tpl之编译期动作

实际上因为C++的复杂性，以至于设计师很难有余裕在语法上再做创新。C++对于计算是够用的，但是对于描述性内容并不适当。MP其实很有用，只是受技术限制一般人想不到它的用处而已。

完全可以，这有两个方面的问题，一是变参模板，二是对于模板参数是类型还是字符串的判断，这在D里面都是轻而易举。现在没有时间，有空我写个简单的例子。


D语言目前正在把更多的东西加进编译时执行。D语言模板到现在已经和C++大不相同了，编译期计算也是为了解决以前编译时和执行时要写两套代码而作的。

D语言的mixin表达式要求参数字符串必须是一个完整的表达式，这和MACRO完全不同。MACRO也不是C++语言的一部分，如果你愿意，你也可以把C宏用在任何语言中，调用一个预处理器程序进行处理。这些东西都是强大的工具，会用就能用好，不会用不用它就是了。



D并不是做了这个就扔了那个，你不使用编译期执行，它还是一种类似C++的语言，一个项目中编译期执行的部分也不会太多。IDE的智能提示和调试这两种东西并不是人人都必须要用，编译期执行也还是可以写单元测试的。

假设变参模板用TArgs表示
除非你有一种方法能把类型转化成字符串，实现
mixin(str(head(TArgs)) ~ " item" ~ i;

你说D语言的mixin表达式要求参数字符串必须是一个完整的表达式
head(TArgs) mixin("item" ~ i); 应该不行吧


等待你的例子。

canonical 写道：

出差在外，上网不方便，这边网吧连USB也禁了。已经完成了，加上空行和整个文件大概60行左右，包括一个简单的使用测试。

对字符串的判断似乎有问题：

template foo(Args ...){
    static if (is(Args[0] == char[]))
        ...
}

这个判断总是不能为真，不知是D的问题还是我使用上的问题，我改用匹配的方法：

template attrs(T, Args ...){
}

template attrs(T, char[] s, Args ...){
}

来进行区分，在里面调用一个递归的mixin模板，把各个成员生成出来。在这个mixin模板中，不断调用attr_accessor模板（我的blog中有），并递归地调用同一个模板，把剩余参数传递过去，递归是模板中使用非常频繁的技术。有一点要注意的是，递归mixin在D中是不允许的，但可以传递一个多余的整数模板参数避开这个问题。

并不需要把类型转成字符串，当然如果想做也能做成，参考pyd里面的实现代码，我的blog中有一篇讲了这个，只是不知道是否适用所有类型。

最后的调用方式如下：

class Foo{
  mixin attrs!(int, "foo");
  mixin attrs!(float, "bar");
  mixin attrs!(char, char[], float, short);
}

auto foo = new Foo;
foo.foo = 1;
foo.bar = 3.0f;
foo.item1 = 'c';
foo.item2 = "cc";
foo.item3 = 5.0f;
foo.item4 = 7;

我还以为可以做到 mixin(typeof(T).fullname() ~ ...

如果是手工枚举所有类型的话就没没法用于自定义类型了。

这个并不是手工枚举所有类型，而是判断第2个模板参数，如果是字符串值，就把它和后面的参数作为属性的名称。否则就把所有模板参数当作类型，依次定义item1, item2 ...

全部用字符串来生成是最差的做法，即便能够实现，实现起来也不方便。

看了你attr_accessor模板，明白你的意思了

to Elminster:
  meta programming对于C++而言是基于类型运算的，或者你把meta programming等价于C++中的类型运算。而在我的概念中，meta programming意味着对编译期运算能力的开发。在tpl语言中，编译期运算是个明确的概念，而它是符合一定的形式要求的，但是并不是类型运算，实际上在tpl中通过其他渠道来传递信息。

完整代码：

import std.stdio;
import std.metastrings;

private template attr_accessor(T, char[] name){
	mixin("
		private T _" ~ name ~ ";
		public T " ~ name ~ "(){
			return _" ~ name ~ ";
		}
		public void " ~ name ~ "(T v){
			_" ~ name ~ " = v;
		}"
	);
}

template attrs(T){
	mixin attr_accessor!(T, "item1");
}

template attrs(T, Args ...){
	mixin attrs_without_names!(0, T, Args);
}

template attrs(T, char[] s, Args ...){
	mixin attrs_with_names!(0, T, s, Args);
}

// 这个模板参数n是为了避免mixin递归错误。
private template attrs_with_names(int n, T, Args ...){
	static if (Args.length){
		mixin attr_accessor!(T, Args[0]);
		mixin attrs_with_names!(n + 1, T, Args[1..$]);
	}
}

private template attrs_without_names(int n, Args ...){
	static if (Args.length){
		mixin attr_accessor!(Args[0], "item" ~ ToString!(n + 1));
		mixin attrs_without_names!(n + 1, Args[1..$]);
	}
}

void main(){
	class Foo{
		mixin attrs!(int, "aaa");
		mixin attrs!(int, float, char[]);
	}

	auto foo = new Foo;
	foo.aaa = 1;
	foo.item1 = 3;
	foo.item2 = 5;
	foo.item3 = "abc";

	writefln(foo.aaa);
	writefln(foo.item1);
	writefln(foo.item2);
	writefln(foo.item3);
	writefln(typeid(typeof(foo.tupleof)));
}