恩，很感谢pobel大神的解答。解决方法可能也需要偶尔的灵光一闪

data all;
   input ID  $         T $ @@;
   cards;
1 X1 1 X2 1 X5 2 X2 2 X4 3 X2 3 X3 4 X1 4 X2 4 X4 5 X1 5 X3
6 X2 6 X3 7 X1 7 X3 8 X1 8 X2 8 X3 8 X5 9 X1 9 X2 9 X3
;

%macro test(lib=work,inds=have,dsout=wanted);
    *** Count number of T- variables;
    proc sql noprint;
             select max(compress(name," ","a")) into : varnum
              from dictionary.columns
              where libname=upcase("&lib") and upcase(memname)=upcase("&inds");
    quit;

        *** All possible combinations of T- variable;
        data allgrp;
            format n 3.;
            %do i=1 %to &varnum ;
                    %do j=1 %to &i;
                    do t&j=&j to &varnum;
                %end;
                %let condition=1;
                %let sub=&i;
                %do %while(&sub ge 2);
                                %let condition=&condition and t&sub>t%eval(&sub-1);
                                %let sub=%eval(&sub-1);
                %end;
                   if &condition  then do;
                           n=n(of t1-t&varnum);
               output;
                                end;
                %do j=1 %to &i;
                    end;
                %end;
        %end;
    run;

        *** Values of T- variables;
        data _null_;
             set allgrp end=last;
                 by n;
                 array t(&varnum);
                 length varlist $40 code $1000;
                 do i=1 to n;
                    varlist=catx(",",varlist,"T"||cats(t(i)));
                 end;
                 if _N_=1 then code="Proc sql;";
                 if first.n then code=cats(code,"Create table all_",n)
                                      ||" as select distinct * from (select distinct "||cats(varlist)
                                  ||" from &lib..&inds";
             else code=" Union select distinct "||cats(varlist)||" from &lib..&inds";
                 if last.n then do;
                    code=cats(code,");");
                        end;
                 if last then code=cats(code,"quit;");
                 call execute(strip(code));
        run;

        *** Count number of IDs;
   %do i=1 %to &varnum;
       data _null_;
               set all_&i end=last;
                   length value varlist $40 code $1000;
                   array T(&i);
                   n=0;
                   do a=1 to &i;
                      value=catx(",",value,quote(strip(T(a))));
                          if index(varlist,strip(T(a)))=0 then do; n+1; end;
                          varlist=catx("*",varlist,T(a));
                   end;
                   if _n_=1 then code="Proc sql; Create table Fmt_&i as "
                              ||"select distinct "||quote(strip(varlist))|| " as start,id "
                              ||" from all where T in ("||cats(value)||") group by id having(count(*))="||cats(n);
                   else code=" union select distinct "||quote(strip(varlist))|| " as start,id "
                              ||" from all where T in ("||cats(value)||") group by id having(count(*))="||cats(n);
                   if last then code=cats(code,";quit;");
                   call execute(strip(code));
            run;
   %end;

   *** Format;
   data fmt_all;
      length start $80;
      set  %do i=1 %to &varnum;
               fmt_&i
                   %end;
          ;
   run;
      
        proc sql;
           create table fmtin as
              select distinct "I" as type, "idnum" as fmtname, start,count(distinct id) as label
                    from fmt_all
                        group by start
                union select distinct "I" as type,"idnum" as fmtname, "other" as start,0 as label
                  from fmt_all;
        quit;

        proc format cntlin=fmtin;
        run;

        *** Input;
        data _null_;
             set allgrp end=last;
                 var=compress(cats("T",of t1-t&varnum,"_count"),".");
                 length value $200 code $1000;
                   array T(&varnum);
                   value="catx('*'";
                   do a=1 to n;               
                          value=strip(value)||",T"||cats(T(a));
                   end;
                   value=strip(value)||")";

                 code=cats(var,"=input(",value,",idnum.);");
                 if _n_=1 then call execute("data &dsout; set &lib..&inds; ");
                 call execute(strip(code));
                 if last then call execute("run;");
        run;

        *** Drop temparary table;
        proc sql;
           %do i=1 %to &varnum;
             drop table all_&i;
                 drop table fmt_&i;
           %end;
           drop table allgrp;
           drop table fmtin;
           drop table fmt_all;
        quit;
%mend;

options nomprint;
*** Test1;
data have;
  input T1 $ ;
  cards;
X1  
X4  
;
%test()

*** Test2;
data have;
  input T1 $ T2  $ T3 $;
  cards;
X2        X3        X5  
X2        X5        X4
;
%test()


*** Test3;
data have;
  input T1 $ T2  $ T3  $ T4  $ T5 $;
  cards;
X1        X2        X3        X5   X2                                                                             
X1        X2        X5        X4   X4
;
%test()

谢谢大神的指点，这两天比较忙。代码运行无误，解决了format的限制，太感谢了。