Posted on 2006-01-17 14:12
小明 閱讀(1576)
評(píng)論(0) 編輯 收藏 引用 所屬分類(lèi):
C/C++
所謂的compile-time Constraints就是在編譯期使用C++的語(yǔ)法規(guī)則對(duì)設(shè)計(jì)進(jìn)行約束檢查，盡量在編譯期把程序的問(wèn)題暴露出來(lái)，節(jié)省成本。
常用的規(guī)則:
1.
大小為0的數(shù)組在編譯期會(huì)報(bào)錯(cuò)
template<typename T1,typename T2>
void check_size()
{
int dmp[sizeof(T1)==sizeof(T2)];
}
比如
check_size<int,long>();//ok
check_size<int,char>();//compile error:cannot allocate an array of constant size 0
2.不同類(lèi)型的指針需要強(qiáng)制轉(zhuǎn)換以此可以用來(lái)判斷兩個(gè)對(duì)象是否有繼承關(guān)系
template<typename T1,typename T2>
void is_derived(T1 *pd =0 ,T2 *pb=0)
{
pb = pd;
}
比如:
is_derived<int,char>() //compile failed
3.union的成員不能是非PODunion Test
{
std::string s; //illegal
};
這一點(diǎn)可以用來(lái)測(cè)試一個(gè)類(lèi)型是否是POD
template<typename T>
void check_pod()
{
union {
T data;
};
};
比如:
check_pod<int>();//ok
check_pod<std::string>();//failed
常用的技巧:
1.利用模板特化Loki里面的例子
namespace Loki
{
template<int> struct CompileTimeError;
template<> struct CompileTimeError<true> {};
}
#define LOKI_STATIC_CHECK(expr, msg) \
{ Loki::CompileTimeError<((expr) != 0)> ERROR_##msg; (void)ERROR_##msg; }
利用特化來(lái)定制錯(cuò)誤信息
2.
利用空函數(shù)來(lái)實(shí)現(xiàn)0開(kāi)銷(xiāo)編譯器可能將空函數(shù)優(yōu)化掉
3.
利用enum無(wú)開(kāi)銷(xiāo)的取得編譯期的所得到的整數(shù)值
Loki里面的例子:
template <class TList> struct Length;
template <> struct Length<NullType>
{
enum { value = 0 };
};
template <class T, class U>
struct Length< Typelist<T, U> >
{
enum { value = 1 + Length<U>::value };
};