在文章https://docs.phalcon.io/3.4/en/api/phalcon_di 中有一段程式碼是
$di->setShared(
    "request",
    function () {
        return new Request();
    }
);
$request = $di->getRequest();
但我看原碼https://github.com/phalcon/cphalcon/blob/master/phalcon/Di.zep 沒有看到有getRequest,就我的理解,好像它能以setShared中第一個參數去建一個getter,如此例 "request" 的getter為getRequest,這是怎麼做到的呢?