如《為C＋＋實現一個IDL（三）》一文中所說，還剩最后一個問題，還是使用前面的測試代碼說明。
async_call函數的原型是：
typedef void(*FUNC_TYPE)(int, char, string, short);
void async_call (int v0, char v1, string v2, FUNC_TYPE func);
這是模板類根據in/out來產生的。
在異步調用中，參數是和操作保存在一起的，因為要交給線程處理。前面已經說過，Method模板類中將保有這些參數，Method的定義如下（以例子中4個參數的特化版本來說明）：
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 ()
{
parameters.push_back (&a);
parameters.push_back (&b);
parameters.push_back (&c);
parameters.push_back (&d);
}
};
相應地，Base類使用這個特化版本：
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 3> : public IMethod
{
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)
{
}
};
TYPES模板參數中保存了所有的參數類型，IN_TYPES模板參數中保存了所有的in參數類型，但它們不知道如何來對應起來，async_call也不知道如何把幾個參數值交給parameters（在IMethod中定義，見上一篇）。
如果我們在生成IN_TYPES的時候，把它在TYPES中的位置（索引）也一起交給它，就能解決這個問題。
InList第二個模板參數是一個常量，當我們把TYPES交給它時，以上面的代碼為例，將會使用T_COUNT值為4的偏特化版本。這時候，將會首先推導出IN_TYPES中的第一個類型int，它在IN_TYPES中的索引是0，并接著調用T_COUNT值是3的偏特化版本，這樣遞歸推導，直到調用T_COUNT值為0的偏特化版本，這個過程就結束了。在這個遞歸過程中，能夠得到各個類型以及對應的“索引”值：int: 4, char: 3, string: 2。
注意這個索引值和實際的索引值是有差別的，實際的索引值應該是4-T_COUNT，所以上面的對應關系應該是：int: 0, char: 1, string: 2。
最初傳遞給InList的TYPES有4個元素，當它遞歸調用時，這個值就會依次遞減，后面的遞歸調用并不知道應該用4去減掉T_COUNT作為索引，因為4并沒有傳遞過來。簡單的解決辦法是再加上一個模板參數，讓它往下傳遞，當然這種方式并不好看，好在我們不是真的必須這么做。
注意，在Base類中，它是知道TYPES的個數的，那么只要用這個數減去前面生成的IN_TYPE的“索引”，就能得到這個類型在TYPES中的真正索引。（這部分真是有點羅嗦）
修改InList模板類，讓它生成由
[ in類型以及in類型在TYPES中的“索引”] 構成的新Typelist。
首先要增加一個輔助模板類：
template <class T, int INDEX>
struct TypeReversedIndex
{
typedef T type;
enum {value = INDEX};
};
它能夠保存一個類型，以及一個整數。取名為TypeReversedIndex，意思是說它要保存一個Type和一個ReversedIndex（反的索引）。
InList模板類也要修改，OutList依舊是免費贈送：
template < class T, int T_COUNT = Loki::TL::Length <T>::value >
struct InList
{
typedef typename If <
InOutTypeTraits <typename T::Head>::isin,
typename Loki::Typelist < TypeReversedIndex <typename T::Head, T_COUNT>, 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 < TypeReversedIndex <typename T::Head, T_COUNT>, 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類就可以寫出來了：
template <class TYPES, class IN_TYPES>
struct Base <TYPES, IN_TYPES, 3> : public IMethod
{
typedef typename FuncTypeTraits <TYPES>::Result FUNC_TYPE;
typedef IN_TYPES type;
enum {TYPES_COUNT = typename Loki::TL::Length<TYPES>::value};
void async_call (
typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::type::OriginalType v0,
typename Loki::TL::TypeAt <IN_TYPES, 1>::Result::type::OriginalType v1,
typename Loki::TL::TypeAt <IN_TYPES, 2>::Result::type::OriginalType v2,
FUNC_TYPE func = 0)
{
((typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::type*)
parameters[TYPES_COUNT - typename Loki::TL::TypeAt <IN_TYPES, 0>::Result::value])->setValue (v0);
((typename Loki::TL::TypeAt <IN_TYPES, 1>::Result::type*)
parameters[TYPES_COUNT - typename Loki::TL::TypeAt <IN_TYPES, 1>::Result::value])->setValue (v1);
((typename Loki::TL::TypeAt <IN_TYPES, 2>::Result::type*)
parameters[TYPES_COUNT - typename Loki::TL::TypeAt <IN_TYPES, 2>::Result::value])->setValue (v2);
}
};
parameters中存放的是IParameter*類型，這里使用了強制轉型，并調用in/inout模板類的setValue方法給它賦值。
為了測試結果，我為IParameter加上了void print () const虛函數，并在in/inout/out模板類中實現它，打印出類型，in/inout類中還將打印出參數值。
class IParameter
{
public:
virtual void print () const = 0;
};
template <class T>
struct in : public IParameter
{
typedef T OriginalType;
T value;
void setValue (T v){
value = v;
}
void print () const {
cout << typeid(*this).name() << ": " << value << endl;
}
};
template <class T>
struct out : public IParameter
{
typedef T OriginalType;
virtual void print () const {
cout << typeid(*this).name() << endl;
}
};
template <class T>
struct inout : public IParameter
{
typedef T OriginalType;
T value;
void setValue (T v){
value = v;
}
virtual void print () const {
cout << typeid(*this).name() << ": " << value << endl;
}
};
并在Base::async_call中調用parameters中所有對象的print函數來輸出一些調試信息：
for (size_t i = 0; i < parameters.size(); i ++)
parameters[i]->print ();
簡單測試了2種類型，不能保證所有代碼都是正確的，畢竟是手工寫出來的也沒經過檢查，模板類在沒有實例化的時候某些錯誤是不會報告的。
測試代碼如下：
void test_func (int v0, char v1, string v2, short v3)
{
cout << "===========================================" << endl;
cout << "test_func(" << v0 << ", " << v1 << ", " << v2 << ", " << v3 << ")" << endl;
}
void test_func1 (int v0, char v1, short v2, string v3)
{
cout << "===========================================" << endl;
cout << "test_func1(" << v0 << ", " << v1 << ", " << v2 << ", " << v3 << ")" << endl;
}
int main()
{
{
Method < void(in<int>, in<char>, inout<string>, out<short>) > m;
m.async_call(3, 'a', "test");
cout << "===========================================" << endl;
m.async_call(3, 'a', "test", test_func);
cout << "===========================================" << endl;
}
{
Method <string(in<int>, out<char>, inout<short>)> m;
m.async_call(3, 4);
cout << "===========================================" << endl;
m.async_call(3, 4, test_func1);
cout << "===========================================" << endl;
}
return 0;
}
全部代碼太長，就不一一羅列于此了，可以點擊
這里下載。