C++中数组维度

Question

我有使用模板和阵列尺寸为模板非类型参数下面的代码

template<int n> double f(double c[n]); 
... 
double c[5]; 
f<5>(c); // compiles 
f(c); // does not compile 

不应编译器能够实例化而不显式模板参数的第二fθ模板参数？我正在使用g ++ 4.1

Answer 1

它的工作原理：

template<size_t n> double f(double (&c)[n]); 

Answer 2

不幸的是，因为当你将double c[5]传递给f（），或者任何数组传递给任何需要数组的函数时，你将失去大小信息。你只传递一个指针。

编辑：但请参阅gf的解决方法的答案。

Answer 3

不，因为在不同的调用中，参数可能来自任何地方。编译器肯定无法在运行时追逐指针。

编辑：顺便说一句，这对我的作品，但需要-std = C++ 0x中使用引用时（我用gcc 4.4）

#include <iostream> 

template <int n> 
struct T 
{ 
    T& 
    operator=(double const cc[n]) 
    { 
     c = cc; 
     return *this; 
    } 
    const double 
    operator[](int const &i) 
    { 
     return c[i]; 
    } 
    double c[n]; 
}; 

template<int n> 
double 
f(T<n> & x) 
{ 
    return x[n-1]; 
} 

int 
main() 
{ 
    T<5> t5 = {10, 20, 30, 40, 50}; 
    T<3> t3 = {100, 200, 300}; 
    std::cout << f(t5) << std::endl; 
    std::cout << f(t3) << std::endl; 
    return 0; 
} 

Answer 4

这可以帮助你解决更大的问题（不管可能如何）。这将允许您在编译时查询数组的大小/类型。

template < typename T_, unsigned N_ > 
class many { 
public: 
    typedef T_ T; 
    enum { N = N_ }; 

    T array[N]; 
}; 

贾斯汀