通過作為 const 傳遞給 function 來設置結構中數組的大小 - 非類型模板參數不是常量表達式

Question

用戶在運行時設置k 。 對於代碼的 rest，此數字將保持constant 。 我想創建一個 function 來傳遞並創建一個結構，該結構包含一個大小為 k 的數組，該數組具有該數字。 但是，編譯器返回此錯誤：

Non-type template argument is not a constant expression

任何建議將不勝感激。

代碼如下：

template <int N>
struct UL {
    unsigned long ul [N];
};

void func(const int k){
    UL<k> x;  //problem is here
}

int main () {
    int k;
    cin >> k;
    func(k);
    return 0;
}

Answer 1

變量k是在運行時設置的，所以在編譯代碼時，編譯器不知道k的值是什么。 你不能這樣做。 但是，如果您知道您的k值將是什么並且它的值范圍是有限的，您可以為每個可能的k值創建您的結構，並在運行時選擇匹配的 class。 當然，這可能不是您想要的。 您只需要能夠區分編譯時和運行時已知的內容。 模板文字（我希望我使用了正確的名稱）是 C++ 的編譯時特性。

Answer 2

模板僅在編譯時處理。 您不能將運行時變量（例如 function 參數）傳遞給模板。 對於您要執行的操作，您必須改用std::vector ，例如：

#include <vector>

struct UL {
    std::vector<unsigned long> ul;
};

void func(const int k){
    UL x;
    x.ul.resize(k);
}

int main () {
    int k;
    cin >> k;
    func(k);
    return 0;
}

Answer 3

關於模板的一個基本原則是：

任何模板參數都必須是可以在編譯時確定的數量或值。

這對模板實體的運行時成本具有顯着優勢。

但是在您的示例中， k不是編譯時間常數，並且您將其用作模板參數，因此由於上述引用的語句，您會收到錯誤。

要解決您的問題，您可以使用std::vector ，如下所示：

#include <iostream>
#include <vector>

struct UL {
    std::vector<unsigned long> ul;
    
    //constructor
    UL(int k): ul(k) //this creates vector ul of size k
    {
        std::cout<<"size of vector set to: "<<ul.size()<<std::endl;
    }
};

void func(const int k){
    UL x(k);  //pass k as argument to constructor
}

int main () {
    int k; 
    std::cin >> k;
    
    func(k);
    return 0;
}

程序的output可以看這里。