Vyhodnocení Nette\DI\Statement v rozšíření

Ahoj,
narážíme na problém, který se týká validace konfigurací v Nette rozšířeních.
Problém spočívá jednoduše v tom, že dané rozšíření validuje, jestli předaná hodnota je nějakého typu. Nicméně my potřebujeme danou hodnotu nějakým způsobem získat (například z ENVu), či upravit (například přetypovat) tak použijeme v neonu zápis pro funkci:

fooExtension:
    bar: ::getenv(BAR)

V tento moment nám aplikace při generování DI containeru spadne, pokud rozšíření foo obsahuje takovouto validaci:

class FooExtension extends CompilerExtension {
    public function loadConfiguration() {
        $config = $this->>getConfig();
        Validators::assertField($config, 'bar', 'string');
    }
}

… jelikož hodnota bar obsahuje instanci objektu Nette\DI\Statement . Nabízí se námitka, že ENV proměnné by se měly nasetovat jako parametry, respektive dynamické parametry v Configuratoru a následně je takto používat. Nicméně se nám zde stejně objevuje problém s přetypováním. Pokud by rozšíření validovalo hodnotu bar jako boolean , tak by při pouhém předání parametru aplikace znova spadla, jelikož ENV proměnné obsahují pouze stringy (0|1), takže je potřeba hodnotu přetypovat na boolean. Například takto:

fooExtension:
    bar: ::boolval(%env.BAR%)

A zde se opět dostáváme k tomu, že se nám do bar dostane instance Nette\DI\Statement . Jak řešit tento problém obecně, když spousta rozšíření jsou od třetí strany a obsahují tyto validace?

Nabízí se možnost “naučit” object Statement se vyhodnotit. Samozřejmě vyhodnotit by se dalo jen to, co je možné. Pokud by například Statement obsahoval volání nějaké služby, tak by to mělo vyhodit výjimku, protože není možné volat službu v compile time. A nějakým specifickým zápisem v neonu by se “řeklo”, že právě tento Statement se má po zkompilování rovnou vyhodnotit. Tedy například něco takového:

fooExtension:
    bar: ::boolval('1') # vytvoří Nette\DI\Statement
    baz: !::boolval('1') # vytvoří Nette\DI\Statement, který se ihned vyhodnotí a výsledek se použije jakožto hodnota

Samozřejmě ten zápis může být jiný, vykřičník jsem použil jen jako příklad. Teoreticky by to mohlo fungovat bez BC breaku, jelikož výchozí chování by bylo zachováno. Je toto dobrý/správný způsob, jak by se tento problém dal řešit, či se nabízí nějaký lepší a čistější způsob?