The library should not be allowed to bring things in to eat, right? Let's see if he asks. If he does, he is not allowed to bring anything in to eat. If he doesn't ask, he should also pack up his things after eating, so as not to bring some inconvenience to the following readers and learners. It is best to eat in the canteen, or go to the library after eating out.