DT
Если гетпроп нуллабл возвращает, но здесь именно в этом месте ты точно знаешь что он не нулл, просто прописываешь
/** @var int $prop */Size: a a a
2020 June 23
F
Там у элоквента работа с пропсами уродливая
DT
Ну я вообще
DT
Ты можешь любой тип так прописать куда угодно
A
Если гетпроп нуллабл возвращает, но здесь именно в этом месте ты точно знаешь что он не нулл, просто прописываешь
/** @var int $prop */На самом деле это подход надо дорабатывать. Он плохой.
DT
На самом деле это подход надо дорабатывать. Он плохой.
Во всякой инфраструктурой срани типа восстановление из бд у меня много так понатыкано
DT
Муторно объявлять и проверять все, когда шанс выпадения в рантайме там меньше сотой процента
P
да, у меня такой легаси код был почти весь
A
Во всякой инфраструктурой срани типа восстановление из бд у меня много так понатыкано
Как пример, справа от присваивания была функция еще не покрытая типами. Но мы знали что возвращается стринг. Прописали /** @var string */
После этого прошел рефакторинг, и теперь функция возвращет string и в типе у функции это прописано. Но псалм не будет ругаться и будет считать что там инт.
После этого прошел рефакторинг, и теперь функция возвращет string и в типе у функции это прописано. Но псалм не будет ругаться и будет считать что там инт.
P
на тайпхинтах прям в коде
P
Как пример, справа от присваивания была функция еще не покрытая типами. Но мы знали что возвращается стринг. Прописали /** @var string */
После этого прошел рефакторинг, и теперь функция возвращет string и в типе у функции это прописано. Но псалм не будет ругаться и будет считать что там инт.
После этого прошел рефакторинг, и теперь функция возвращет string и в типе у функции это прописано. Но псалм не будет ругаться и будет считать что там инт.
так это же ни на что не влияет особо
A
Т.е. такое переопределение дожно работать, если справа у нас не выведен тип или mixed или какой-то надтип типа слева. В противном случае дожно возвращать варнинг.
DT
На самом деле это подход надо дорабатывать. Он плохой.
Плюс кроме сигнатурных контрактов есть поведенческие
A
так это же ни на что не влияет особо
A
Мы пропихнули стринг на место int и псалм ничего не сказал.
P
но пых же скажет
A
но пых же скажет
В рантайме. Когда упадет. Очень вовремя.
DT
Что то не могу представить рефакторинга кода, со сменой типа и без проверки клиентов
A
В смысле без проверки клиентов?
DT
Если мне нужно поменять тип я лучше ещё функцию заведу