C++:数组的函数模板特化

Question

我尝试编写一个函数来对一系列数据执行任何操作。

//For stl containers
template<typename T>
void foo(T x){
    for(auto iter=x.begin();iter!=x.end();++iter)
        do_something(*iter);
}

这个函数是为了操作STL容器而设计的，没问题。但我想要 C 数组的另一个版本。所以我尝试了这个:

//For C-array
template<typename T,size_t N>
void foo(T x[N]){
    //blabla
}
//Error

我读过 "Partial template specialization for arrays" (以及其他几篇相关文章)，但它适用于类模板。而且我也知道，当你专门化一个函数模板时，你实际上是在重载它。无论如何，那篇文章中的解决方案无法在这里实现。

有任何(或可能没有)方法可以做到这一点吗？ :-) 谢谢你容忍我糟糕的英语，谢谢你的帮助。

Answer 1

你错过了对数组的引用:

template<typename T, size_t N>
void foo(T (&x)[N]){
    //blabla
}

顺便说一句，在您的情况下，您可以在一般情况下简单地使用 (const) 引用:

template<typename T>
void foo(T& x){
    using std::begin;
    using std::end;

    for (auto iter = begin(x); iter != end(x); ++iter)
        do_something(*iter);
}

甚至更好:

template<typename T>
void foo(T& x){
    for (auto&& e : x)
        do_something(x);
}