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

Question

Visual Studio 2019でforループを記述するため補完機能（Tabキー）を使用すると
```c++
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```にした上で別名を使うってことは何かしらの意味があるのでしょうか。

もし何か理由をご存じの方がいらっしゃいましたら教えて下さい。
よろしくお願いします。

Accepted Answer

配列の添字が、size_t となってます
つまり、ループ変数で配列の要素を取り出す場合、その型はsize_tである必要があるってことですね。

んで、世の中にはいろんな環境があります
int が２バイトでlongが４バイト、intもlongも４バイト、longは８バイト、などなど、
その場合に、配列の添字を過不足なく定義できる変数の型を、size_t としているのです

Answer

[cpprefjp - C++日本語リファレンス std::size_t](https://cpprefjp.github.io/reference/cstddef/size_t.html)

> size_tは、オブジェクトのバイト数を表現できる程度に十分に大きい符号なし整数型である。 C++03まではC言語と同じく「sizeof演算子によって返される符号なし整数型」と規定されていた。

> オブジェクトのバイト数（例えばmallocの引数）やコンテナの要素数（例えばstd::size()の返り値）を表現するために用いられる。

とあるので正しい使い方のようです

関連した質問