The result of the C++26 DIS ballot

(train-it.eu)

46 points | by uasi 3 hours ago

13 comments

  • groos 1 hour ago
    C++ is probably the largest, most complex programming language to ever exist. I, as a former C++ compiler developer, find it hard to keep up with the language changes. What chance does an average user have?
    • phew3 0 minutes ago
      Ossification of syntax (and features) across all languages continues, C++ is probably the most extreme example of this.

      Everyone's trying to bring in the shiniest new toys from all other languages.

      The correct way to work with C++ is to agree on the most minimal subset of features needed for consistency and productivity in your codebase, stick to those and avoid adopting 95% of the crap that's being brought in. Ignore the noise.

    • vbezhenar 11 minutes ago
      I have the same opinion. C++ was my first programming language I used at work. I feel that I was relatively proficient with it, but it was around 2005 I think. Since then I've mostly used other languages. Right now I feel I can use C with ease, in fact I periodically use it. But C++? I don't even dare.

      I guess it's fine if one specializes on C++ programming only. But when one needs to use different languages and C++ is used sporadically, I feel like it might be substantially harder than other languages.

    • dachris 21 minutes ago
      C++ was complex already 15 years ago (template metaprogramming, anyone?).

      Can't imagine what it must be nowadays.

      • RavSS 2 minutes ago
        [delayed]
      • rafaelmn 6 minutes ago
        Reading boost libraries was like reading brainfuck. In fact most of std lib source felt that way too. I never reflected on this since I stopped doing C++ 15 years ago - but yeah I have not worked with a language that's worse to read since. Maybe macro heavy lisp ?
    • mohamedkoubaa 19 minutes ago
      The best orgs have style guide that restrict features
    • zombot 1 hour ago
      Even the author of a well-known series of books about C++ has long since "given up" because the laundry list of footguns, caveats and adversarial interactions between different features has gotten too long.
      • Chaosvex 27 minutes ago
        Assuming you're talking about Scott Meyers, that's a fabrication.
    • jdw64 1 hour ago
      Going from C++11 to 14 and so on... it’s hard to keep up with those changes. And I’m reluctant to use C++—not because C++ is a bad language, but basically because it’s been used so widely, the places I work have a lot of legacy C++ code, and since each version is different, it’s hard to adapt. I know it’s not a feature everyone uses, and I know you have to define your domain according to your work and limit yourself to a subset, but C++ can do too many things, and even within that there are many overlapping ways, so it’s more confusing. When features are added, you do feel pressure to know them, right? In my head I know “C++ should be limited depending on the domain!” but the problem is that using this language means you have to know it—and even in the same domain, C++ has many different ways of doing the same thing, so it’s freeing but painful for maintenance, I think.
      • hasley 42 minutes ago
        This may not invalidate your point, but C++11 was a major step forward that, for me, made C++ feel much more convenient and modern than before. And C++14 is basically just adding/fixing stuff that should have been in C++11 in the first place.
        • jdw64 35 minutes ago
          I like C++11 too. (My introductory book was on C++11 as well—yes, it’s that book about modern C++11.) But some projects require C++14, and other times I have to use C++98.

          I’m a “traveling programmer” in Korea. But when I go out to a work site because they say I have to work on C++, as you know, there are so many versions that it’s painful.

  • code_biologist 6 minutes ago
    Went looking on reddit and other places for a good, non-political explanation of what's going on. Didn't find that, but I did find this good critique of contracts by david_chisnall: https://lobste.rs/s/rlrfew/balloting_has_completed_for_c_26#...
  • rurban 1 hour ago
    This contracts design is good, opposed to Gudstedt's variant with the semicolon.

    Because here it is trivial to make them backwards compatible, by just using a PRE() and POST() macro which are empty pre-C++26.

    The contracts_assert is either static or runtime, which the compiler can decide. Better than explicit static/asserts, which are either unnecessary or costly.

    • whizzter 11 minutes ago
      I think the big contention is yet-another "optional" feature you cannot rely on when C++ security record is so-so with regards to memory safety, and if you for "elegance" put predicates for such into contracts.. it can all go out the window even if you intended for it to be strict.

      I think defaulting all assertions to enforce would've been better with an optional soft modifier (ie "soft pre(foo)" ), as it is now it's just always assert in a trenchcoat.

  • xiaoyu2006 1 hour ago
    I can only describe current C++ as a Frankenstein. Trying to introduce modern features while having to keep compatibility is just really hard and probably not "the right way".
    • zombot 1 hour ago
      Frankenstein was the scientist. It was his "monster" that was a patchwork of all kinds of things.
      • edflsafoiewq 48 minutes ago
        But "a Frankenstein" could be his work, like "a Picasso".
        • zombot 44 minutes ago
          "a" would suggest that there was more than one. True for Picasso, not for Frankenstein. Besides, only Picasso can make "a Picasso". Everything else would be fake and plagiarism.
          • stdbrouw 3 minutes ago
            Only Rube Goldberg can make a Rube Goldberg machine?
    • HackerThemAll 1 hour ago
      That's why the world looks more favorably at Rust than C++ now.
  • weinzierl 1 hour ago
    The simplified TLDR is that ISO for the very first time did not approve a proposed C++ standard.

    9 out of 22 countries voted "no", six would have been enough. These were Denmark, Finland, Iran, Italy, Japan, Luxembourg, Romania, Spain, and Sweden. In a addition and independently only 12 of the 20 participating members approved when 14 were needed.

    The dispute is most likely because of a single feature called "contracts".

    Very simplified these are conditions placed in a function's signature that are supposed to be checked at runtime.

    The proposed implementation of this feature has been controversial from the start with prominent members of the community (Bjarne Stroustrup amongst them) expressing concerns.

  • BonusPlay 1 hour ago
    C++ has lost touch with reality a few years ago. Modules, a feature 6 years old still only have partial support [1] and are nowhere to be seen in practical use. Good luck finding g a C++ library using modules.

    This may be similar to Java vs Kotlin race, where Kotlin added improvements, while Java was still stuck in 1.8. The answer was to add as many features to the language as possible. Looks a bit like C++ is starting to do the same.

    [1] https://en.cppreference.com/cpp/compiler_support

    • delta_p_delta_x 8 minutes ago
      > Good luck finding g a C++ library using modules

      There are, surprisingly, quite a few, including some very high-profile ones.

      https://arewemodulesyet.org/projects/

    • HackerThemAll 1 hour ago
      > The answer was to add as many features to the language as possible.

      Because Java is losing market to languages with many features. Which is good. Given history of Java under Oracle supervision, and the availability of Rust, Go and C#, I won't ever touch any JRE-based language.

      • quikoa 23 minutes ago
        Great, that means fewer bloated JVM based products will be released as well.
      • rwmj 19 minutes ago
        Only on Hacker News. In the real world Java and C++ are absolutely everywhere and no one uses Rust.
        • lpapez 2 minutes ago
          This. The discussions on this site are typically oblivious to this fact. I am desperately trying to persuade a corporate client to adopt version control and here people are talking about Rust. It's like we are living on different planets.
  • zombot 1 hour ago
    What does "DIS" mean?
  • qalmakka 1 hour ago
    IMHO the current contracts are a half-baked feature that I suspect will immediately end up in most coding styles as "do not use contracts".

    I understand the concept but having a feature that's not consistent among compilers, targets, ... all while doing absolutely nothing to solve the _real_ problems with C++. Like that the build model is still the obsolete TU model of C, while adding multiple compile-time features that inevitably end up causing build times to skyrocket considerably. Or that modules are still DOA after 6 years. Or that the syntax is full of bullshit anti-features that could be at least fixed by having a proper build model (like Rust) and editions (like Rust).

    Having yet another feature that only works sometimes with quirky semantics is dumb and I understand why many people feel like it should be shelved to prioritise the features people _really_ care about, like meta

    • zombot 54 minutes ago
      > the features people _really_ care about

      And what are those? You seem to assume that "everyone" (except the committee) is in agreement about them.

      I like the editions idea. We could have a memory-safe C++ successor without being weighed down by old mistakes.

      • Vaushite 42 minutes ago
        We have one. It's called Rust.
        • Pannoniae 10 minutes ago
          Sadly it misses many features in C++, it's not really a replacement:(

          Any C++ replacement language should support all the features of C++ to be suitable...

  • macomphy 36 minutes ago
    [dead]
  • rfgplk 1 hour ago
    The C++ committee is pointless, and this is coming from a C++ expert.

    Most of the things the committee has been "working on" are realistically _side projects_ today with AI. I've made countless additions to my clang fork the most notable being a source compatible borrow checker, ie you turn it on and it tells you where you effed up. Zero source changes. Equally as correct as Rust. For any sane C++ program. The committee still isn't capable of implementing this btw.

    • spacechild1 59 minutes ago
      As a C++ you should know that the C++ committee is not responsible for implementing features.
  • chiharukiryu 1 hour ago
    Old king is still fighting but rust is just more properly for agent powered missions
  • koe123 1 hour ago
    What a mess. Can anyone give me a bull-case for why you would ever pick C++ for a new project?
    • dist-epoch 20 minutes ago
      A never-ending list of security issues that you need to fix, thus a steady stream of contractor income.

      One of the easiest ways to generate passive income.

    • IshKebab 1 hour ago
      You want to use Qt. Or you're writing for a platform where you have no choice (most microcontrollers for example).

      From a language perspective the only one I can think of is that C++ coroutines are much more powerful than what Rust gives you at the moment, even though they are very footgun-dense (quelle surprise).

      But yeah, overall there is very little reason to pick C++, especially now it's feasible to translate existing C++ to other languages.

      • muvlon 1 minute ago
        For most microcontrollers you'd want to use today (ARM and RISC-V mostly, Xtensa or AVR if you like pain) you can just use Rust.

        For anything weirder than that (PIC?) where Rust is no option, it's not like you have no choice either: You can just pick C.

      • ankurdhama 27 minutes ago
        > You want to use Qt

        But isn't using Qt like learning a whole new layer of language on top of C++, the meta compiler, signal/slot system etc and then Qt have its own set of standard classes like QString (instead of using std::string)