串 s=打印串("啊啊",i,j,m);

这里的,​​啊啊​​​被弄成什么​​符[4]​​类型.

元<可转为串...N>串 打印串(N&...n){
}

在这里却通不过,因为原来的概念是这样:

元<类 T>概念 可转为串=有一个<T,串,整,极>

如果,改成

元<类 T>概念 可转为串=有一个<T,串,整,极,常符*>

这样,也不行,而且都是​​[N]​​​这种类型.然后,我们不管​​T​​的类型,这样来定义:

元<类 T>概念 可赋值串=要求(T&t,串&e){e=t;};
元<类 T>概念 可转为串=有一个<T,串,整,极>||可赋值串<T>;

然后,就可以​​打印串​​了.