G
да я не говорил, что это баг
Size: a a a
2021 February 16
M(
Ну я просто
G
мне уже автор очень доступно объяснил - "просто подумай"))
M(
Просто начинай юзать arc :))
VB
я не вдуплил почему второе ошибка
M(
я не вдуплил почему второе ошибка
Потому что старый gc не может безопасно переинициализировать object variant при изменении kind
M(
arc/orc могут
G
Просто начинай юзать arc :))
ну может когда я проект допилю, ORC уже станет стандартным, действительно)
VB
Ну тут и нет переинициализации варианта. Вариант-то не меняется, лишь инициализируется переменная варианта. Или я что-то не понимаю?
G
Ну тут и нет переинициализации варианта. Вариант-то не меняется, лишь инициализируется переменная варианта. Или я что-то не понимаю?
есть переинициализация, так как неявно
anotherKind задается дефолтное значениеVB
И? В чём разница с присвоением значения в любую другую переменную?
G
Ну тут и нет переинициализации варианта. Вариант-то не меняется, лишь инициализируется переменная варианта. Или я что-то не понимаю?
вариант то меняется, точнее мы "не знаем", но должны учитывать
VB
типа
type A = object
x: int
type B = object
case v: Variant
of one:
x: int
of two:
discard
var a =A()
a.x = 1
var b = B(v: one)
b.x = 2
И вот что, оно внезапно начнёт валиться на b.x = 2? Схерали?
type A = object
x: int
type B = object
case v: Variant
of one:
x: int
of two:
discard
var a =A()
a.x = 1
var b = B(v: one)
b.x = 2
И вот что, оно внезапно начнёт валиться на b.x = 2? Схерали?
G
типа
type A = object
x: int
type B = object
case v: Variant
of one:
x: int
of two:
discard
var a =A()
a.x = 1
var b = B(v: one)
b.x = 2
И вот что, оно внезапно начнёт валиться на b.x = 2? Схерали?
type A = object
x: int
type B = object
case v: Variant
of one:
x: int
of two:
discard
var a =A()
a.x = 1
var b = B(v: one)
b.x = 2
И вот что, оно внезапно начнёт валиться на b.x = 2? Схерали?
у меня твой условный
x это другой вложенный вариантtype B = object
case v: Variant
of one:
case x: Kind
of ...
...
of two:
discardVB
а.. да, такое нельзя было.
G
хотя я сейчас понял, что в своем случае могу инициализировать варианты литералами
но может вложенные кейсы действительно не нужны :)
но может вложенные кейсы действительно не нужны :)
f
Нормально и полностью обрабатывать вложенные кейсы в объектах - проще застрелится, и используются они крайне редко
f
Количество краевых случаев просто зашкаливает относительно структуры AST, особоенно если получать его в типизированном виде
f
Так что да, 99.9% случаев они не нужны
G
Спасибо)
Осталось накостылить решение для дженериков в типах. Соответствующее RFC чёт не очень активное
Осталось накостылить решение для дженериков в типах. Соответствующее RFC чёт не очень активное