this post was submitted on 08 Feb 2024
100 points (100.0% liked)

Rust

5771 readers
38 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

[email protected]

Credits

  • The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago
MODERATORS
top 23 comments
sorted by: hot top controversial new old
[–] [email protected] 17 points 7 months ago (1 children)

Oh, inspect has finally arrived! That will help a ton with debug logging.

[–] [email protected] 7 points 7 months ago* (last edited 7 months ago) (3 children)

Do you mind explaining? Maybe with the context of another languages equivalent?

[–] [email protected] 12 points 7 months ago (2 children)
let bar: Result<T, E> = ...;
let foo = bar.inspect(|value| log::debug("{}", value));

is equivalent to

let bar: Result<T, E> = ...;
let foo = bar.map(|value| {
    log::debug("{}", value);
    value
});
[–] [email protected] 1 points 7 months ago

Elegant. Thanks!

[–] [email protected] 1 points 7 months ago

Warning: in the first case "value" is actually a shared reference, not a value.

[–] [email protected] 2 points 7 months ago

Looks vaguely like Stream::peek from Java, I think? There's an equivalent method in Iterator::inspect.

[–] [email protected] 1 points 7 months ago* (last edited 7 months ago)

it's just a way to use map with a reference instead of the value, by what I understood.

could be usefull for logging values in a Result so you can see it. However I think you can already do that by just mapping and returning the variable.

[–] [email protected] 8 points 7 months ago (1 children)

TIL about std::any.

Congrats on another release! I'll try it out this weekend. :)

[–] [email protected] 10 points 7 months ago (1 children)

std::any is pretty cool. You can use it, for example, to build a map where the key is just the type of the value.

So, you could query it like this:

let maybe_position = store.find::<Position>(id);

The id is the ID of an entity which may or may not have a Position associated with it.

This is similar to just using structs/OOP, so where you'd have a Vec<Entity> and then you'd call entity.position, but the big difference lies in flexibility. An Entity type would need to have all fields defined, which may ever exist on an entity.
With this type-as-key map approach, you can just tack on new attributes to entities and dynamically react to them.

All of this is basically how the storage works in the Entity-Component-System architecture (ECS), which is popular in gamedev, for example. But both the storage method and the ECS architecture are good tools to be aware of in normal software design, too.

[–] [email protected] 2 points 7 months ago

Yeah, I thought of runtime duck typing when I saw it, which is essentially what an ECS is.

It would be pretty cool to go the next step and be able to find and call methods or discover trait implementations on the type that may not be in the signature. So something like how Go can conditionally type asset an interface to a different interface. I don't know if that's possible in a zero cost way (probably not), but it would be interesting.

[–] [email protected] 1 points 7 months ago (3 children)

So rust finally gets reflection? In stable no less!

[–] [email protected] 15 points 7 months ago (1 children)

Well, if the only thing you need from reflection is the name of a type, so then yes. But I wouldn't really call this reflection since it is very limited.

[–] [email protected] 9 points 7 months ago (1 children)

Yeah, Rust can't have proper reflection, since there's no external runtime environment that keeps track of your state. Any such smartness either has to be compiled-in (which is how std::any and macros work) or you can implement something to keep track of this state at runtime, as if you were partially building a runtime environment.

[–] [email protected] 12 points 7 months ago (2 children)

Minor point of clarification: it can't have runtime reflection, but in principle it could have compile time reflection.

[–] [email protected] 1 points 7 months ago

And compile-time reflection will probably also continue to suck due to some irreconcilable limitations of type-safe generic specialization. Oh how I would love an equivalent to C++ template parameter packs…

[–] [email protected] 0 points 7 months ago (2 children)

No, the Rust Project recently made sure that Rust can't have compile-time reflection.

[–] [email protected] 1 points 7 months ago

...yeah, that's really unfortunate. Part of why I said "in principle".

[–] [email protected] 1 points 7 months ago (1 children)

Can you expand on this? I'd love to read more on the subject.

[–] [email protected] -1 points 7 months ago

Here is a short summary. The compile-time reflection project was stopped, and now nobody wants to touch that subject any more due to fear of getting the wrath of the Rust project again (the person responsible for the whole thing is still part of the leadership).

[–] [email protected] 2 points 7 months ago (1 children)
[–] [email protected] 1 points 7 months ago (1 children)

Isn't RTTI for polymorphic classes and stored in (or around) vtables?

[–] [email protected] 2 points 7 months ago

@bwrsandman That's why I used ”More a” than ”Is a”... 😉

[–] [email protected] 1 points 7 months ago

Unfortunately, it's not guaranteed to be the same string all the time, so it's rather useless for anything but debugging and logging.