对拍了八十多组数据了=_=，还是没发现错误。

#include<cstdio>
#include<algorithm>
#include<cctype>
#include<cstdlib>
#include<cstring>
#include<iostream>

#define MAXN 200005
#define lson(o) (o<<1)
#define rson(o) (o<<1|1)

using namespace std;

int a[MAXN],n,m;
struct Node{
	int sum,len;
	int l,r;
	int lz,re;
	int lmax[2],rmax[2],max[2];
};

struct SMT{
	
	Node d[MAXN<<2];
	
	inline void pushup(int o){
		d[o].sum=d[lson(o)].sum+d[rson(o)].sum;
		d[o].len=d[lson(o)].len+d[rson(o)].len;
		for(int i=0;i<=1;i++){
			d[o].lmax[i]=d[lson(o)].lmax[i];
			if(i==0&&d[lson(o)].sum==0){
				d[o].lmax[i]+=d[rson(o)].lmax[i];
			}
			else if(i==1&&d[lson(o)].sum==d[lson(o)].r-d[lson(o)].l+1){
				d[o].lmax[i]+=d[rson(o)].lmax[i];
			}
			d[o].rmax[i]=d[rson(o)].rmax[i];
			if(i==0&&d[rson(o)].sum==0){
				d[o].rmax[i]+=d[lson(o)].rmax[i];
			}
			else if(i==1&&d[rson(o)].sum==d[rson(o)].r-d[rson(o)].l+1){
				d[o].rmax[i]+=d[lson(o)].rmax[i];
			}
			d[o].max[i]=d[lson(o)].rmax[i]+d[rson(o)].lmax[i];
			d[o].max[i]=max(d[lson(o)].max[i],d[o].max[i]);
			d[o].max[i]=max(d[rson(o)].max[i],d[o].max[i]);
		}
	}

	inline void build(int l,int r,int o){
		d[o].lz=-1;
		d[o].re=0;
		d[o].l=l;
		d[o].r=r;
		d[o].len=r-l+1;
		if(l==r){
			d[o].sum=a[l];
			d[o].lmax[1]=d[o].rmax[1]=d[o].max[1]=(a[l]==1);
			d[o].lmax[0]=d[o].rmax[0]=d[o].max[0]=(a[l]==0);
			return ;
		}
		int mid=(l+r)>>1;
		build(l,mid,lson(o));
		build(mid+1,r,rson(o));
		pushup(o);
	}

	inline void pushdown(int o){
		if(d[o].lz!=-1){
			d[o].re=0;
			int val=d[o].lz;

			d[lson(o)].sum=(d[lson(o)].r-d[lson(o)].l+1)*val;
			d[rson(o)].sum=(d[rson(o)].r-d[rson(o)].l+1)*val;

			d[lson(o)].lz=d[rson(o)].lz=val;
			d[lson(o)].re=d[rson(o)].re=0;
			
			d[lson(o)].max[val]=d[lson(o)].lmax[val]=d[lson(o)].rmax[val]=d[lson(o)].r-d[lson(o)].l+1;
			d[rson(o)].max[val]=d[rson(o)].lmax[val]=d[rson(o)].rmax[val]=d[rson(o)].r-d[rson(o)].l+1;

			d[lson(o)].max[val^1]=d[lson(o)].lmax[val^1]=d[lson(o)].rmax[val^1]=0;
			d[rson(o)].max[val^1]=d[rson(o)].lmax[val^1]=d[rson(o)].rmax[val^1]=0;

			d[o].lz=-1;
		}
		if(d[o].re){
			d[lson(o)].sum=(d[lson(o)].r-d[lson(o)].l+1)-d[lson(o)].sum;
 			d[rson(o)].sum=(d[rson(o)].r-d[rson(o)].l+1)-d[rson(o)].sum;
			
			if(d[lson(o)].lz!=-1)d[lson(o)].lz^=1;
			else d[lson(o)].re^=1;
			if(d[rson(o)].lz!=-1)d[rson(o)].lz^=1;
			else d[rson(o)].re^=1;

			swap(d[lson(o)].max[1],d[lson(o)].max[0]);
			swap(d[rson(o)].max[1],d[rson(o)].max[0]);
			
			swap(d[lson(o)].lmax[1],d[lson(o)].lmax[0]);
			swap(d[rson(o)].lmax[1],d[rson(o)].lmax[0]);
			
			swap(d[lson(o)].rmax[1],d[lson(o)].rmax[0]);
			swap(d[rson(o)].rmax[1],d[rson(o)].rmax[0]);
		}
	}

	inline void modify(int l,int r,int tag,int o){
		pushdown(o);
		//printf("QAQ, o=%d, l=%d, r=%d\n",o,d[o].l,d[o].r);
		if(d[o].l==l&&d[o].r==r){
			if(tag==0||tag==1){
				d[o].sum=d[o].len*tag;
				d[o].lz=tag;

				d[o].lmax[tag]=d[o].rmax[tag]=d[o].max[tag]=d[o].len;
				d[o].lmax[tag^1]=d[o].rmax[tag^1]=d[o].max[tag^1]=0;

				//puts("QAQAQ1");
			}
			else if(tag==2){
				d[o].sum=d[o].len-d[o].sum;
				d[o].re^=1;
				
				swap(d[o].max[1],d[o].max[0]);
				swap(d[o].lmax[1],d[o].lmax[0]);
				swap(d[o].rmax[1],d[o].rmax[0]);

				//puts("QAQAQ2");
			}
			return ;
		}
		int mid=(d[o].l+d[o].r)>>1;
		//puts("QwQwQ");
		if(l>mid)modify(l,r,tag,rson(o));
		else if(r<=mid)modify(l,r,tag,lson(o));
		else modify(l,mid,tag,lson(o)),modify(mid+1,r,tag,rson(o));
		//puts("OvOvO");
		pushup(o);
	}

	inline int query(int l,int r,int o){
		pushdown(o);
		if(d[o].l==l&&d[o].r==r){
			return d[o].sum;
		}
		int mid=(d[o].l+d[o].r)>>1;
		if(l>mid)return query(l,r,rson(o));
		else if(r<=mid)return query(l,r,lson(o));
		else return query(l,mid,lson(o))+query(mid+1,r,rson(o));
	}

	inline Node Q(int l,int r,int o){
		pushdown(o);
		if(d[o].l==l&&d[o].r==r){
			return d[o];
		}
		int mid=(d[o].l+d[o].r)>>1;
		if(l>mid)return Q(l,r,rson(o));
		else if(r<=mid)return Q(l,r,lson(o));
		else{
			Node tmp,L=Q(l,mid,lson(o)),R=Q(mid+1,r,rson(o));
			tmp.sum=L.sum+R.sum;
			for(int i=0;i<=1;i++){
				tmp.lmax[i]=L.lmax[i];
				if(i==0&&L.sum==0){
					tmp.lmax[i]+=R.lmax[i];
				}
				else if(i==1&&L.sum==L.len){
					tmp.lmax[i]+=R.lmax[i];
				}
				tmp.rmax[i]=R.rmax[i];
				if(i==0&&R.sum==0){
					tmp.rmax[i]+=L.rmax[i];
				}
				else if(i==1&&R.sum==R.len){
					tmp.rmax[i]+=L.rmax[i];
				}
				tmp.max[i]=L.rmax[i]+R.lmax[i];
				tmp.max[i]=max(tmp.max[i],L.max[i]);
				tmp.max[i]=max(tmp.max[i],R.max[i]);
			}
			return tmp;
		}
	}

	inline void print(){
		for(int i=1;i<=(n<<1);i++){
			printf("i=%d, sum=%d, len=%d, l=%d, r=%d, lz=%d, re=%d, lmax[0]=%d, lmax[1]=%d, rmax[0]=%d, rmax[1]=%d, max[0]=%d, max[1]=%d\n",i,d[i].sum,d[i].len,d[i].l,d[i].r,d[i].lz,d[i].re,d[i].lmax[0],d[i].lmax[1],d[i].rmax[0],d[i].rmax[1],d[i].max[0],d[i].max[1]);
			printf("————————————————————————————————————————————————-———————————————————————————————————————————————————————————————————\n");
		}
	}

};

SMT tree;

int main(void){

	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++){
		scanf("%d",&a[i]);
	}

	tree.build(1,n,1);
	//tree.print();

	while(m--){
		int opt,l,r;
		scanf("%d%d%d",&opt,&l,&r);
		opt++,l++,r++;
		//printf("%d %d %d\n",opt,l,r);
		if(opt==1){
			tree.modify(l,r,0,1);
		}
		else if(opt==2){
			tree.modify(l,r,1,1);
		}
		else if(opt==3){
			tree.modify(l,r,2,1);
		}
		else if(opt==4){
			printf("%d\n",tree.query(l,r,1));
		}
		else if(opt==5){
			printf("%d\n",tree.Q(l,r,1).max[1]);
		}
	}

	return 0;
}