this post was submitted on 13 Jun 2024
42 points (97.7% liked)

Rust Programming

8141 readers
38 users here now

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 7 points 4 months ago (2 children)

I only really understand half of it without getting my fingers on it, but sounds like some good stuff.

The path::absolute() that's hidden in the stabilized items is definitely something I've wanted for a while, though.

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

The two biggest things are lifetime extensions and inline consts. Both will allow you to write more concise code and, in the case of lifetime extensions, may help eliminate some bugs, since you won't need to work around that limitation anymore.

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

Yeah, I'm imagining, I've run into these problems in the past and then the compiler told me to do it differently and so I did. I'm definitely glad that such unobvious behavior is being reduced, I just probably won't realize until I'm writing similar code the next time and the compiler does not complain.

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

Yeah exactly! It's a great case of "invisible" improvements.

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

Inline consts also let you perform static assertions, like asserting a type parameter is not a zero-sized type, or a const generic is non-zero. This is actually pretty huge since some checks can be moved from runtime to compile time (not a lot of checks, but some that were difficult or impossible to do at compile time before).

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

I'm not really sure I get the usefulness of this absolute function. It still returns relative paths if the input was relative and it doesn't resolve "..". What would you use it for where canonicalize doesn't work for you?

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

Well, as it says in the documentation I linked:

unlike canonicalize absolute does not resolve symlinks and may succeed even if the path does not exist.

Primarily, the latter part is what I want. There's just sometimes situations where a path doesn't exist (yet), but you want to know what it would look like as an absolute path.

[–] [email protected] 2 points 4 months ago* (last edited 4 months ago)

In 99% of those cases you would want it to resolve .. components though.

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

It still returns relative paths if the input was relative

False

and it doesn’t resolve “…”

I'll assume you meant .., since ... is an ordinary filename. (Aside from the "who remembers ...?" feature introduced in Windows 95's COMMAND.COM where cd ... was shorthand for doing cd .. twice and you could omit the space after cd if your target was all dots.)

The reason it doesn't do that is that, when symlinks get involved, /foo/bar/.. does not necessarily resolve to /foo and making that assumption could introduce a lurking security vulnerability in programs which use it.

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

Hm it seems I misread the documentation there. I know why it doesn't resolve the ".." and that's fine, it just seemed very unnecessary in combination with my flawed understanding of the relative path handling.

Edit: and just to be snarky: I didn't type "..." I typed "..". ;)

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

Edit: and just to be snarky: I didn’t type “…” I typed “…”. ;)

*chuckle* I think Lemmy typed those for you, because I typed three periods and got a Unicode ellipsis, and both of those are also unicode ellipses.

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

Huh that might actually be an issue with your client, mine renders those as two dots

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

I'm using the web UI, so I'm assuming whatever broad-spectrum Markdown rendering library it uses has smart quote rendering turned on.