size_type、size_t、different_type以及ptrdiff_t

• size_type

    在标准库string类型中，最容易令人产生误解就是size（）成员函数的返回值了，如果不深入分析的话，大多人都会认为size（）的返回值为int类型，其实不然。事实上，size操作返回的是string::size_type类型的值。 那怎样理解size_type这一类型呢，我引用《C++ Primer》一段原文简单解释一下：

    string类类型和许多其他库类型都定义了一些配套类型（companion type）。通过这些配套类型，库类型的使用就能和机器无关（machine-independent）。size_type就是这些配套类型中的一种。它定义为与unsigned型（unsigned int 或 unsigned long）具有相同的含义，而且可以保证足够大能够存储任意string对象的长度。为了使用由string类型定义的size_type类型，程序员必须加上作用域操作符来说明所使用的size_type类型是由string类定义的。

/*******************************************
 * this is a simple demo to test size_type
 *
 * Auther : Jerry.Jiang
 * Date : 2011/08/20
 * http://blog.csdn.net/jerryjbiao
 *
 *********************************************/

#include <iostream>
#include <string>

usingnamespace std;

int main()
{
    string str("This is a simple demo !");

for (string::size_type index = 0; index != str.size(); ++index)
    {
        cout << str[index];
    }
    cout << endl;

return 0;
}

这里特别注意的是：任何存储string的size操作结果的变量必须为string::size_type类型，同时，使用size_type类型时，必须指出该类型是在哪里定义的。切记不要吧size的返回值赋给一个int变量。

    不仅string类型定义了size_type，其他标准库类型如vector::size_type，list::size_type，deque::size_type，map::size_type，multimap::size_type，basic_string::size_type 等更多请查看MSDN详细介绍。下面是几个常用的Demo：

/*******************************************
 * this is a simple demo to test vector::size_type
 *
 * Auther : Jerry.Jiang
 * Date : 2011/08/20
 * http://blog.csdn.net/jerryjbiao
 *
 *********************************************/

#include <iostream>
#include <vector>

usingnamespace std;

int main()
{
    vector<int> ivec;

//vector::size_type
for (vector<int>::size_type ix = 0 ; ix != 10; ++ix)
    {
        ivec.push_back(ix+1);
    }

//vector::iterator
for (vector<int>::iterator iter = ivec.begin();
                               iter != ivec.end(); ++iter)
    {
        cout << *iter << "  ";
    }

    cout << endl;
return 0;
}

/*******************************************
 * this is a simple demo to test list::size_type
 *
 * Auther : Jerry.Jiang
 * Date : 2011/08/20
 * http://blog.csdn.net/jerryjbiao
 *
 *********************************************/

#include <list>
#include <iostream>

usingnamespace std;

int main( )
{

   list <int> c1;
   list <int>::size_type i;

   c1.push_back( 1 );
   i = c1.size( );
   cout << "List length is " << i << "." << endl;

   c1.push_back( 2 );
   i = c1.size( );
   cout << "List length is now " << i << "." << endl;

return 0;
}

/*******************************************
 * this is a simple demo to test map::size_type
 *
 * Auther : Jerry.Jiang
 * Date : 2011/08/20
 * http://blog.csdn.net/jerryjbiao
 *
 *********************************************/

#include <map>
#include <iostream>

int main()
{
usingnamespace std;
    map<int, int> m1, m2;
    map<int, int>::size_type i;
typedef pair<int, int> Int_Pair;

    m1.insert(Int_Pair(1, 1));
    i = m1.size();
    cout << "The map length is " << i << "." << endl;

    m1.insert(Int_Pair(2, 4));
    i = m1.size();
    cout << "The map length is now " << i << "." << endl;

return 0;
}

• size_t

     size_t类型定义在cstddef头文件中，该文件是C标准库中的头文件 stddef.h 的C++版本。它是一个与机器相关的unsigned类型，其大小足以存储内存中对象的大小。

      与前面Demo中vector和string中的size操作类似，在标准库类型bitset中的size操作和count操作的返回值类型为size_t 。

  /***********************************************
   * this is a simple demo to test bitset::size_t
   *
   * Auther : Jerry.Jiang
   * Date : 2011/08/20
   * http://blog.csdn.net/jerryjbiao
   *
   *********************************************/
  
  #include <iostream>
  #include <bitset>
  
  usingnamespace std;
  
  int main()
  {
  //bitvec有32位，每位都是0
      bitset<32> bitvec;
      cout << " bitvec : " << bitvec << endl;
  
  //count()统计bitvec中置1的个数
  size_t bitcount = bitvec.count();
      cout << "bitvec.count() :" << bitcount << endl;
  
  //size()统计bitvec二进制位的个数
  size_t bitsize = bitvec.size();
      cout << "bitvec.size() :" << bitsize << endl;
  
  return 0;
  }

• different_type

  
     一种由vector类型定义的signed整型，用于存储任意两个迭代器间的距离。
  

• ptrdiff_t

  
     与size_t一样，定义在cstddef头文件中定义的与机器相关的有符号整型，该类型具有足够的大小存储两个指针的差值，这两个指针指向同一个可能的最大数组。