ЕР
Мне нужна мапа из имен классов в их инстансы, то есть генерик на уровне массива.
Вообще вот так тайпчекается https://psalm.dev/r/05246f89af
Size: a a a
2020 July 23
A
Вообще вот так тайпчекается https://psalm.dev/r/05246f89af
Но не будет работать.
ЕР
Но не будет работать.
Что именно?
ЕР
Оно не будет следить за значениями в мапе, да
A
Что именно?
Вообще этот подход. У тебя тут генерик параметр на уровне класса. Т.е. тип T будет зафиксирован на момент создания класса.
Соответственно метод get всегда будет возвращать один и тот-же класс.
Соответственно метод get всегда будет возвращать один и тот-же класс.
A
Т.е. чтобы этот подход работал нужно перенести @psalm-template в get, тогда да, будет работать.
ЕР
Вообще этот подход. У тебя тут генерик параметр на уровне класса. Т.е. тип T будет зафиксирован на момент создания класса.
Соответственно метод get всегда будет возвращать один и тот-же класс.
Соответственно метод get всегда будет возвращать один и тот-же класс.
Не один и тот же класс, но максимум пересечение
ЕР
Я бы просто добавил второй темплейт и сделал хак с
@var, покрыть мапу типами вряд ли удастсяA
Не один и тот же класс, но максимум пересечение
Конкретно в твоем примере get всегда будет возвращать некий подкласс класса, который будет зафиксирован в генерик параметра.
ЕР
Конкретно в твоем примере get всегда будет возвращать некий подкласс класса, который будет зафиксирован в генерик параметра.
Угу, и если as object убрать, будет получаться что-то вроде
A|B|CA
Эм? Какой as object?
ЕР
Хотя о чём я, там просто mixed будет, ладно.
ЕР
Конкретно в твоем примере get всегда будет возвращать некий подкласс класса, который будет зафиксирован в генерик параметра.
A
Ну нет же.
ЕР
Ну нет же.
A
И что нам это говорит? А это нам говорит, что псалм в качестве типа Т вывел и зафиксировал тип A|B|Null.
И соответственно метод get нам всегда будет возвращать тип A|B|Null.
Чтобы эта хрень работала корректно нужно генерик-параметр вводить не на уровне класс а на уровне метода.
Тогда он будет выводится по месту использования метода.
https://psalm.dev/r/22868ce967
И соответственно метод get нам всегда будет возвращать тип A|B|Null.
Чтобы эта хрень работала корректно нужно генерик-параметр вводить не на уровне класс а на уровне метода.
Тогда он будет выводится по месту использования метода.
https://psalm.dev/r/22868ce967
ЕР
И что нам это говорит? А это нам говорит, что псалм в качестве типа Т вывел и зафиксировал тип A|B|Null.
И соответственно метод get нам всегда будет возвращать тип A|B|Null.
Чтобы эта хрень работала корректно нужно генерик-параметр вводить не на уровне класс а на уровне метода.
Тогда он будет выводится по месту использования метода.
https://psalm.dev/r/22868ce967
И соответственно метод get нам всегда будет возвращать тип A|B|Null.
Чтобы эта хрень работала корректно нужно генерик-параметр вводить не на уровне класс а на уровне метода.
Тогда он будет выводится по месту использования метода.
https://psalm.dev/r/22868ce967
Все так, я об этом и писал, ты там выше просто про класс написал а не про тип.
ЕР
Тип get можно было бы вывести, если б был способ задать соответствие ключа-значения в массиве, но увы
A
Или я неправильно тебя понимаю, или ты меня =\