[4.5] ZScript: Cannot push TextureID to array<TextureID>

[m8f]

Consider the code:

Code: Select all • Expand view

array<TextureID> b;
TextureID t = TexMan.checkForTexture("titlepic", TexMan.Type_Any);

Straightforward attempt to populate the array won't succeed:

Code: Select all • Expand view

b.push(t);

Running a mod with such code results in error: "Numeric type expected, got a name".

However, casting TextureID to int works:

Code: Select all • Expand view

b.push(int(t));

So, it's possible to create an array of TextureIDs but it's impossible to fill it without type casting. This is inconvenient and looks hacky.

Questions:
1. Is a bug or ZScript limitation?
2. If it's a ZScript limitation, is it safe to cast TextureID to int? I see that C++ TextureID counterpart, FTextureID, consists of a single int, so for now type casting is probably safe. Will it remain so?

Runnable example:

textureid-array.pk3

[Graf Zahl]

Most likely this is an oversight in the type checking system. TEchnically casting between int and TextureID should be safe, it's just a type safe wrapper around an index.

[Player701]

Also see here for a similar report regarding arrays of names, which was for some reason closed as "Duplicate" without any further remarks. Is one of the developers a time traveler?

[Rachael]

Is one of the developers a time traveler?

We all are. It's a perk.

So's the Tardis but we keep those well hidden.

[Apeirogon]

Huh, I remember that I reported it. Or I wanted to report it? Or that was on another forum?
Hmmmm, something really wrong with this reality. Time to jump to another dimension, before something bad happ