思路:操作有两种,区间覆盖以及区间加,所以可以维护两个lazy,一个用来标记覆盖操作cover,一个用来标记加操作add,每次进行覆盖操作先将add清零,因为无论怎么加最后都要直接覆盖,先进行加操作再进行覆盖操作,则加操作没有意义,所以在每次进行覆盖操作时直接清空add即可,每次cover都会将add清空,所以一旦既存在cover又存在add则一定add是在cover之后加上去的,所以一定是先cover再add
ac代码:
#include<bits/stdc++.h>
#define endl '\n'
#define ll long long
// #define INF 0x3f3f3f3f
#define pb push_back
#define int long long
#define Mirai ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
using namespace std;
typedef pair<int,int> pii;
const int N=1e6+10,INF=1e16;
struct Tree
{
int l,r;
ll max;
ll cover,add;
}tr[N<<2];
int w[N];
int n,q,op,l,r,k;
void pushup(int u)
{
tr[u].max=max(tr[u<<1].max,tr[u<<1|1].max);
}
void pushdown(int u)
{
if(tr[u].cover!=INF)
{
tr[u<<1].max=tr[u<<1|1].max=tr[u].cover;
tr[u<<1].cover=tr[u<<1|1].cover=tr[u].cover;
tr[u<<1].add=tr[u<<1|1].add=0;
tr[u].cover=INF;
}
if(tr[u].add)
{
tr[u<<1].max+=tr[u].add,tr[u<<1|1].max+=tr[u].add;
tr[u<<1].add+=tr[u].add,tr[u<<1|1].add+=tr[u].add;
tr[u].add=0;
}
}
void modify(int u,int l,int r,ll k,int op)
{
if(tr[u].l>=l&&tr[u].r<=r)
{
if(op==1)
{
tr[u].max=tr[u].cover=k;
tr[u].add=0;
return ;
}
else
{
tr[u].max+=k;
tr[u].add+=k;
return ;
}
}
pushdown(u);
int mid=tr[u].l+tr[u].r>>1;
if(l<=mid)modify(u<<1,l,r,k,op);
if(r>mid)modify(u<<1|1,l,r,k,op);
pushup(u);
}
void build(int u,int l,int r)
{
if(l==r)tr[u]={l,r,w[l],INF,0};
else
{
tr[u]={l,r,0,INF,0};
int mid=l+r>>1;
build(u<<1,l,mid);
build(u<<1|1,mid+1,r);
pushup(u);
}
}
ll query(int u,int l,int r)
{
if(tr[u].l>=l&&tr[u].r<=r)return tr[u].max;
pushdown(u);
int mid=tr[u].l+tr[u].r>>1;
int res=-INF;
if(l<=mid)res=max(res,query(u<<1,l,r));
if(r>mid)res=max(res,query(u<<1|1,l,r));
return res;
}
void solve()
{
cin>>n>>q;
for(int i=1;i<=n;i++)cin>>w[i];
build(1,1,n);
while(q--)
{
cin>>op>>l>>r;
if(op==1||op==2)
{
cin>>k;
modify(1,l,r,k,op);
}
else
{
cout<<query(1,l,r)<<endl;
}
}
}
signed main()
{
Mirai;
int T=1;
//cin>>T;
while(T--)
{
solve();
}
}