mvc-php类中有些方法只有方法名，没写内容

一般都是MVC比较底层的类里会出现这种方法，搞不清楚这个事干嘛用的。是为了覆盖方法吗？还是只做定义用？

public function isRegistered($userId);