****GPGA****
Javaとしてコンパイルした場合ですと、エラーを出してくれますね。
これはたぶんJavaの言語仕様で決まっていることなのだと思います。
Javaにはポインタがありませんから。
配列オーバーのチェックですが、私が考えられる方法は3つあります。
一つ目は全てをenumで管理するやり方です。これはチェックというより管理ですね。
enum {
CH_CHANGE_NUM1_IDX0,
CH_CHANGE_NUM1_IDX1,
CH_CHANGE_NUM1_IDX2,
CH_CHANGE_NUM1,
};
int img_cshot1[CH_CHANGE_NUM1];
img_cshot1[CH_CHANGE_NUM1_IDX0] = 0;
このように、全ての配列アクセスをenumで定義した値で行うことで、危険を回避します。
二つ目はstd::vectorのatメソッドを使用することです。
このメソッドは配列アクセスを行う際に、指定されたインデックスのチェックを行い
要素外の値の場合は std::out_of_range を投げます。
#include <iostream>
#include <vector>
int main(void)
{
std::vector<int> ary(4);
try {
ary.at(5) = 10;
} catch (std::out_of_range e) {
std::cout << "配列オーバー：" << e.what() << std::endl;
}
return 0;
}
三つ目はstd::vectorを継承して、自分独自のクラスを作成し、そのクラスでoperator[/url] を定義して
チェックを行うというものです。
#include <iostream>
#include <vector>
template<class T>
class myvector : public std::vector<T> {
public :
myvector(int n) :
std::vector<T>(n)
{
}
~myvector() {
std::vector<T>::~vector();
}
T& at(int idx, const char* file, int line) {
if (idx < 0 || (unsigned int)idx >= size()) {
std::cout << file << "：" << line << "行目 " << "配列オーバー" << std::endl;
throw std::out_of_range("invalid myvector<T> subscript");
//return std::vector<T>::operator[/url](0);
}
return std::vector<T>::operator[/url](idx);
}
const T& at(int idx, const char* file, int line) const {
if (idx < 0 || (unsigned int)idx >= size()) {
std::cout << file << "：" << line << "行目 " << "配列オーバー" << std::endl;
throw std::out_of_range("invalid myvector<T> subscript");
//return std::vector<T>::operator[/url](0);
}
return std::vector<T>::operator[/url](idx);
}
T& operator [/url](int idx) {
if (idx < 0 || (unsigned int)idx >= size()) {
std::cout << "配列オーバー：" << idx << std::endl;
throw std::out_of_range("invalid myvector<T> subscript");
//return std::vector<T>::operator[/url](0);
}
return std::vector<T>::operator[/url](idx);
}
const T& operator [/url](int idx) const {
if (idx < 0 || (unsigned int)idx >= size()) {
std::cout << "配列オーバー：" << idx << std::endl;
throw std::out_of_range("invalid myvector<T> subscript");
//return std::vector<T>::operator[/url](0);
}
return std::vector<T>::operator[/url](idx);
}
};
#define at(n) at(n, __FILE__, __LINE__)
int main(void)
{
myvector<int> vec(1);
try {
vec[1] = 20;
} catch (...) {
}
try {
vec.at(1) = 20;
} catch (...) {
}
return 0;
}
ただ、本来std::vectorやstd::stringなどのSTLは継承用に作られていないので、継承した場合
元のデストラクタが標準で呼び出されません。(デストラクタにvirtualが付いていない)
ですので、継承先のデストラクタで継承もとのデストラクタの呼び出しを行っているのですが
これが正しいかどうか、わかりません。もし間違っているのであれば、どなたかご指摘ください。
もしこれで問題がない場合、使い方はstd::vectorと何も変わりません。
ただ、このクラスでは[/url]アクセスの際にオーバーした場合 atメソッドと同じように例外を投げてくれます。
また、atメソッドの方にも改良を加え、[/url]の代わりにatメソッドを使用した場合、問題が発生した
ファイルと行数を見れるようにしてあります。ただし、at用のマクロを定義するか、__FILE__と__LINE__を
常に入れる必要があるのが難点です。
****dixq****
なるほど、詳しくありがとうございます。
私も必要な配列要素数がよくわかるものにはベクターは使うのでは、これは単なる配列より処理が遅くなるのではと思い、
固定でいいものや小さい配列には普通の配列を使っていました。
問題になるほどの処理速度の違いは無いんでしょうか？
****組木紙織****
＞元のデストラクタが標準で呼び出されません。(デストラクタにvirtualが付いていない)
基底クラスのポインタでオブジェクトを扱った時
(簡単に言うとポリモーフィズムで扱うとき)
にはこのような状態になりますが、
オブジェクトそのもので扱った時にはきちん基底クラスのデストラクタは呼ばれます。
なのでこの場合にはデストラクタを明示的に呼ぶ必要はないのではないかと思います。
また。オブジェクトの解体は継承された部分から解体していくことになっていたはずなので、
先に継承元のオブジェクトを解体すると、何か悪いことが起こるような気がします。
std::vectorを継承して使わずに、メンバに入れて扱う方が良いのではないかと思います。
#include <iostream>
using namespace std;
class Hoge
{
public:
Hoge(){cout << "begin Hoge" << endl;}
~Hoge(){cout << "end Hoge" << endl;}
};
class HogeHoge :public Hoge
{
public:
HogeHoge(){cout << "begin HogeHoge" << endl;}
~HogeHoge(){cout << "end HogeHoge" << endl;}
};
int main()
{
Hoge *p = new HogeHoge;
delete p;
return 0;
}