构造函数模板

Question

我看到一个类的构造函数很奇怪：

class HashTable
{
public:
    template <int N>
    HashTable(const char(&str)[N])

    {
    }
};

能否请您解释一下并提供一些示例或给我一个相关链接？ 我真的不明白const char(&str)[N]。

Answer 1

这是一种捕获数组参数大小的方法。数组的类型为T[N]，通常可以衰减为T*。

#include <iostream>

template <int N>
void foo(const char(&str)[N]){
    for(int i=0;i<N;++i)
        std::cout<<str<<' ';
}

void foo(const char* str){
    //for(int i=0;i<??;++i)
}

void bar(const char* str, int n){
    for(int i=0;i<n;++i)
        std::cout<<str<<' ';
}
int main(){
    const char str[] =  "Hello";//type is const char[6]
    const char* str2 = str; //Decay
    // const char str3[] = str; (6)
    int n = sizeof(str)/sizeof(str[0]);
    foo(str);// (1) Calls foo<6>
    foo(str2);// (2) Must call foo(const char*) which is useless
    bar(str, n); // (3) Array can decay
    bar(str2, n); // (4) Same as (3) - bar can be used with all arrays
    bar(str2, 10); // (5) Buffer overrun
}

上面的例子展示了模板化方法的使用和限制。优点是您不必单独传递大小，因此它始终是正确的。最大的缺点是衰减过程是不可逆的，因此函数变得无用 - (2) 无法调用模板。

该模板很方便，但大多数数组通过bar 传递它们相当快地衰减为指针 - 这是C 中的唯一方法 - 或者仅仅是因为它们的大小在编译时未知 - malloc, new。另一个问题是在 C 和 C++ (6) 中都是无效的——没有隐式的方法来复制数组。因此bar 方法更为常见，但需要格外小心才能传递正确的大小。正确的 c++ 方法是使用std::vector 或std::array，除非它们被证明是瓶颈。