C++ 元编程之代码生成：设计并实现拓扑结构 DSL

对比

来看看这幅图，

原先方式是需要这样描述：

tf::Taskflow taskflow;

tf::Task A = taskflow.emplace([] () {}).name("A");

tf::Task B = taskflow.emplace([] () {}).name("B");

tf::Task C = taskflow.emplace([] () {}).name("C");

tf::Task D = taskflow.emplace([] () {}).name("D");

tf::Task E = taskflow.emplace([] () {}).name("E");

A.precede(B, C, E);

C.precede(D);

B.precede(D, E);

用 DSL 之后只需要这样，代码更直观：

def_task(A, { std::cout << "TaskA\n"; };);

def_task(B, { std::cout << "TaskB\n"; };);

def_task(C, { std::cout << "TaskC\n"; };);

def_task(D, { std::cout << "TaskD\n"; };);

def_task(E, { std::cout << "TaskE\n"; };);

taskbuild(

  task(A)

    -> fork(B, C)

    -> task(D),

  merge(A, B)

    -> task(E)

)(tf);

目前支持的特性、原因如下：

def_task 定义一个 task

def_taskc 定义一个带 context 数据的 task

taskbuild 描述 task 间的连接关系，按需传递 context 数据

fork / merge 表示任意多个 task，而 task() 表示一个 task

fork(a,b,c,d) -> merge(e,f,g,h) 会生成笛卡尔积一共 16 条连接关系

__task(a) -> __task(b) -> __task(c) -> ... 能够通过 -> 描述任意长度的连接关系

关键实现