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