C++ VSでforループの補完をすると、iの型がsize_tになる理由

Question

Visual Studio 2019でforループを記述するため補完機能（Tabキー）を使用すると

for (size_t i = 0; i < length; i++)
	{

	}

こういった形で補完されるのですが、
なぜiの型がintもしくはunsigned intではなく、size_tになるのかわかりません。（どれも４バイトなのに……）

size_tにマウスオーバーするとtypedef unsigned int size_tと出るのでおそらくunsigned intと同じ型ということだと思います。

わざわざよく使われるintではなくunsigned intにした上で別名を使うってことは何かしらの意味があるのでしょうか。

もし何か理由をご存じの方がいらっしゃいましたら教えて下さい。
よろしくお願いします。

Answer 1

cpprefjp - C++日本語リファレンス std::size_t

size_tは、オブジェクトのバイト数を表現できる程度に十分に大きい符号なし整数型である。 C++03まではC言語と同じく「sizeof演算子によって返される符号なし整数型」と規定されていた。

オブジェクトのバイト数（例えばmallocの引数）やコンテナの要素数（例えばstd::size()の返り値）を表現するために用いられる。

とあるので正しい使い方のようです

Comments

[退会済みユーザー]

ありがとうございました。

Answer 2

配列の添字が、size_t となってます
つまり、ループ変数で配列の要素を取り出す場合、その型はsize_tである必要があるってことですね。

んで、世の中にはいろんな環境があります
int が２バイトでlongが４バイト、intもlongも４バイト、longは８バイト、などなど、
その場合に、配列の添字を過不足なく定義できる変数の型を、size_t としているのです

Comments

[退会済みユーザー]

ありがとうございました。