有個(gè)需求，能否做到實(shí)現(xiàn)一個(gè)類(lèi)似這樣的函數(shù)：
template <typename T1, typename T2>
XXX Min(T1 t1, T2 t2)
{
return (t1 < t2 ? t1 : t2);
}
其中 XXX 是我們要推導(dǎo)出的類(lèi)型。
以下是一個(gè)失敗的嘗試。
我記得 Loki 里有關(guān)于如何判斷某個(gè)類(lèi)型能否隱式轉(zhuǎn)換為另一個(gè)類(lèi)型的東西，大意如下：
template <typename T, typename U>
class Conversion
{
private:
typedef char Small;
class Big { char XXX[2]; };
static Small Test(U);
static Big Test(...);
static T MakeT();
public:
enum
{
Exists = (sizeof(Test(MakeT())) == sizeof(Small)),
};
};
如此，Conversion<T, U>::Exists 就能判斷 T 到 U 的轉(zhuǎn)換是否存在了。
然后再搞個(gè)選擇：
template <bool Condition, typename TypeIfTrue, typename TypeIfFalse>
struct Select
{
typedef TypeIfFalse Type;
};
template <typename TypeIfTrue, typename TypeIfFalse>
struct Select<true, TypeIfTrue, TypeIfFalse>
{
typedef TypeIfTrue Type;
};
最后，再來(lái)個(gè)：
struct NullType;
template <typename T, typename U>
struct CommonType
{
typedef typename Select<Conversion<T, U>::exists,
U,
typename Select<Conversion<U, T>::exists,
T,
NullType>::Type
>::Type Type;
};
那么 CommonType<T1, T2> 就是 T1 和 T2 之間哪個(gè)是他們的共有類(lèi)型了。
測(cè)試：
int main()
{
CommonType<int, double>::Type m = 0;
return 0;
}
調(diào)試，確認(rèn) m 是 double 的。但是反過(guò)來(lái)寫(xiě) CommonType<double, int>::Type m = 0;，m 卻是 int 的。
這說(shuō)明這套機(jī)制一開(kāi)始就有問(wèn)題，Test(U) 和 Test(…) 兩個(gè)重載函數(shù)中，Test(…) 不會(huì)在需要 double 轉(zhuǎn) int 時(shí)勝出。這是第一個(gè)問(wèn)題。
第二個(gè)問(wèn)題，當(dāng)寫(xiě)下如下代碼的時(shí)候：
template <typename T1, typename T2>
CommonType<T1, T2>::Type Min(T1 t1, T2 t2)
{
return (t1 < t2 ? t1 : t2);
}
編譯無(wú)法通過(guò)。原因是返回類(lèi)型中的 CommonType 中的模板參數(shù) T、U 無(wú)法接受此時(shí)還不能確定的 T1、T2。
(更正：不是這個(gè)原因，返回類(lèi)型前加 typename 即可?，F(xiàn)在問(wèn)題還是第一個(gè)問(wèn)題。)
請(qǐng)教各位，有沒(méi)有什么方法做到？歡迎指教~
C++ 0x 中就能很方便做到了：
template <typename T1, typename T2>
auto Min(T1 t1, T2 t2) -> decltype(t1 + t2)
{
return (t1 < t2 ? t1 : t2);
}
int main()
{
int a = 2;
double b = 1.0;
auto m = Min(a, b);
return 0;
}
posted on 2011-03-29 21:27
溪流 閱讀(1932)
評(píng)論(16) 編輯 收藏 引用 所屬分類(lèi):
C++