混沌 IN C++::模板参数的奥秘

难度:









先来一道思考题 template[/b]<typename[/b] T, T* p> struct[/b] A {}; 假若有个int类型的对象i，那么对于下面这段代码 A<int[/b], &i> obj; 这个是合法的吗？ 答： A<int[/b], &i> obj; 可能合法 或 可能不合法。 什么东西可以当作模板的参数呢？ 部分的内建类型和用户类型，和部分非类型的东西也可以当作模板参数。 非类型模板参数的一个要求是，编译器能在编译期就能把参数确定下来。换言之，就是非类型的模板参数必须是个编译期常量。 判断这句是否合法得看&i返回的是不是一个编译期常量。当i是全局或静态对象，那么这个语句就是正确的，因为全局和静态对象的内存分配发生在编译期，所以这样一来i的地址(&i的值)就是可以被确定的。 现在把这个程序补全成合法的 int[/b] i; int[/b] main(){ A<int, &i> obj; } 如果这个模板的第二个参数是引用，那么也是同理。不过值得注意的是，这些非类型、非引用模板参数都不是左值！ 最后，可以当作非类型参数的东西有 整数、enum类型、指针、引用。 其中局部的用户自定义类型(Local Class[/b])不能作为模板参数。这是因为局部类没有外部连接。举个例子 template[/b]<typename[/b] T> class[/b] TEST{}; void[/b] fun1() { struct[/b] X{}; TEST<X> a; } void[/b] fun2() { struct[/b] X{}; TEST<X> a; } 上面的TEST<X> a;是同一个东西吗？ 由于没有外部连接，它们就是同一个东西，而程序员的本意是两个局部类X是两个不同的类定义，也认为TEST<A>是两个不同的模板实例。 对于局部类，可以说它是 健全的C++类型系统的一个畸形儿。没有外部连接导致它不能拥有static data members，不能拥有template member functions等等。 //The End[/b]