一、修正錯(cuò)誤。
首先修正第二篇中的一些錯(cuò)誤，錯(cuò)誤的內(nèi)容可見第二篇的評(píng)論。
在Base類中，F(xiàn)UNC_TYPE需要所有的in/out類型，如果Method的模板參數(shù)——即函數(shù)類型參數(shù)——的返回值不是void，則把它裝配成out參數(shù)，作為FUNC_TYPE函數(shù)類型的最后一個(gè)參數(shù)，這可以通過偏特化來實(shí)現(xiàn)。
修改Method模板類，把所有類型包裝成一個(gè)Typelist，直接傳遞給Base模板類，由Base去推導(dǎo)出in類型的Typelist。Method模板類修改如下：
template <class T>
struct Method
{
Loki::CompileTimeError <false> Only_Define_With_A_Function_Type;
};
template <class Ret>
struct Method <Ret()> : public Base < typename Loki::TL::MakeTypelist< out<Ret> >::Result >
{
};
template <>
struct Method <void()> : public Base < typename Loki::TL::MakeTypelist< >::Result >
{
};
template <class Ret, class A>
struct Method <Ret(A)> : public Base < typename Loki::TL::MakeTypelist< A, out<Ret> >::Result >
{
};
template <class A>
struct Method <void(A)> : public Base < typename Loki::TL::MakeTypelist< A >::Result >
{
};
template <class Ret, class A, class B>
struct Method <Ret(A,B)> : public Base < typename Loki::TL::MakeTypelist< A,B,out<Ret> >::Result >
{
};
template <class A, class B>
struct Method <void(A,B)> : public Base < typename Loki::TL::MakeTypelist< A,B >::Result >
{
};
template <class Ret, class A, class B, class C>
struct Method <Ret(A,B,C)> : public Base < typename Loki::TL::MakeTypelist< A,B,C,out<Ret> >::Result >
{
};
template <class A, class B, class C>
struct Method <void(A,B,C)> : public Base < typename Loki::TL::MakeTypelist< A,B,C >::Result >
{
};
template <class Ret, class A, class B, class C, class D>
struct Method <Ret(A,B,C,D)> : public Base < typename Loki::TL::MakeTypelist< A,B,C,D,out<Ret> >::Result >
{
};
template <class A, class B, class C, class D>
struct Method <void(A,B,C,D)> : public Base < typename Loki::TL::MakeTypelist< A,B,C,D >::Result >
{
};
template <class Ret, class A, class B, class C, class D, class E>
struct Method <Ret(A,B,C,D,E)> : public Base < typename Loki::TL::MakeTypelist< A,B,C,D,E,out<Ret> >::Result >
{
};
template <class A, class B, class C, class D, class E>
struct Method <void(A,B,C,D,E)> : public Base < typename Loki::TL::MakeTypelist< A,B,C,D,E >::Result >
{
};
實(shí)現(xiàn)了1－5個(gè)參數(shù)的版本，一般情況下足夠用了，這里也只是用做解釋。
Base類的修改為：
template <class TYPES,
class IN_TYPES = typename InList <TYPES>::Result,
int IN_COUNT = Loki::TL::Length <IN_TYPES>::value
>
struct Base
{
Loki::CompileTimeError <false> Only_Use_Partial_Specialisation_Version;
};
InList模板類修改為接受一個(gè)Typelist模板參數(shù)，它的Result是這個(gè)Typelist中的所有in類型構(gòu)成的Typelist。OutList暫時(shí)用不到，不過由于它和InList很相似，一并甩賣出來。
template < class T, int T_COUNT = Loki::TL::Length <T>::value >
struct InList
{
typedef typename If <
InOutTypeTraits <typename T::Head>::isin,
typename Loki::Typelist < typename T::Head, typename InList <typename T::Tail>::Result >,
typename InList <typename T::Tail>::Result
>::Result Result;
};
template <class T>
struct InList < T, 0 >
{
typedef typename Loki::TL::MakeTypelist <>::Result Result;
};
template < class T, int T_COUNT = Loki::TL::Length <T>::value >
struct OutList
{
typedef typename If <
InOutTypeTraits <typename T::Head>::isout,
typename Loki::Typelist < typename T::Head, typename OutList <typename T::Tail>::Result >,
typename OutList <typename T::Tail>::Result
>::Result Result;
};
template <class T>
struct OutList < T, 0 >
{
typedef typename Loki::TL::MakeTypelist <>::Result Result;
};
Base模板類中，需要根據(jù)TYPES模板參數(shù)推導(dǎo)出FUNC＿TYPE類型，TYPES是個(gè)Typelist，我使用了一個(gè)FuncTypeTraits模板類來生成這個(gè)類型。
template <class T, int T_COUNT = Loki::TL::Length <T>::value >
struct FuncTypeTraits
{
Loki::CompileTimeError <false> Only_Use_Partial_Specialisation_Version;
};
template <class T>
struct FuncTypeTraits <T, 0>
{
typedef void(*Result)();
};
template <class T>
struct FuncTypeTraits <T, 1>
{
typedef void(*Result)(
typename Loki::TL::TypeAt <T, 0>::Result::OriginalType);
};
template <class T>
struct FuncTypeTraits <T, 2>
{
typedef void(*Result)(
typename Loki::TL::TypeAt <T, 0>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 1>::Result::OriginalType);
};
template <class T>
struct FuncTypeTraits <T, 3>
{
typedef void(*Result)(
typename Loki::TL::TypeAt <T, 0>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 1>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 2>::Result::OriginalType);
};
template <class T>
struct FuncTypeTraits <T, 4>
{
typedef void(*Result)(
typename Loki::TL::TypeAt <T, 0>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 1>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 2>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 3>::Result::OriginalType);
};
template <class T>
struct FuncTypeTraits <T, 5>
{
typedef void(*Result)(
typename Loki::TL::TypeAt <T, 0>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 1>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 2>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 3>::Result::OriginalType,
typename Loki::TL::TypeAt <T, 4>::Result::OriginalType);
};
現(xiàn)在Base類所需要的信息都齊備了，下面是Base模板類的定義：
template <class TYPES,
class IN_TYPES = typename InList <TYPES>::Result,
int IN_COUNT = Loki::TL::Length <IN_TYPES>::value
>
struct Base
{
Loki::CompileTimeError <false> Only_Use_Partial_Specialisation_Version;
};
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 0>
{
typedef typename FuncTypeTraits <TYPES>::Result FUNC_TYPE;
template <class FUNC_TYPE>
void async_call (FUNC_TYPE func = 0)
{
}
};
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 1>
{
typedef typename FuncTypeTraits <TYPES>::Result FUNC_TYPE;
void async_call (
typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::OriginalType v0,
FUNC_TYPE func = 0)
{
}
};
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 2>
{
typedef typename FuncTypeTraits <TYPES>::Result FUNC_TYPE;
void async_call (
typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::OriginalType v0,
typename Loki::TL::TypeAt <IN_TYPES, 1>::Result::OriginalType v1,
FUNC_TYPE func = 0)
{
}
};
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 3>
{
typedef typename FuncTypeTraits <TYPES>::Result FUNC_TYPE;
void async_call (
typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::OriginalType v0,
typename Loki::TL::TypeAt <IN_TYPES, 1>::Result::OriginalType v1,
typename Loki::TL::TypeAt <IN_TYPES, 2>::Result::OriginalType v2,
FUNC_TYPE func = 0)
{
}
};
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 4>
{
typedef typename FuncTypeTraits <TYPES>::Result FUNC_TYPE;
void async_call (
typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::OriginalType v0,
typename Loki::TL::TypeAt <IN_TYPES, 1>::Result::OriginalType v1,
typename Loki::TL::TypeAt <IN_TYPES, 2>::Result::OriginalType v2,
typename Loki::TL::TypeAt <IN_TYPES, 3>::Result::OriginalType v3,
FUNC_TYPE func = 0)
{
}
};
寫一點(diǎn)代碼來測(cè)試：
void test_func (int v0, char v1, string v2, short v3)
{
}
int main ()
{
Method < void(in<int>, in<char>, inout<string>, out<short>) > m;
m.async_call(3, 'a', "test");
m.async_call(3, 'a', "test", test_func);
return 0;
}
OK，函數(shù)原形推導(dǎo)就寫完了，以上代碼都已經(jīng)在VC2005 Beta2中測(cè)試過，由于VC2005對(duì)于typename的要求不是很嚴(yán)格，所以可能在G＋＋下會(huì)有些問題，暫時(shí)沒有在G＋＋下測(cè)試。
接下來以上面的測(cè)試代碼為例來簡單說明一下。
定義一個(gè)Method < void < in<int>, in<char>, inout<string>, out<short> >類型的對(duì)象，它將從Base < typename MakeTypelist < in<int>, in<char>, inout<string>, out<short> >::Result >派生。
根據(jù)Base類的聲明，后2個(gè)模板參數(shù)將被推導(dǎo)出來，Method對(duì)象實(shí)際上是從Base < typename MakeTypelist < in<int>, in<char>, inout<string>, out<short> >::Result, typename MakeTypelist < in<int>, in<char>, inout<string> >::Result, 3>派生。
于是，Base類中的FUNC＿TYPE可通過FuncTypeTraits模板類推導(dǎo)，得到void (int, char, string, short)類型。
async_call函數(shù)的原型也推導(dǎo)出來：
void async_call (int, char, string, short, FUNC_TYPE = 0);
當(dāng)然這里是簡單的演示，實(shí)際上async_call為了支持兼容類型，除最后一個(gè)函數(shù)指針參數(shù)以外，其它每個(gè)參數(shù)都是in或inout模板類型，
二、完善動(dòng)態(tài)與靜態(tài)結(jié)構(gòu)之間的耦合。解決了函數(shù)原形推導(dǎo)問題，不過忽略了另一個(gè)重要的問題。
Method的定義最終要生成一個(gè)動(dòng)態(tài)結(jié)構(gòu)，要能夠得到它的參數(shù)個(gè)數(shù)、各個(gè)參數(shù)的類型，這個(gè)在上一篇已經(jīng)解決了。現(xiàn)在稍稍完整的部分寫下來：
struct IMethod
{
vector <IParameter*> parameters;
// 
其它操作省略
}; IMethod是Method動(dòng)態(tài)實(shí)現(xiàn)的基礎(chǔ)，它里面包含各個(gè)參數(shù)的指針，in/out模板類從IParameter派生，相信從這個(gè)形式就能明白整個(gè)動(dòng)態(tài)部分如何組織的，也就是實(shí)現(xiàn)一個(gè)簡單的自省。
in/inout/out這3個(gè)模板類實(shí)際是是從IParameter派生的，直接定義于Method模板類中：
template <class A, class B, class C, class D>
struct Method <void(A,B,C,D)> : public Base < typename Loki::TL::MakeTypelist< A,B,C,D >::Result >
{
A a;
B b;
C c;
D d;
Method (/* 參數(shù)暫不考慮 */)
{
parameters.push_baqck (&a);
parameters.push_baqck (&b);
parameters.push_baqck (&c);
parameters.push_baqck (&d);
}
}; 動(dòng)態(tài)結(jié)構(gòu)就完成了，各個(gè)偏特化版本都是這樣來實(shí)現(xiàn)。
上面說到出現(xiàn)了一個(gè)重要的新問題，在上面的測(cè)試代碼中，async_call函數(shù)接受3個(gè)參數(shù)（最后一個(gè)函數(shù)指針參數(shù)暫不考慮），而這里有4個(gè)變量，3個(gè)參數(shù)對(duì)應(yīng)4個(gè)變量的位置只有到實(shí)例化的時(shí)候才能知道。
所以async_call還有另一個(gè)任務(wù)，就是把函數(shù)的參數(shù)值賦值給成員變量。
這個(gè)問題留到下一篇解決吧，這是最后一個(gè)問題了。