C++ 显式具体化 问题！！！

首先，这是题目 ：


其次，这是我的解答。题目第一部分没问题，第二部分 编译器一直对 《显式具体化的声明》报错。


这是，报错的提示


求助，究竟哪里错了？？？

1. //函数模板求数组中最大的数
   
2. #include <iostream>
   
3. 
   
4. template<class T>
   
5. T Maxn(const T arr[],int n );
   
6. //显式具体化的声明,显式具体化求 指向字符串的指针  组成的数组中最长的字符串，返回该指针
   
7. template<> char* Maxn(char* arr[],int n);
   
8. int main()
   
9. {
   
10.         using namespace std;
    
11.         int a[]={56,96,59,92,29,53,25,15,58,15,99};
    
12.         int n=sizeof(a)/sizeof(int);
    
13.         cout <<"n = = "<<n<<endl;
    
14.         cout <<"最大值为："<<Maxn(a,n)<<endl;
    
15. }
    
16. //函数模板
    
17. template<class T>
    
18. T Maxn(const T arr[],int n )
    
19. {
    
20.         T temp=arr[0];
    
21.         for (int i=0;i<n;++i)
    
22.         {
    
23.                 if(temp<arr[i])
    
24.                         temp = arr[i];
    
25.         }
    
26.         return temp;
    
27. }
    
28. template<> char* Maxn(char* arr[],int n)
    
29. {
    
30.         int LEN[n];
    
31.         for(int i = 0;i<n;++ i )
    
32.             LEN[i] = strlen(arr[i]);
    
33.         int max = Maxn(LEN,n);
    
34.         int i = 0;
    
35.         while(LEN[i] != max)
    
36.         {
    
37.                
    
38.                 ++i;
    
39.         }
    
40.         return arr[i];
    
41. }

复制代码

又来求助了。。。
@Syc

大神，我初学c语言，请教一下，你用的什么工具编的程，是vc++6.0吗？怎么和我的界面不一样，连错误提示都是中文的，我的是英文的。

菜鸟从0开始 发表于 2017-11-20 20:20
又来求助了。。。
@Syc

改成这样就可以了：

1. //函数模板求数组中最大的数
   
2. #include <iostream>
   
3. 
   
4. //函数模板
   
5. template<class T>
   
6. T Maxn(const T arr[], int n)
   
7. {
   
8.         T temp = arr[0];
   
9.         for (int i = 0; i < n; ++i)
   
10.         {
    
11.                 if (temp < arr[i])
    
12.                         temp = arr[i];
    
13.         }
    
14.         return temp;
    
15. }
    
16. 
    
17. char* Maxn(char* arr[], int n)
    
18. {
    
19.         int *pArrLen = new int[n];
    
20.         for (int i = 0; i < n; ++i)
    
21.                 pArrLen[i] = strlen(arr[i]);
    
22. 
    
23.         int max = Maxn(pArrLen, n);
    
24.         int i = 0;
    
25.         while (pArrLen[i] != max)
    
26.         {
    
27.                 ++i;
    
28.         }
    
29.         delete[] pArrLen;
    
30.         return arr[i];
    
31. }
    
32. 
    
33. int main()
    
34. {
    
35.         using namespace std;
    
36.         int a[] = { 56, 96, 59, 92, 29, 53, 25, 15, 58, 15, 99 };
    
37.         int n = sizeof(a) / sizeof(int);
    
38.         cout << "n = = " << n << endl;
    
39.         cout << "最大值为：" << Maxn(a, n) << endl;
    
40. }

复制代码

但是这样有个问题，就是当 Maxn 的参数 char* arr[] 中有两个或多个一样长度的字符串，返回的索引可能就会有问题了

菜鸟从0开始 发表于 2017-11-20 20:09

首先 這個叫做 `模板特化` 不叫什麼 `具体化` 看得莫名其妙 看了你代碼 才知道你想 講什麼

你的錯誤 在於 需要 爲 char* 定義一個 typedef 不然 無法識別出你要 特化哪個 模板
這是 c++編譯器 還不夠智能 沒法 只有你自己 爲指針定義一個 typedef

先看下 孤改鍋後的代碼

1. #include <iostream>
   
2. #include <cstring>
   
3. 
   
4. using namespace std;
   
5. 
   
6. template<class T>
   
7. T Maxn(const T arr[],int n );
   
8. 
   
9. 
   
10. //显式具体化的声明,显式具体化求 指向字符串的指针  组成的数组中最长的字符串，返回该指针
    
11. typedef char* cstr_t;
    
12. template<>
    
13. cstr_t Maxn(const cstr_t arr[],int n );
    
14. int main()
    
15. {
    
16.     using namespace std;
    
17.     int a[]= {56,96,59,92,29,53,25,15,58,15,99};
    
18.     int n=sizeof(a)/sizeof(int);
    
19.     cout <<"n = "<<n<<endl;
    
20.     cout <<"max = "<<Maxn(a,n)<<endl;
    
21. 
    
22.     char* strs[] = {"kate","cerberus","king"};
    
23.     n=sizeof(strs)/sizeof(char*);
    
24.     cout <<"n = "<<n<<endl;
    
25.     cout <<"max = "<<Maxn(strs,n)<<endl;
    
26. }
    
27. 
    
28. template<class T>
    
29. T Maxn(const T arr[],int n )
    
30. {
    
31.     T temp=arr[0];
    
32.     for (int i=1; i<n; ++i)
    
33.     {
    
34.         if(temp<arr[i])
    
35.             temp = arr[i];
    
36.     }
    
37.     return temp;
    
38. }
    
39. 
    
40. template<>
    
41. cstr_t Maxn(const cstr_t strs[],int n )
    
42. {
    
43.     cstr_t str = strs[0];
    
44.     int len = strlen(str);
    
45.     for (int i=1; i<n; ++i)
    
46.     {
    
47.         int n = strlen(strs[i]);
    
48.         if(len<n)
    
49.         {
    
50.             str = strs[i];
    
51.             len = n;
    
52.         }
    
53.     }
    
54.     return str;
    
55. }
    

复制代码

代碼 第11行 爲 char* 定義了一個 typedef 模板就能正常識別了

其次 你的代碼 有幾個地方 雖然沒錯 但 需要 改進的 地方
1 孤第32行 代碼是從1開始 你是從0 開始 從0開始 是沒有意義的 你已經把0 存儲到 temp 了 幹嘛再對0操縱一次
2 特化char* 的 代碼 幹嘛要用新的 邏輯 和 定義的模板用 同樣邏輯就可以了  而且你的特化代碼 不知道在幹什麼

Syc 发表于 2017-11-21 09:53
改成这样就可以了：

你這種寫法 應該是叫 函數 重載 不是 模板特化哦
這樣 無法 通過 Maxn<char*>(strs,n) 的方法調用吧

如果 高層提供一個 包裝 想 自動轉到底層 調用 Maxn<T>(...) 遇到 char*
底層自動 產生的 Maxn<char*>(...) 就會調用失敗因爲 根本不存在這個 特化的 模板函數
(其實情況會更糟 編譯器不會報錯 而是 調用了 沒有特化的 模板 執行了錯誤的 邏輯)

zuiwuchang 发表于 2017-11-21 10:10
你這種寫法 應該是叫 函數 重載 不是 模板特化哦
這樣 無法 通過 Maxn(strs,n) 的方法調用吧

嗯，是函数重载，没真正理会题目的意思

vcyou 发表于 2017-11-20 20:45
大神，我初学c语言，请教一下，你用的什么工具编的程，是vc++6.0吗？怎么和我的界面不一样，连错误提示都是 ...

我用的是VS2010，安装了番茄助手插件。具体可以参考@Syc 的实用C++入门入门教程

果然，我用Maxn<char*>(str,n)试了一下，编译没出错，但是运行结果不正确。

这个问题是否可以这样理解：
template<class T>
T Maxn(const T arr[],int n );这个函数模板的逻辑并不适用于char* 这种类型，所以只能采用函数重载的方式，不能适用模板函数。
如果强行适用Maxn<char*>()，会带入错误逻辑，产生错误的结果。

我这样理解对吗？

菜鸟从0开始 发表于 2017-11-26 09:46
果然，我用Maxn(str,n)试了一下，编译没出错，但是运行结果不正确。

这个问题是否可以这样理解：

實現 特化 和 重載是兩個不同的 東西  不能互相替代
然後所有型別都能被特化 只是因爲一些原因 (語法歧義) 一些寫法編譯器不認識 需要 你加上一些特殊東西或寫法 讓編譯器 知道你的意思
(語法歧義 類似 你和一個人講話 但中文有許多 同音不同意的詞 對方太蠢 不知道你講的哪個詞 所以你要換個 它聽得懂的詞)

孤 代碼 中 第40~55行就是在 特化 char* 因爲直接寫 char* 編譯器太蠢 不明白 所以 在 第11行 爲char* 定義了個 typedef

如果 不特化 char* 調用 Maxn 時 傳入 char* 就執行 非特化模板 也就是 孤代碼中 第28~38行代碼 自然 就是執行了 錯誤代碼

菜鸟从0开始 发表于 2017-11-26 09:46
果然，我用Maxn(str,n)试了一下，编译没出错，但是运行结果不正确。

这个问题是否可以这样理解：

模板 是由 編譯器 自動 爲你生成 一段 函數 類
特化模板 在於 爲特定型別 進行 特殊處理

調用 模板時 編譯器 首先根據 參數 自動 判斷 有特化模板沒？ 有就調用 特化模板。 沒有就調用 非特化模板。
以函數 爲例子 一般 調用 直接和調用函數 一樣 func(args...) 編譯器 會更具 參數 型別 自動 猜測 模板原型
但有時 亦或出現 語法歧義 你也需要特殊 處理 比如 明確 寫出模板原型 func<T...>(args...)

#include <string.h>
#include <iostream>
using namespace std;

template<class T>
inline const T& maxn(const T *arr, int n)
{
        // assert(n > 0);
        int maxIndex = 0;
        int i = 0; // init i=0 just for code style, not a use value
        for (i = 1; i < n; ++i)
        {
                if (arr[maxIndex] < arr[i]) maxIndex = i;
        }

         return arr[maxIndex];
}

typedef char* PChar;
template<>
inline const PChar& maxn(const PChar *arr, int n)
{
        // assert(n > 0);
        int maxIndex = 0;
        int i = 0; // init i=0 just for code style, not a use value
        for (i = 1; i < n; ++i)
        {
                if ( strlen(arr[maxIndex]) < strlen(arr[i]) ) maxIndex = i;
        }

        return arr[maxIndex];
}

void Test_maxn()
{
#define dim(arr) ( sizeof(arr)/sizeof(*arr) )
       
        int iarr[] = {6, 5, 3, 2, 1, 4};
        cout<<maxn(iarr, dim(iarr))<<endl;

        double darr[] = {2.0, 1.0, 4.0, 3.0};
        cout<<maxn(darr, dim(darr))<<endl;

        PChar strArr[] = {"one", "two", "three", "hello", "five"};
        cout<<maxn<PChar>(strArr, dim(strArr))<<endl;
}