43
I Don't Use Exceptions in C++ Anymore (thelig.ht)
submitted 2 years ago by pnutzh4x0r@lemmy.ndlug.org to c/programming@programming.dev
18 comments fedilink hide all child comments

Using exceptions in C++ desktop and server applications overall made sense to me. As I expanded my usage of C++ into other domains, specifically embedded domains, I began to experience more compelling reasons not to use exceptions first-hand...

From lobste.rs

top 18 comments
sorted by: hot top controversial new old
[-] colonial@lemmy.world 19 points 2 years ago* (last edited 2 years ago)

It's a shame that sum type support is still so lacking in C++. Proper Result types (ala Haskell or Rust) are generally much nicer to deal with, especially in embedded contexts.

As is, there's only std::expected (which can and will blow up in your face if you forget to check has_value) and std::variant, which I have heard nothing but complaints about.

[-] lysdexic@programming.dev 5 points 2 years ago

It’s a shame that sum type support is still so lacking in C++. Proper Result types (ala Haskell or Rust) are generally much nicer to deal with, especially in embedded contexts.

I don't think this is a lack of support in C++. There are already a few C++ libraries that implement Either and Result monads. It would be nice if those were supported in the C++ stand library, but that does not stop anyone from adopting them.

[-] colonial@lemmy.world 10 points 2 years ago* (last edited 2 years ago)

I would consider language support essential for "good" sum types. AFAIK, stuff like exhaustive pattern matching can't be accomplished by a library. Perhaps you could do some cursed stuff with compiler plugins, however.

(There was a library that implemented non-exhaustive pattern matching that eventually morphed into an ISO C++ proposal... so we won't see it until 2030 at the earliest /hj)

[-] qwertyasdef@programming.dev 4 points 2 years ago

At a library level, couldn't you have an opaque sum type where the only thing you can do with it is call a match method that requires a function pointer for each possible variant of the sum type? It'd be pretty cursed to use but at least it wouldn't require compiler plugins.

[-] colonial@lemmy.world 2 points 2 years ago

I'd bet five bucks some desperate Haskeller or Rustacean has implemented exactly that. You could also probably use nested functions for GCC C or lambdas in C++ to move everything inline?

[-] lysdexic@programming.dev 3 points 2 years ago

I think that pattern matching and sum types are orthogonal to monads, and aren't really relevant when discussing monads as alternatives to exceptions. C++ didn't required any of those to add std::optional or std::variant, and those are already used as result monads.

Supporting Result and Either monads in the standard would be nice, but again this does not stop anyone from adopting one of the many libraries that already provide those.

[-] marcos@lemmy.world 3 points 2 years ago

Well, if you create result types without monads, you get go.

I would say it's completely essential, but you can do with some limited implementation of them.

[-] qwertyasdef@programming.dev 3 points 2 years ago

I guess it depends on what you mean by using monads, but you can have a monadic result type without introducing a concrete monad abstraction that it implements.

[-] BatmanAoD@programming.dev 3 points 2 years ago

You seem to be ignoring the benefits of compiler support as mentioned in the comment above.

[-] lysdexic@programming.dev 1 points 2 years ago* (last edited 2 years ago)

compiler support

That remark was on sum types, not monads. You do not need "compiler support" to have Result or neither monads in C++. There are already plenty of libraries that implement those. I use them in some of my projects. No compiler support needed.

As I said, sum types are not required for Return or Either monads. At best, they are convenient.

[-] BatmanAoD@programming.dev 1 points 2 years ago

The original claim wasn't that you can't implement monads in C++, it was that compiler support is needed for "good" sum types. Unless I'm misreading, you brought monads into it. And they're not totally orthogonal: sum types are a very good way to implement monads.

[-] lysdexic@programming.dev 1 points 2 years ago* (last edited 2 years ago)

Unless I’m misreading, you brought monads into it.

You're misreading it. What do you think a 'Result' type is?

[-] BatmanAoD@programming.dev 1 points 2 years ago

Well, in Rust, it's a sum-type, with functions that also let you use it like a monad instead of using explicit pattern matching.

[-] lysdexic@programming.dev 1 points 2 years ago* (last edited 2 years ago)

Well, in Rust, it’s a sum-type

The discussion is on to use monads in C++, and not on why is C++ different than Rust.

I repeat: you do not need sum types to implement a Result monad in C++.

[-] BatmanAoD@programming.dev 1 points 2 years ago

The discussion was about sum types. The top-level comment, the one to which you originally responded, says:

It's a shame that sum type support is still so lacking in C++. Proper Result types (ala Haskell or Rust) are generally much nicer to deal with, especially in embedded contexts.

[-] starman@programming.dev 14 points 2 years ago* (last edited 2 years ago)

Don't use ~~exceptions in~~ C++ anymore

/s

[-] asyncrosaurus@programming.dev 6 points 2 years ago

Don’t use ~~exceptions in~~ C++ anymore

~~/s~~

[-] MarekKnapek@programming.dev 8 points 2 years ago

Another alternative to C++ exceptions (instead of return code) is to use global (or thread local) variable. This is exactly what errno that C and POSIX are using or GetLastError what Windows is using. Of course, this has its own pros and cons.

this post was submitted on 19 Aug 2023
43 points (100.0% liked)

Programming

23679 readers
582 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

founded 2 years ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
MaungaHikoi@lemmy.nz
UlrikHD@programming.dev