今天浑浑噩噩地打完了这道题（P6242），发现样例过不去，太难受了，救救孩子！

#include <bits/stdc++.h>
using namespace std;
#define ll long long
struct tree
{
	int left,right;
	ll now_max,max_sum,sec_max,historic_max,sum,tag_k,tag_sum;
}a[2000001];
ll s[500001],n,m,z;
inline void put_(int l,int x)
{
	a[l].sum+=(a[l].right-a[l].left+1)*a[x].tag_sum;
	a[l].now_max+=a[x].tag_sum;
	a[l].sec_max+=a[x].tag_sum;
	a[l].tag_sum+=a[x].tag_sum;
	if(a[l].tag_k!=-1e9)
		a[l].tag_k+=a[x].tag_sum;
	return;
}
inline void push_down(int x)
{
	int l=x*2,r=x*2+1;
	put_(l,x);
	put_(r,x);
	if(a[x].tag_k!=-1e9)
	{
		if(a[l].now_max=a[r].now_max)
		{
			a[l].sum-=(a[l].now_max-a[x].tag_k)*a[l].max_sum;
			a[l].now_max=a[x].tag_k;
			a[l].historic_max=max(a[l].historic_max,a[l].now_max);
			a[r].sum-=(a[r].now_max-a[x].tag_k)*a[r].max_sum;
			a[r].now_max=a[x].tag_k;
			a[r].historic_max=max(a[r].historic_max,a[r].now_max);
		}
		if(a[l].now_max>a[r].now_max)
		{
			a[l].sum-=(a[l].now_max-a[x].tag_k)*a[l].max_sum;
			a[l].now_max=a[x].tag_k;
			a[l].historic_max=max(a[l].historic_max,a[l].now_max);
		}
		if(a[l].now_max<a[r].now_max)
		{
			a[r].sum-=(a[r].now_max-a[x].tag_k)*a[r].max_sum;
			a[r].now_max=a[x].tag_k;
			a[r].historic_max=max(a[r].historic_max,a[r].now_max);
		}
	}
	a[x].tag_k=-1e9;
	a[x].tag_sum=0;
	return;
}
inline void get_mes(int x)
{
	int l=x*2,r=x*2+1;
	if(a[l].now_max==a[r].now_max)
	{
		a[x].now_max=a[l].now_max;
		a[x].max_sum=a[l].max_sum+a[r].max_sum;
		a[x].sec_max=max(a[l].sec_max,a[r].sec_max);
		return;
	}
	if(a[l].now_max>a[r].now_max)
	{
		a[x].now_max=a[l].now_max;
		a[x].max_sum=a[l].max_sum;
		a[x].sec_max=max(a[r].now_max,a[l].sec_max);
		return;
	}
	if(a[l].now_max<a[r].now_max)
	{
		int dd=r;
		r=l;
		l=dd;
		a[x].now_max=a[l].now_max;
		a[x].max_sum=a[l].max_sum;
		a[x].sec_max=max(a[r].now_max,a[l].sec_max);
		return;
	}
}
void build_tree(int l,int r,int x)
{
	a[x].left=l;
	a[x].right=r;
	a[x].tag_k=-1e9;
	a[x].sec_max=-1e18;
	if(l==r)
	{
		a[x].sum=s[l];
		a[x].now_max=s[l];
		a[x].historic_max=s[l];
		a[x].max_sum=1;
		return;
	}
	int mid=(l+r)/2;
	build_tree(l,mid,x*2);
	build_tree(mid+1,r,x*2+1);
	get_mes(x);
	a[x].historic_max=max(a[x].historic_max,a[x].now_max);
	return;
}
void add(int ql,int qr,int l,int r,int x,ll k)
{
	if(ql<=l&&r<=qr)
	{
		a[x].sum+=k*(r-l+1);
		a[x].now_max+=k;
		a[x].sec_max+=k;
		a[x].tag_sum+=k;
		if(a[x].tag_k!=-1e9)
			a[x].tag_k+=k;
		return;
	}
	push_down(x);
	int mid=(l+r)/2;
	if(ql<=mid)
		add(ql,qr,l,mid,x*2,k);
	if(qr>mid)
		add(ql,qr,mid+1,r,x*2+1,k);
	get_mes(x);
	a[x].historic_max=max(a[x].historic_max,a[x].now_max);
	return;
}
void change_(int ql,int qr,int l,int r,int x,ll k)
{
	if(ql<=l&&r<=qr)
	{
		if(k>=a[x].now_max)
			return;
		if(k>a[x].sec_max)
		{
			a[x].sum-=(a[x].now_max-k)*a[x].max_sum;
			a[x].tag_k=k;
			a[x].now_max=k;
			return;
		}
	}
	push_down(x);
	int mid=(l+r)/2;
	if(ql<=mid)
		change_(ql,qr,l,mid,x*2,k);
	if(qr>mid)
		change_(ql,qr,mid+1,r,x*2+1,k);
	get_mes(x);
	a[x].historic_max=max(a[x].historic_max,a[x].now_max);
	return;
}
void plus_(int ql,int qr,int l,int r,int x)
{
	if(ql<=l&&r<=qr)
	{
		z+=a[x].sum;
		return;
	}
	push_down(x);
	int mid=(l+r)/2;
	if(ql<=mid)
		plus_(ql,qr,l,mid,x*2);
	if(qr>mid)
		plus_(ql,qr,mid+1,r,x*2+1);
	return;
}
void search_now(int ql,int qr,int l,int r,int x)
{
	if(ql<=l&&r<=qr)
	{
		z=max(z,a[x].now_max);
		return;
	}
	push_down(x);
	int mid=(l+r)/2;
	if(ql<=mid)
		search_now(ql,qr,l,mid,x*2);
	if(qr>mid)
		search_now(ql,qr,mid+1,r,x*2+1);
	return;
}
void search_history(int ql,int qr,int l,int r,int x)
{
	if(ql<=l&&r<=qr)
	{
		z=max(z,a[x].historic_max);
		return;
	}
	push_down(x);
	int mid=(l+r)/2;
	if(ql<=mid)
		search_history(ql,qr,l,mid,x*2);
	if(qr>mid)
		search_history(ql,qr,mid+1,r,x*2+1);
	return;
}
int main()
{
	std::ios::sync_with_stdio(0);
	cin>>n>>m;
	for(int i=1;i<=n;i++)
		cin>>s[i];
	build_tree(1,n,1);
	for(int i=1;i<=m;i++)
	{
		int y,l,r;
		cin>>y>>l>>r;
		ll k;
		switch (y)
		{
			case 1:
				cin>>k;
				add(l,r,1,n,1,k);
				break;
			case 2:
				cin>>k;
				change_(l,r,1,n,1,k);
				break;
			case 3:
				z=0;
				plus_(l,r,1,n,1);
				cout<<z<<endl;
				break;
			case 4:
				z=-1e18;
				search_now(l,r,1,n,1);
				cout<<z<<endl;
				break;
			case 5:
				z=-1e18;
				search_history(l,r,1,n,1);
				cout<<z<<endl;
				break;
		}
	}
	return 0;
}