作者yoco315 (眠月)
看板C_and_CPP
标题问一个 C++ template 语法问题
时间Wed Apr 15 01:57:42 2009
我现在有个 parsing tree 这样，那 tree 就有 node 嘛，
因为我用的 yard parser，每一个 parsing rule 都是一个 class，
她的设计是有一个 abstract node，然後有 template node 去继承 abstract node。
现在我想要加上 semantic action，
这样的设计，这样我可以透过 specialization 来特化每个 node<R> 的动作。
以图来讲就是这样
↙ node <expr>
abs_node ← node <id>
↖ node <...>
以程式码来说就是这样
// Abstract Syntax Tree, 每一个 token 可能是很原始的 char,
// 也可以是被 lex 处理过的 int, 所以是 class template
template < typename T >
struct ast {
// abstract node
struct abs_node {
virtual void f () = 0 ; // semantic action, 纯粹虚拟函数
} ;
} ;
// Abstract Syntax Tree, 每一个 token 可能是很原始的 char,
// 也可以是被 lex 处理过的 int, 所以用 template
template < typename T >
struct ast {
// abstract node
struct abs_node {
virtual void f () = 0 ; // semantic action
} ;
// 根据每个 parsing rule 继承的 node
template < R >
struct node : abs_node {
void f () { act<R> () ; } // 实作 f(), 呼叫特化的 act<R>() 函数
} ;
} ;
那不过在这边 act<R> 要被呼叫，当然在前面要先宣告嘛，
template < typename R >
void act () {} // generic 的版本，什麽都不做！
// Abstract Syntax Tree
template < typename T >
struct ast {
// abstract node
struct abs_node {
virtual void f () = 0 ; // semantic action
} ;
// 根据每个 parsing rule 继承的 node
template < R > //
struct node : abs_node {
void f () { act<R> () ; } // 呼叫特化的 act<R>() 函数
} ;
} ;
// 在这边特化，就可以处理想要处理的东西。
template<> void act<expr> () { ... }
template<> void act<id> () { ... }
但是，为了处理 node, act() 其实应该要接受 node 当作参数。
template < typename R >
void act (
... ) { }
// 靠北这边我不会宣告 XD
// Abstract Syntax Tree
template < typename T >
struct ast {
// abstract node
struct abs_node {
virtual void f () = 0 ; // semantic action
} ;
// 根据每个 parsing rule 继承的 node
template < R > //
struct node : abs_node {
// 为了要处理node，
void f () { act<R> (
this) ; }
// 要把node自己传进去！
} ;
} ;
对，问题就是这样，我不知道那边要怎麽宣告，哪个大师可以救我 QQ
或是不是设计成 function template，
设计成 class template 也可以，只要能符合这个设计就好 QQ
感恩。
--
To iterate is human, to recurse, divine.
递回只应天上有, 凡人该当用回圈. L. Peter Deutsch
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.160.117.249
※ 编辑: yoco315 来自: 118.160.117.249 (04/15 01:58)
※ 编辑: yoco315 来自: 118.160.117.249 (04/15 01:58)
※ 编辑: yoco315 来自: 118.160.117.249 (04/15 01:58)