A
в пыхе этой проблемы нет же
Окей, какой проблемы нет вы пхп?
Size: a a a
2020 July 27
АГ
с шаблонами.
АГ
я думал что дженерики приблизительно равно шаблоны) как в плюсах)
АГ
типа вектор неких там значений ... или лист...
АГ
т.к. динамическая типизация, одну и ту же операцию можно проводить с разными типами, оно сработает.
АГ
если оно допустимо
A
а, ну вот, получается что шаблоны и дженерики это разное... вот это для меня новость.. это уже интересная история.
ну некие различия там есть, шаблоны вроде более широкая штука, если я не путаю ничего
SP
я думал что дженерики приблизительно равно шаблоны) как в плюсах)
упрощая - да. Просто шаблоны дают больше возможностей (мета программирование).
Но по факту когда ты пишешь
Но по факту когда ты пишешь
new Container<Item> то у тебя генерится тип аля ContainerItem компиляторомA
т.к. динамическая типизация, одну и ту же операцию можно проводить с разными типами, оно сработает.
Так. Вернемся к тому, от чего мы начали. Зачем нужны типы?
SP
ну и как следствие там из-за этого есть определенный оверхэд на комбинации типов
АГ
упрощая - да. Просто шаблоны дают больше возможностей (мета программирование).
Но по факту когда ты пишешь
Но по факту когда ты пишешь
new Container<Item> то у тебя генерится тип аля ContainerItem компиляторома в пыхе это зачем? для стат анализа онли?
SP
а в пыхе это зачем? для стат анализа онли?
затем же зачем и типы - для стат анализа, для возможности выразить в коде что ты получаешь.
SP
array<Item>
АГ
типы нужны чтобы обозначить множество допустимых действий с объектом / обозначить диапазон возможных значений
SP
вот простой пример который ты должен понять
SP
у тебя есть список и списку плевать что в нем - оно это что-то хранит но никак не взаимодействует
АГ
array<Item>
не понимаю, чем это лучше чем Item[]
АГ
вот когда речь идет об Item[] vs assoc<Item> - то уже да...
SP
у тебя есть список и списку плевать что в нем - оно это что-то хранит но никак не взаимодействует
но тому кто со списком работает не плевать что в списке
A
типы нужны чтобы обозначить множество допустимых действий с объектом / обозначить диапазон возможных значений
А зачем нужно обозначать этом множество допустимых действий?