The Dark Side of C++ [pdf]

http://miek.nl/downloads/2010/c++-talk.pdf

by VeXocide • 16 years ago

22 31 16 years ago

miek.nl

fs111• 16 years ago

you should link to the original source: http://www.fefe.de/c++/

silentbicycle3• 16 years ago

The article is called "The Dark SIDE of C++".

(Must not get sucked into C++ bashing thread...)

VeXocide• 16 years ago

Fixed, thank you.

VBprogrammer• 16 years ago

I realise that if you pulled all the warts of any language together into on document it isn't going to make particularly nice reading. With C++ it is a bit like a horror story!

NewSoftzzz3• 16 years ago

Most of the problems mentioned there don't apply to the regular C++ coder in his daily life, many of the mentioned problems are even non-existant if you stick to the encouraged coding styles of modern and real OOP C++.

In practice just the template error messages suck as hell. I'd really like something nicer there, but in practice you actually survive those messages without too much wasting of time. You just ignore the error message and rather look at the line of code mentioned and then you usually find the problem rather fast by just looking at the line.

rgds, René

shin_lao3• 16 years ago

It's a compiler problem and clang is an attempt at solving it.

colinb2• 16 years ago

"encouraged coding styles of modern and real OOP C++"

Where do I go to learn those given that I work in an all C shop? One of the problems of learning C++ is the sheer profusion of material that's available, much of it written when the technology looked a lot shinier than it does now. Would you care to recommend some books or articles on C++ style that have stood the test of more than one fashion-epoch?

I'm especially worried about the [to my eyes] rather large number of keywords in C++ and the many exciting ways in which they can interact. I think this is where advice about useful patterns [sorry] might be most useful.

thanks

alexk7• 16 years ago

The book "C++ Coding Standards" by Herb Sutter and Andrei Alexandrescu is an excellent way to get up to date with modern yet pragmatic C++ style.

I also recommend the "Effective C++" series by Scott Meyers and the "Exceptional C++" series by Herb Sutter.

NewSoftzzz3• 16 years ago

I really do recommend the C++ FAQ book. There is a lite version online: http://www.parashift.com/c++-faq-lite/

Since I've read both the lite online version and the book I strongly encourage you to obtain the book version!

rgds, René

jerf• 16 years ago

Are you talking about learning OO to apply in C? Learning modern C++ OO won't help much. A little, but not much. A quick google on "object oriented c" produced a boatload of good-looking sources.

Remember, object orientation is an attribute of a program, not a programming language. A given language may encourage or even force a certain paradigm, but it's still a property of the resulting program. An "object oriented" language is simply a language in which it is difficult or impossible to produce a program that does not have that property. Object-oriented programming in C is perfectly possible, and often quite desirable. It isn't quite as slick but it's not terribly hard.

(That said, NewSoftzzz's suggestion of the C++ FAQ Lite is still a good one. I think it's just plain required reading, personally. Even if you don't program in C++, it will step you through a lot of scenarios in one very popular OO paradigm and simply by understanding one paradigm perfectly, it is easier to understand and use the next. If this seems contradictory to my first paragraph, blame English. This is theoretically helpful, learning C++ won't practically help you much in C.)

elmindreda2• 16 years ago

There's no substitute for reading good C++ code, especially larger projects that still manage to be usable, maintainable and somewhat consistent.

For example, the code of LLVM, Ogre, Box2D, bullet and the Second Life viewer, even though they're not always perfect, have all taught me useful things and all look far better than any of the large commercial C++ code bases I cut my teeth on.

huhtenberg• 16 years ago

The Dark Side of C++ is that everyone is an opinionated expert. C can be abused in a similar manner. The output of cpp is notoriously hard to read, especially if all newlines are removed :) But this is implied and understood by your average C programmer and therefore it is simply not worth discussing.

shin_lao3• 16 years ago

The "hard to read part" is not very honest. You can so similar slides for a awful lot of languages, I'm not sure I see the point. C macros, for one, introduce similar issues.

The "C++ makes auditing painful" is just flat out wrong. Any decent IDE alleviates the trivial ambiguities given as an example (references...). Auditing isn't done in just reading the code when reaching a certain size, anyway, so I'm not sure where the author wants to go.

Additionally, a properly written program is consistent, and that's true for any language. If the program you audit is inconsistent, I can feel your pain, but don't blame C++ for it.

I also don't understand what "too powerful" means. Power is relative, that C++ is too powerful for many tasks is an obvious statement but saying that it's just "too powerful full stop" is a bit silly, isn't it?

geophile2• 16 years ago

The author points out that auto_ptr is useless. shared_ptr is broken too. What do you think this program does?

    #include <stdlib.h>
    #include <tr1/memory>
    #include <iostream>

    using namespace std;
    using namespace std::tr1;

    class Node;
    typedef shared_ptr<Node> NodePtr;

    class Node
    {
    public:
        int data;
        NodePtr next;
        Node(int data, NodePtr next) : data(data), next(next) {}
        ~Node();
    };

    Node::~Node()
    {
        /* cout << "Destroying " << data << endl; */
    }

    void shared_ptr_vs_linked_list(int n)
    {
        NodePtr head;
        for (int i = 0; i < n; i++) {
            head.reset(new Node(i, head));
        }
        head.reset();
        cout << "Done " << n << endl;
    }

    int main(int argc, const char** argv)
    {
        shared_ptr_vs_linked_list(atoi(argv[1]));
        exit(0);
    }

kinghajj2• 16 years ago

I don't see the problem. The nodes of the list are freed from beginning to end, and then "Done" is printed. What's supposed to be wrong here?

geophile2• 16 years ago

Stack overflow for large n.

elmindreda2• 16 years ago

He makes a valid point; i.e. if you write bad code, your code will be bad.

ramy_d2• 16 years ago

it's hard to take an article like this seriously - i just want to make 2 highlights. he started using C++ when the STL didn't exist yet. This is ancient IMO, so his section on ever-changing standard is moot to me. if he didn't want to maintain the code base, then he should have kept using an older compiler.

second highlight, errors messages - Debugging is the first skill programmers (re)learn, so IMO it's a pretty important one. when he says "You get an error message? You start fudging the code until it compiles." is down right negligent at best - C++ will tell you at exactly in which file, at which line and in which function called from which class your error was caused (more than i can say for other languages) and, i'm sorry, but if you don't know that compiler errors wrap the code in ' ' then wtf have you been doing since the dinosaur age when C++ had no stl?

yes, the STL makes compiler errors extra long but to say you need to fudge with your code to make it work is a spray of FUD to anyone looking to get into the language.

To close this, everything he said in his "hard to read" could be applied to any languages with mutability. The code snippets he took were so small or narrow that no one could be expected to make anything of it. C++ is a strong typed language, should be read as such and evaluated as such.

silentbicycle3• 16 years ago

> To close this, everything he said in his "hard to read" could be applied to any languages with mutability.

Really? I dare you to make Python code as hard to read. It has mutability, too.

Hell, does C code have that same amount of overloading? The worst things C offers are function pointers and preprocessor hijinks* , while C++ proudly adds whole new categories of ways to make code hard to parse or reason about. (To say nothing of compile times.)

I learned C++ before the STL, too. For what the STL accomplishes, I'd rather just use OCaml. C + Lua is also nice - the division emphasizes their strong points, and each seems to keep each others' complexities in check.

* http://www.reddit.com/r/programming/comments/b507c/ask_reddi...

shin_lao3• 16 years ago

C has got macros, so it can be very hard to read too.

Generators (http://docs.python.org/tutorial/classes.html#generators) in Python can make code very hard to read as well in "hiding" a lot of complexity inside the generation.

In other words, such code:

   r = f(param)

can be a lot of different things as well.

The enter/exit clauses hide a lot of code as well, although they should be used for (de)initialization they can be abused (I've seen it).

Finally, I think you should elaborate more when you say "for what the STL accomplishes, I'd rather just use OCaml" because I don't understand what it means and I know both languages (C++ much better, admittedly).

Silhouette• 16 years ago

Please can we stop promoting these language-bashing articles?

Proposing an idea for a new language that avoids a flaw in existing languages might be interesting.

Actual implementation of such an idea in a working compiler/interpreter that we can play with might be very interesting.

Just reiterating a bunch of potential dangers in an old language is not interesting, and it's never going to be. This goes double if the presentation is subjective and/or incorrect anyway.

loufoque• 16 years ago

"Shouldn't throw exceptions in constructors"? Seriously? It's actually strongly recommended to do so.

Unlike what this article says, it works just fine: - if you throw from the constructor-initializer, it destructs all the members and the base classes that were already initialized, - if you throw from the constructor body, it destructs all local variables in scope then all members and base classes.

As for not being able to call virtual functions from base classes, there are good reasons why it is not allowed.

About bounds checking, GCC does provide a debug mode with operator[] doing bounds checking.

Local static initialization is thread-safe (see the C++0x standard)

Exception-safety is a serious issue, but solving this problem -- which is fairly easy, just use RAII -- actually leads to better and safer code.

dimatura• 16 years ago

Isn't the different behavior of at() versus operator[] in vectors intentional? So you use at() if you don't mind a small performance penalty for the sake of safety, and operator[] otherwise?

helmut_hed• 16 years ago

I like C++ but I think this article is helpful. Having come up the curve in the last few years, I notice a lot of things I stumbled on are listed... If this were titled "things to watch out for in C++" it could be a useful guide for people. Now, though, I just think "yes, that's right" for many of his points - but it won't stop me from using C++.

bad_alloc• 16 years ago

If you ever write code like template<class T> struct Loop { Loop<T*> operator->(); }; Loop<int> i, j = i->hooray; at work you are shown by the language that you have probably failed to think before you code. A plus in C++, rather than a downsinde.

If you begin to realize that you need garbage collection you probably failed while choosing the appropriate language for your project or subproblem.

Same thing here: struct a{typedef int foo;};struct a1:a{};struct a2:a{}; #define X(b,a) struct a##1:b##1,b##2{};struct a##2:b##1,b##2{}; X(a,b)X(b,c)X(c,d)X(d,e)X(e,f)X(f,g)X(g,h)X(h,i)X(i,j)X(j,k)X(k,l) X(l,m)X(m,n) n1::foo main(){}

Wich sane person would consider writing this a good idea?

The Dark Side of C++ [pdf]

Related Stories