C++的template有点“神奇”

LinuxKen

最近开始接触了点C++，看到template这章，觉得C++的template有点神奇呦。
就拿下面的小程序作例子：
template<class Type, int size> 中size作为一个非类型参数，这样就可以直接知道传入的数组了？

而在C中，数组作为参数如果不传入一个长度，是无法知道数组大小的，所以觉得有点“神奇”

#include <iostream> using std::cout; using std::endl; template <class Type, int size> Type min( const Type (&array)[size] ) { &nbsp;&nbsp;&nbsp;&nbsp;Type min_val = array[ 0 ]; &nbsp;&nbsp;&nbsp;&nbsp;for ( int i = 1; i < size; i++ ) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;if ( min_val > array[i] ) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;min_val = array[i]; &nbsp;&nbsp;&nbsp;&nbsp;return min_val; } int main() { &nbsp;&nbsp;&nbsp;&nbsp;const int array[] = { 3, 5, 2, 9, 7, 1, 6 }; &nbsp;&nbsp;&nbsp;&nbsp;int min_val; &nbsp;&nbsp;&nbsp;&nbsp;min_val = min( array ); &nbsp;&nbsp;&nbsp;&nbsp;cout << "The min value is " << min_val <<endl; &nbsp;&nbsp;&nbsp;&nbsp;return 0;

ecjtubaowp

模板和泛型编程的确是C++神奇的地方

tyc611

这跟模板没关系，是因为你用的数组引用

w_anthony

这当然跟模板有关系，只不过编译器会为不同的传入参数生成不同的函数，然后再为你去调用它。
比如int a[10]和int b[20]作参数，所调用的是不同的函数，而模板函数里面里面的size则会被编译为一个“立即数”。
如果这样的模板函数被调用多次，并且每次调用的参数数组的大小都不同，会导致代码体积剧增，还不如用C方式附加传一个数组大小作参数。

LinuxKen

原帖由 tyc611 于 2008-10-25 09:30 发表
这跟模板没关系，是因为你用的数组引用

貌似不对，如果不用模板，单单用引用如何直接就得出数组的长度？

zhujiang73

原帖由 LinuxKen 于 2008-10-25 01:32 发表
最近开始接触了点C++，看到template这章，觉得C++的template有点神奇呦。
就拿下面的小程序作例子：
template 中size作为一个非类型参数，这样就可以直接知道传入的数组了？

而在C中，数组作为参数如果不传 ...

如果是指针就不行了，建议以后的 C++ 加上RTTI 功能。

ncoder

确实“神奇”

等着看正解

ice-pl

我建议你看看汇编 ，就一点不神奇了

tyc611

原帖由 LinuxKen 于 2008-10-25 10:44 发表


貌似不对，如果不用模板，单单用引用如何直接就得出数组的长度？

模板只是方便针对不同大小的数组的代码复用而已，这里的本质是数组引用，比如

1. 
   
2. #include <iostream>
   
3. #include <iterator>
   
4. using namespace std;
   
5. 
   
6. void Init(int (&a)[10])
   
7. {
   
8.     const int NUM = sizeof(a) / sizeof(a[0]);
   
9.     for (int i = 0; i < NUM; ++i)
   
10.         a[i] = i + 1;
    
11. }
    
12. 
    
13. int main()
    
14. {
    
15.     int a[10];
    
16.     Init(a);
    
17.     copy(a, a + 10, ostream_iterator<int>(cout, " "));
    
18.     cout << endl;
    
19.    
    
20.     return 0;
    
21. }
    

复制代码

tyc611

原帖由 zhujiang73 于 2008-10-25 13:06 发表


如果是指针就不行了，建议以后的 C++ 加上RTTI 功能。

数组要与C兼容，不会改变的
你需要用的是vector