PAT1045 以下两段代码，只有打印输出部分不同，但是代码2可以AC，代码1不行，差别在哪里？

代码1：

 //pat1045v1
#include <stdio.h>
#include <stdlib.h>
int cmp(const void* a,const void* b){
    return *(int*)a-*(int*)b;
}
int main(){
    int n,i,j,max=0,k=0;    scanf("%d",&n);
    long int a[n],b[n];
    for(i=0;i<n;i++){
        scanf("%ld",&a[i]);
        b[i]=a[i];
    }   
    qsort(b,n,sizeof(long int),cmp);
    int res[n];

    for(i=0;i<n;i++){
        if(a[i]>max)    max=a[i];
        if(max==a[i]&&a[i]==b[i])   res[k++]=a[i];
    }
    printf("%d\n",k);
    for(i=0;i<k;i++)
        printf("%d%c",res[i],i==k-1?'\n':' ');
    return 0;
}

            代码2：

//pat1045v1
#include <stdio.h>
#include <stdlib.h>
int cmp(const void* a,const void* b){
    return *(int*)a-*(int*)b;
}
int main(){
    int n,i,j,max=0,k=0;    scanf("%d",&n);
    long int a[n],b[n];
    for(i=0;i<n;i++){
        scanf("%ld",&a[i]);
        b[i]=a[i];
    }   
    qsort(b,n,sizeof(long int),cmp);
    int res[n];

    for(i=0;i<n;i++){
        if(a[i]>max)    max=a[i];
        if(max==a[i]&&a[i]==b[i])   res[k++]=a[i];
    }
    printf("%d\n",k);
    for(i=0;i<k;i++)
        if(i==0)
             printf("%d",res[i]);
       else
            printf(" %d",res[i]);
    printf("\n");
    return 0;
}

两个代码不等价，当k=0的时候，第一个程序不会循环，也不会输出换行。