Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl: the Markov chain saw
 
PerlMonks  

Comment on

( #3333=superdoc: print w/ replies, xml ) Need Help??


> Yes, there are times when there are much more elegant solutions
> then nested if-elses, but shouldn't the goal be simplicity over
> a blanket condemnation? I guess I'm just not seeing the why in
> "Why I Hate Nested If-Else blocks."

A series of nested conditionals forms a state machine. Every block is its own state, and every test marks a transition from one state to the next:

if ($a) { if ($b) { &S1; } else { &S2; } } else { if ($c) { &S3; } else { &S4; } }
is equivalent to:
+-----(b)->[S1]--+ | | +-----(a)->[test b]--+ |--+ | | | | | +-(not-b)->[S2]--+ | [test a]--| |-->[end] | +-----(c)->[S3]--+ | | | | | +-(not-a)->[test c]--+ |--+ | | +-(not-c)->[S4]--+

Nested conditionals work well if the machine you're building graphs out to a simply-connected binary tree, like the one above, but they become less desirable as your machine grows more complex.

Basically, the problem boils down to representing arbitrary data structures with a binary tree. There are some things you just can't do directly, like forming complex connections:

+-----(b)->[S1]-+ | | +-----(a)->[test b]-+ +---->[S5]-+ | | | | | +-(not-b)->[S2]---+ | [test a]-+ | | +->[end] | | | | | +-----(c)->[S3]-+ | | | | +-->[S6]-+ +-(not-a)->[test c]-+ | | | +-(not-c)->[S4]---+

So you have to simulate the connections by duplicating nodes:

+-----(b)->[S1]->[S5]-+ | | +-----(a)->[test b]--+ |--+ | | | | | +-(not-b)->[S2]->[S6]-+ | [test a]--| |-->[end] | +-----(c)->[S3]->[S5]-+ | | | | | +-(not-a)->[test c]--+ |--+ | | +-(not-c)->[S4]->[S6]-+

Which introduces synchronization problems.

The more complicated your machine is, the harder you have to twist it around to fit the binary-tree model of nested conditionals. And the more you twist, the harder it is to figure out what the original machine looked like while you're reading the code. In fact, since programmers often evolve code instead of designing it, I'd give strong odds that even the programmer who writes a series of nested conditionals doesn't know what kind of machine he's building, and can't prove that it's a well-formed minimal solution to the problem at hand.

So it's not that nested conditionals are inherently evil. They're quite useful when applied properly. So are gotos. And like gotos, nested conditionals give programmers a way to disguise sloppy or inconsistent thinking as complex control flow. In other words, they can make code unnecessarily complex while looking perfectly reasonable every step of the way. That's why we should use them carefully and examine them critically, not just accept them blindly.


In reply to Re: Re: Why I Hate Nested If-Else blocks by mstone
in thread Why I Hate Nested If-Else blocks by jeffa

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post; it's "PerlMonks-approved HTML":



  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • Outside of code tags, you may need to use entities for some characters:
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.
  • Log In?
    Username:
    Password:

    What's my password?
    Create A New User
    Chatterbox?
    and the web crawler heard nothing...

    How do I use this? | Other CB clients
    Other Users?
    Others avoiding work at the Monastery: (6)
    As of 2014-07-26 09:44 GMT
    Sections?
    Information?
    Find Nodes?
    Leftovers?
      Voting Booth?

      My favorite superfluous repetitious redundant duplicative phrase is:









      Results (175 votes), past polls