※ 引述《bjiyxo (若自礌)》之铭言：
: 如题
: 因为曾听过不同型态的变量做运算的时候
: 会增加电脑的负担
: 而索引值又常常用到
: 所以好奇想问
: 索引值的默认型态是什么?
→ uranusjr: 其实只要是整数形态都差不多, 如果你坚持一定要挑一个, 10/02 18:52
→ uranusjr: 就用 ptrdiff_t 吧 10/02 18:52
→ wowslr: container 用里面的 size_type， 不然就 size_t？ 10/02 19:44
→ Killercat: STL里面(或者说C++ Libs)都用size_t 10/03 15:52
→ Killercat: C就没有一定标准了 typedef/#define满天飞的.... 10/03 15:53
→ Killercat: 另外 size_t通常是long或者uint64(两者大小一样) 10/03 15:55
我想说一下我选 ptrdiff_t 的原因
首先, 根据标准, subscripting 只是指标运算 + dereferencing 的 syntax sugar
也就是对于一个阵列 a 与整数 i（注意这边都还完全不考虑形态）
a[i]
完全对等于
*(a + i)
这有两个意义：
1. Subscript 使用的型别应该与 pointer 型别相同
其实我猜 compiler 都会最佳化, 不过如果完全照字面解答原 po 的问题, 那么
我们要找的应该是 pointer 运算时使用的型别。
2. Subscript 值可以是负的
由于负方向的指标运算完全合法, negative subscript（e.g. a[-1]）完全符合
标准, 即使并不直观。
所以 size_t 并不符合。主要因为它是无号整数, 不过其实也没人说过它和指标有什
么关联。我们要找的是用在指标运算, 且有号的型别：
http://goo.gl/1Xpf6x (www.gnu.org)
Data Type: ptrdiff_t
This is the signed integer type of the result of subtracting two pointers.
For example, with the declaration char *p1, *p2;, the expression p2 - p1
is of type ptrdiff_t. This will probably be one of the standard signed
integer types (short int, int or long int), but might be a nonstandard
type that exists only for this purpose.
延续前面的例子, 假设 a 是 foo 的 array, 且索引取值后的结果是 b：
b = a [ i ]
↑ ↑ ↑
foo foo[] ??
b = *( a + i )
↑ ↑ ↑
foo foo[] ??
令 *c = b, 则
c = a + i
↑ ↑ ↑
foo* foo[] ??
i = c - a 让 a decay 为指标
↑ ↑ ↑
?? foo* foo*
根据上面的规范, i 的型别显然应该是 ptrdiff_t。