关于一道1到N自然数排序的华为面试题

 在网上逛某论坛时，发现一所谓的高手贴了这样一道题，说是华为的面试题，如下：
有N个大小不等的自然数（1--N），请将它们由小到大排序。  
要求程序算法：时间复杂度为O(n)，空间复杂度为O(1)。
高手经过一番分析后，说该题其实很简单，给出了答案如下：

void    sort( int    e[],    int    n)   
... {   
    int   i;   
    int   t;   /**//*临时变量：空间复杂度O(1)*/ 

    for   (i=1;   i <n+1;   i++)   /**//*时间复杂度O(n)*/   
     ...{   
          t   =   e[e[i]];   /**//*下标为e[i]的元素，排序后其值就是e[i]*/   
          e[e[i]]   =   e[i];   
          e[i]   =