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]; 
}; 

賈斯汀