在触及面向切面编程(AOP)时,了解到实现技术分为动态织入和静态织入。
静态织入一般采用专门的语法创建有关“切面”的方法,从而使编译器可以在编译期间织入有关“切面”的代码,AspectC++就是采用的此方式。该方式还需要专门的编译工具和语法,使用较复杂。
而我们手动实现的轻量级AOP框架,一般采用动态代理的方式。其实现技术就是拦截目标方法,只要拦截了目标方法,我们就可以在目标方法执行前后做一些非核心逻辑,通过继承方式来实现拦截,需要派生基类并实现基 类接口,这使程序的耦合性增加了。
为了降低耦合性,这里通过模板来做约束,即每个切面对象必须有Before(Args...)或After(Args...)方法,用来处理核心逻辑执行前后的非核心逻辑。如何通过模板的SFINAE技术判断某个类具有特定的类成员函数呢?先看代码:
#define HAS_MEMBER(member)\
template<typename T, typename... Args>\
struct has_member_##member\
{\
private:\
template<typename U> static auto Check(int) -> decltype(std::declval<U>().member(std::declval<Args>()...), std::true_type());\
template<typename U> static std::false_type Check(...);\
public:\
enum { value = std::is_same<decltype(Check<T>(0)), std::true_type>::value };\
};
HAS_MEMBER(After)
HAS_MEMBER(Before)
这段代码使用了宏define来方便生成特定的模板工具类,该工具类用来判断是否含有特定的方法。分析一下这段code,就以has_member_After模板类为例:
首先该类的成员函数Check并没有函数体,没有函数体是否意味着无法被调用?是的。我尝试编译code能够pass,但是一旦尝试调用会在运行期report找不到函数符号。这是显而易见的,因为该函数只有声明无定义。那么成员函数Check的意义何在?
意义在于Check本身也是函数模板,对于函数模板来说,SFINAE(Substitution Failure Is Not An Error)意味着针对函数模板的重载,如果模板形参显式指定/类型推导失败,这不是编译错误而仅仅是匹配失败而已,找下一个能够匹配成功的就OK。于是乎,可以看到成员函数Check并没有直接被执行运行期的调用,而是给出了编译期的返回类型false_type/true_type,让decltype(Check<T>(0))在编译期不经过调用的前提下就能提前知晓类T是否存在After方法。
分析code可知,Check(0)优先尝试匹配Check(int),而declval<U>()会在不需要知道类型U是否有构造函数的条件下返回U的引用,于是decltype(declval<U>().member(...), true_type)便得以调用类型U的After方法。如果可以调用After,decltype表达式里面的逗号便起作用,即true_type是decltype的最终类型。如果无法调用After,匹配Check(int)失败但不报错,继而尝试匹配Check(...)成功,其返回类型是false_type。于是,public的静态成员enum { value = ... } 持有最终的false_type/true_type来指明has_member_After<T>是否有After方法。
以下是使用方法以及结果:
template<typename T>
struct tstCompil
{
static std::true_type tstCompileRetFunc();
static void Before() {
cout << "Before tstCompil..." << std::endl;
}
};
void TestBase() {
cout << decltype(tstCompil<int>::tstCompileRetFunc())::value << endl;
cout << has_member_After<tstCompil<int>>::value << endl;
}
同样可以看到, tstCompileRetFunc没有函数体无法被调用,但是可以被decltype在编译期间判别其返回类型并输出;tstCompil显然是没有After方法的。