Is there a semantic difference between '! views[i].null()' and 'views[i].size() != 0'?