@Vudaltsov Ты на стриме по валидатору говорил, что можно псалмом

Question

@Vudaltsov Ты на стриме по валидатору говорил, что можно псалмом

вывести тип из return метода class-string<T>.
Чёт у меня не получается. Что я делаю не так? Или я не так понял. Знаю, что через template-extends можно сделать.
https://psalm.dev/r/db77834a52

#php #programming #russian

0

10.12.2020

7 ответов

23 просмотра

knopkod4v

по идее тип определяется в момент вызова метода. Т.е. если бы class-string<T> был параметром, тогда можно было бы вывести возвращаемое значение в соответствии с типом переданного параметра 🤔

0

10.12.2020

Vlad Petrov Автор вопроса

Хз. Но думаю, что можно однозначно определить тип, если он возвращается, как class-string из метода, если других методов определение не применить. Просто от Валентина слышал такое, вот решил себе заюзать, не пошло.

0

10.12.2020

knopkod4v

тогда непонятно есть 2 метода, которые возвращают что-то с Т Тогда как однозначно определить, что возвращаемое значение одного метода, зависит от другого, а не наоборот? Другими словами почему возвращаемое значение метода create должно зависеть от возвращаемого значения foo, а не возвращаемое значение foo должно зависеть от возвращаемого значения create ? 🤔

0

10.12.2020

Vlad Petrov Автор вопроса

Что мешает им взаимно зависеть от друг друга, и например 1я декларация имеет приоритет.

0

10.12.2020

knopkod4v

приоритет - это уже определение зависимости, "взаимно" тут уже не подходит

0

10.12.2020

Vlad Petrov Автор вопроса

Ну может быть. У меня и так было через template-extends с абстрактным классом. Думал попробовать покрасивее сделать, но походу так не работает