样例过了，提交20分，求调

自己调了好久，成功地把RE调成了WA。。

#include<iostream>
#include<cmath>
#include<cstdio>
#include<algorithm>
#define ll long long
using namespace std;
ll n;
ll a[1000020];
struct node{
    ll l,r,lz,mx,sl;
}tree[4000020];
void build (ll k,ll l,ll r){
    tree[k].l=l;
    tree[k].r=r;
    tree[k].lz=0;
    tree[k].sl=0;
    if(l==r){
        tree[k].mx=a[l];
        return;
    }
    ll mid,lc,rc;
    lc=2*k;
    rc=2*k+1;
    mid=l+(r-l)/2;
    build(lc,l,mid);
    build(rc,mid+1,r);
    tree[k].mx=max(tree[lc].mx,tree[rc].mx);
}
void lazy(ll k,ll v){
    tree[k].mx=v;
    tree[k].lz=v;
    tree[k].sl=0;
}
void pushdown(ll k){
    lazy(2*k,tree[k].lz);
    lazy(2*k+1,tree[k].lz);
    tree[k].lz=0;
}
void p_pushdown(ll k){
    ll mid,lc,rc;
    lc=2*k;
    rc=2*k+1;
    mid=(tree[k].l+tree[k].r)/2;
    tree[lc].sl+=tree[k].sl;
    tree[rc].sl+=tree[k].sl;
    tree[k].sl=0;
}
void update(ll k,ll l,ll r,ll v){
    if(tree[k].l>=l&&tree[k].r<=r){
        lazy(k,v);
        pushdown(k);
        return;

    }
    if(tree[k].lz!=0)pushdown(k);
    ll mid,lc,rc;
    lc=2*k;
    rc=2*k+1;
    mid=(tree[k].l+tree[k].r)/2;
    if(l<=mid)update(lc,l,r,v);
    if(r>mid)update(rc,l,r,v);
    tree[k].mx=max(tree[lc].mx,tree[rc].mx);

}
void p_update(ll k,ll l,ll  r,ll v){
    if(tree[k].l>=l&&tree[k].r<=r){
        tree[k].mx+=v;
        if(tree[k].lz!=0)tree[k].lz+=v;
        else tree[k].sl+=v;
        p_pushdown(k);
        return;
    }
    if(tree[k].lz!=0)pushdown(k);
    if(tree[k].sl!=0)p_pushdown(k);
    ll mid,lc,rc;
    lc=2*k;
    rc=2*k+1;
    mid=tree[k].l+(tree[k].r-tree[k].l)/2;
    if(l<=mid)p_update(lc,l,r,v);
    if(r>mid)p_update(rc,l,r,v);
    tree[k].mx=max(tree[lc].mx,tree[rc].mx);

}
ll query(ll k,ll l,ll r){
    if(tree[k].l>=l&&tree[k].r<=r){
        return tree[k].mx;
    }
    if(tree[k].lz!=0)pushdown(k);
    ll maxx=-1e15-1;
    ll mid,lc,rc;
    lc=2*k;
    rc=2*k+1;
    mid=(tree[k].l+tree[k].r)/2;
    if(l<=mid)maxx=max(maxx,query(lc,l,r));
    if(r>mid)maxx=max(maxx,query(rc,l,r));
    return maxx;
}
int main(){
    ll q;
    cin>>n>>q;
    for(int i=1;i<=n;i++){
        cin>>a[i];
    }

    build(1,1,n);
    for(int i=1;i<=q;i++){
        int op;
        ll l,r,x;
        cin>>op;
        if(op==1){
            cin>>l>>r>>x;
            update(1,l,r,x);
        }
        else if(op==2){
            cin>>l>>r>>x;
            p_update(1,l,r,x);
        }
        else if(op==3){
            cin>>l>>r;
            cout<<query(1,l,r)<<endl;
        }
    }
    return 0;
}