[C++]配列の宣言について[VC++2010]

Question

アルゴリズムとデータ構造の勉強で、stackのデータ構造を（オブジェクト指向の考えとあっているかどうかはさておき）クラステンプレート形式でつくっているのですが、stackのサイズを2倍に拡張するresize()内でコピー用の配列、T copy[]を宣言した際に、

const unsigned int csize = m_usageTop + 1;
T copy[csize];

と書くと、ビルド時に「error : サイズが０の配列を宣言しようとしました」「error : copyのサイズが不明です」と怒られました。m_usageTopはunsigned intのメンバ変数で、コンストラクタで０になるようになっていますが、resizeが呼ばれるのはunsigned intでありstackのサイズを知るメンバ変数sizeをm_usageTopが>=したときだけで、しかもcsizeは＋1しているconst変数なので、なぜ怒られるのか分かりません。また、T* copy = new T[m_usageTop]としたときはうまくいきます。newでもいいのですが、newだとheap領域を使うとか、フラグメンテーションの関係でnew, deleteの回数は減らすべきだとかあるのでどうにか改善したいです。

template<typename T>
class Stack{
private:
T* item;
const unsigned int iniSize;
unsigned int size;
unsigned int m_usageTop;

-- 略 --

template<typename T>
Stack<T>::Stack() : iniSize(5), size(5), m_usageTop(0){ // constメンバ変数は初期化リストでないと初期化できない
item = new T[iniSize];
for(unsigned int i = 0; i < this->size; i++)
item[i] = 0;
}
template<typename T>
Stack<T>::Stack(unsigned int size) :iniSize(size), size(size), m_usageTop(0){
item = new T[iniSize];
for(unsigned int i = 0; i < this->size; i++)
item[i] = 0;
}
template<typename T>
Stack<T>::~Stack() {
delete[] item;
item = nullptr;
std::cout << "stack memory is deleted" << std::endl;
}

Answer 1

静的に配列を確保しようとしているので、
コンパイル時点で値が決定している必要があるため
コンストラクタで値決定だとコンパイルに通りません。
(実行時に値が決定するため)
(そもそもconstでも怪しかったような)
newの場合は動的に配列を確保するので
コンパイル時に値が決定していなくても
コンパイルは通ります。

#defineならコンパイル時に評価されるので
コンパイルは通るはずです。

Comments

[退会済みユーザー]

そうなんですか・・・。見ての通り初心者なので、new以外にこの形式のものを構成する方法がわかりませんね・・・。defineやグローバル定数は柔軟性にかけますし。むむむ。
ありがとうございました

Answer 2

全体像がよくわからないので、何となくの回答ですが、m_usageTopがunsigned int最大値になることはないでしょうか？
unsigned int最大値であればcsizeが0になる気がします。

Comments

[退会済みユーザー]

今回の問題ではそのような事例が原因ではありませんが、確かに＋1しているとオーバーフローしそうですね。気を付けます