AN
Будет краш
Так в любом случае будет, если твой family определяется динамически. А даже если статически, то будет краш на той функции, которую ты описал
Size: a a a
2021 March 16
Kd
Будет краш
так контролируй его
Kd
кидай сам
отдай нул
отдай нул обжект
отдай езер
отдай нул
отдай нул обжект
отдай езер
AN
Суть в том, что все эти тайп-сейф-фичи хороши, когда программа вся с начала и до конца в закрытом мире, а тут явно не тот случая
(
Так в любом случае будет, если твой family определяется динамически. А даже если статически, то будет краш на той функции, которую ты описал
Все фемили, которые я пишу, известны статически, соответственно, во всех местах, где я ентити достаю из енжина по фемили, это можно сделать тайпсейфно.
Единственное место, где фемели не известны статически, это там, где их создание не компилируется - в луа скриптах
И вытаскивание можно закодить так, чтобы компилятор ругался, если я вытаскиваю компонент, которого там нет
Единственное место, где фемели не известны статически, это там, где их создание не компилируется - в луа скриптах
И вытаскивание можно закодить так, чтобы компилятор ругался, если я вытаскиваю компонент, которого там нет
(
Я могу пример на х-ле написать, если кто-нибудь его поймет
AN
Все фемили, которые я пишу, известны статически, соответственно, во всех местах, где я ентити достаю из енжина по фемили, это можно сделать тайпсейфно.
Единственное место, где фемели не известны статически, это там, где их создание не компилируется - в луа скриптах
И вытаскивание можно закодить так, чтобы компилятор ругался, если я вытаскиваю компонент, которого там нет
Единственное место, где фемели не известны статически, это там, где их создание не компилируется - в луа скриптах
И вытаскивание можно закодить так, чтобы компилятор ругался, если я вытаскиваю компонент, которого там нет
Да все тут понятно. Но
entities = engine.getFor(family) все равно упадет в рантайме если нет соответствия. Другое дело, что оно упадет рано - это хорошо.(
Да все тут понятно. Но
entities = engine.getFor(family) все равно упадет в рантайме если нет соответствия. Другое дело, что оно упадет рано - это хорошо.Что значит нет соответствия? Если в енжине нет ентити для переданной фемили, то вернется пустой лист
AN
Что значит нет соответствия? Если в енжине нет ентити для переданной фемили, то вернется пустой лист
А чем это спасает и от чего?
(
А чем это спасает и от чего?
Кто от чего спасает? Что пустой лист будет?
AN
Кто от чего спасает? Что пустой лист будет?
Ну чем это лучше того, что потом проверка будет
(
Ну чем это лучше того, что потом проверка будет
Я потерял мысль. Проверка чего?
AN
Ты говоришь, что твои любимые хлисты спасут от крэша. Чем они спасают, если что там, что там может быть missing element. Ты его что там, что там можешь обработать без крэша
VP
Konstantin dmz9
а если серьезно - разве ошибка приведения типов самая распространенная среди всех ошибок программирования?
Вся суть в том, чтобы логические ошибки превратить в ошибки приведения типов. Тогда их сразу видно, и ловить проще.
(
Ты говоришь, что твои любимые хлисты спасут от крэша. Чем они спасают, если что там, что там может быть missing element. Ты его что там, что там можешь обработать без крэша
Так я же и говорю, что функцию для доставания компонента по типу можно сделать некомпилируемой, если она вызывается на ентити, у которой статически известно, какие компоненты там есть
AN
Вся суть в том, чтобы логические ошибки превратить в ошибки приведения типов. Тогда их сразу видно, и ловить проще.
Так тут нет поведения типов. Есть динамический разбор структуры
(
Опять же, при условии, что у вас в языке есть тайп фемели
ML
А наследование?
ECS же как раз анти-наследование
AN
Так я же и говорю, что функцию для доставания компонента по типу можно сделать некомпилируемой, если она вызывается на ентити, у которой статически известно, какие компоненты там есть
Я тебе не про это. А про то, что когда ты саму entity собираешь, у тебя уже может быть фейл. А дальше вопрос в том, насколько разнообразные entity тебе нужны. Сколько у тебя их варианто?
AN
ECS же как раз анти-наследование
Речь была про наследование в типах параметров