fourcc的涵义以及在C++编程中的实现
fourcc全称four-character codes，是在编程中非常常用的东西，一般用作标示符。比如wav、avi等riff文件的标签头标示，quake 3的模型文件.md3中也大量存在等于“idp3”的fourcc。它是一个32位的标示符，其实就是
typedef unsigned long fourcc
用宏生成fourcc
fourcc是由四个字符拼接而成的。生成fourcc的传统方法是：
// 来自mmsystem.h
#define makefourcc(ch0, ch1, ch2, ch3) \
((dword)(byte)(ch0) | ((dword)(byte)(ch1) << 8) | \
((dword)(byte)(ch2) << 16) | ((dword)(byte)(ch3) << 24 ))
这种方法很简单直观，而且以下代码：
switch (val)
{
case makefourcc('f', 'm', 't', ' '):
...
break;
case makefourcc('d', 'a', 't', 'a'):
...
break;
...
}
能顺利通过编译，因为宏能在编译期生成常量，符合case的条件。
内联函数
如果你是一个纯粹的c++用户，那么你一定会对带参数的宏非常反感，无论是《the c++ programming language》、《effective c++》还是其他好的c++书籍，都会劝导你不要使用带参数的宏，还会列举出很多很多例子，来说明宏的坏处。想到这里，你就会觉得应该用内联函数来代替带参数的宏。于是，你写下如下的代码：
inline fourcc makefourcc(char ch0, char ch1, char ch2, char ch3)
{
return (ch0 << 0) + (ch1 << 8) + (ch2 << 16) + (ch3 << 24);
}
ok，它实现了原来的那个宏的行为，并能得到正确的结果。你也许会认为这就是完美的答案了。慢着，当你把新代码加入工程，重新编译时就会发现——编译失败了！case那行出错。这是因为case后面的值必须是常量。于是，你修改了代码：
const fourcc fccfmt = makefourcc('f', 'm', 't', ' ');
const fourcc fccdata = makefourcc('d', 'a', 't', 'a');
...
switch (val)
{
case fccfmt:
...
break;
case fccdata:
...
break;
...
}
你试图通过定义const常量来把计算结果存放在fccfmt和fccdata里。但是，错误照旧。“但是我带入makefourcc的四个参数的都是常量啊？应该在编译的时候就能计算出makefourcc的返回值才对！”我听见你在大声喊着。的确，在优化阶段，makefourcc能计算出结果并存放在常量fccfmt和fccdata里，并有可能在使用fccfmt和fccdata的地方直接带入它们的值。但是请注意，编译是在优化之前的，也就是说，case后面的值必须是在编译阶段就已经知道具体的值，而不能等到优化阶段。况且，debug版默认是没有优化没有内联的，因此也否定了该方案。更要说明的是，“inline”关键字只是一个建议，而不是一个命令。它只能建议编译器：“如果允许的话，就请把它内联吧。”而编译器完全有权不去内联一个函数。所以，内联函数是不能再编译期得到结果的。
用模板
难道要退回古老的宏？当然不是，否则还要这篇文章干什么:) c++的模板机制给程序员带来的无限的空间，它不光能让类型作为参数，还能将常量作为参数（这一点常常被人遗忘），而且这一切都是编译期决定的！这是我们用它来生成fourcc的第一个基础。
于是，你就迫不及待的利用模板来改写上面的函数：
template <char ch0, char ch1, char ch2, char ch3>
inline fourcc makefourcc()
{
return (ch0 << 0) + (ch1 << 8) + (ch2 << 16) + (ch3 << 24);
}
可是错误照旧。虽然这次可以保证返回值能在编译期计算出来，但可惜的是那个return语句却要等到运行才能运行（也有可能在优化阶段就能消除这个语句，但肯定不能再编译期就全部完成）。
别急，还有第二个基础才可以。那是什么？是一个从c语言继承来的东西——enum。很多朋友认为，它不是很重要，因为很多情况下可以用别的方法来取代它，比如const。但是它有一个经常被人忽略的特性，而且这个特性非常重要，那就是——它的值必须在编译期就得出，即它是个编译期常量！这不是正符合我们的需要吗？请看下面的模板：
template <char ch0, char ch1, char ch2, char ch3>
struct makefourcc
{
enum { value = (ch0 << 0) + (ch1 << 8) + (ch2 << 16) + (ch3 << 24) };
};
核心还是和上面一样，通过表达式(ch0 << 0) + (ch1 << 8) + (ch2 << 16) + (ch3 << 24)计算fourcc（那当然是一样的）。但是计算的时机从运行期或者优化期移到了编译期。编译器在编译时，通过模板带入的char常量计算出表达式的值，并把它保存在枚举值value里。看看现在的代码：
const fourcc fccfmt = makefourcc<'f', 'm', 't', ' '>::value;
const fourcc fccdata = makefourcc<'d', 'a', 't', 'a'>::value;
...
switch (val)
{
case fccfmt:
...
break;
case fccdata:
...
break;
...
}
成功了，makefourcc模板顺利地完成了任务。fourcc的模板生成法既让我们抛弃了那个不安全的宏，又让我们看到了inline的局限性，还让我们重新认识了enum的一些特性。其它许多类似的问题也能通过template + enum来解决。它们可以带你进入奇妙的“编译期编程”的世界。
原文地址：http://hi.baidu.com/%CA%AE%C6%DF%C8%D5%D4%C2/blog/item/560519cea142070e93457ea3.html