在函数中访问 c​​onst char *arr[] 的元素

Question

我正在传入一个指针函数数组，并且想要获取数组的元素。该函数总是返回最后一个元素。为什么？

#include <iostream>
#include <cstring>

using namespace std;

template<typename T> T maxn(T [], int);
template<> const char * maxn(const char *[], int);

int main(int argc, char const *argv[])
{
    char *arr_cha[] = {new char[4], new char[5]};
    strcpy(arr_cha[0], "abc");
    strcpy(arr_cha[1], "abcd");

    cout << arr_cha[1] << endl;
    cout << maxn(arr_cha, 2) << endl;

    return 0;
}

template<typename T> T maxn(T arr[], int len)
{
    T max = arr[0];
    for(int i=1;i<len;i++){
        max = max < arr[i] ? arr[i] : max;
    }

    return max;
}


template<> const char * maxn(const char *arr[], int len)
{
    return arr[0];  
}

控制台：

abcd
abcd

当我不在堆上分配字符串时，一切正常。

例子：

char str1[] = "abc";
char str2[] = "abcd";
char *arr_cha[] = {str1, str2};

Answer 1

这里的问题是您在main 中使用的类型与专业化的类型不匹配。当您调用maxn(arr_cha, 2) 时，编译器会尝试推断参数（它还没有查看特化，因为这仅在推断之后发生）。它推断arr_cha 被定义为char*[]。这与专业化所采用的const char*[] 不匹配，因此从不考虑专业化。相反，编译器将从template<typename T> T maxn(T arr[], int len) 中剔除一个maxn，并将T 推导出为char*。

为了让你需要的专业化工作

template<> char * maxn(char *arr[], int len)
{
    return arr[0];  
}

或者，您甚至可以不专门化模板，而是将其重载

char * maxn(char *arr[], int len)
{
    return arr[0];  
}

你会得到同样的结果。