有人知道:int[]是什么意思吗?它出现在"and“之后的每个"case”处。array_length(array_remove(company_profiles.blocked_trails_ids,null),1) IS NOT NULL) and array[trails.id]::intarray_remove(company_profiles.blocked_components_ids,null),1) IS NOT NULL) and array[components.id]::i