2003-02

<body stylesrc="index.html" background="images/Bkgrnd02T2.gif"> <table border="0" cellpadding="6" cellspacing="0" width="810"> <tr> <td align="right" valign="top" height="1" width="170"> <p align="center"><img border="0" src="images/Accent03.gif" align="left" width="142" height="37"> </p> <p align="left"><b><font size="2">March 2003 - Vol. 4 No. 3</font></b></p> </td> <td height="1" width="612"> <p align="center">  <a href="index.html" target="_top">[Home]</a> <a href="Newsletters.html" target="_top">[Up]</a> <a href="Dummy-Next-Issue.html" target="_top">[Next]</a> <a href="2003-02.html" target="_top">[Previous]</a></td> </tr> <tr> <td valign="top" height="529" bgcolor="#FFFFCC" width="170"> <font size="2"> <p><a href="#TechTalk"><b>Tech Talk</b></a><br> <a href="#C++ Template Corrections">C++ Template Correctons</a> </p> <p><a href="#Thru the Looking Glass"><b>Thru the Looking Glass</b></a><br> <a href="#Language Development —Function Overloading">Language Development - Function Overloading</a> </p> <p><a href="#Editorial"><b>Editorial</b></a><br> <a href="#Owning Up">Owning Up</a><a href="#Backing Down"><br> Backing Down</a><a href="#Microsoft, Crooks and Liars"><br> Microsoft, Crooks and Liars</a> </p> <p><a href="#Book Reviews"><b>Book Review</b></a><br> <a href="#Agile Software Development Ecosystems">Agile Software Development Ecosystems</a> </p> <p><a href="#Trends"><b>Trends</b></a><br> <a href="#Bottomed Out - Part 2?">Bottomed Out - Part 2?</a></font></p> <p>  </td> <td height="277" bgcolor="#FFCC99" width="612"> <b> <h1><a name="TechTalk"><font color="#000000">Tech Talk</font></a></h1> </b> <font FACE="Arial"> <h2><a name="C++ Template Corrections">C++ Template Corrections</a></h2> </font><i> <p>By Terje Slettebø</p> <p><font FACE="Arial">[In January’s issue, I made a serious mistake. Terje does a terrific job of pointing it out. Also, he made some other interesting points.]</font></p> </i> <h3><font FACE="Arial">The Problem</font></h3> <p>I've read your article "C++ Templates" in Overload, February (reprinted from the ACCU USA website). I've also read "C++ Templates" by Josuttis and Vandevoorde. Just a few comments. In the article, it says:</p> <div align="left"> <blockquote> <table border="1" width="313"> <tr> <td width="303" bgcolor="#FFFFFF"><font FACE="Courier New">>> typedef int *PINT;<br> >> typedef PINT const CPINT;<br> >> typedef const PINT PCINT;</font></td> </tr> </table> </blockquote> </div> <p>Here we can see that the first typedef (pointer to int) can be used in the second typedef (const pointer to int). The third typedef completely changes the meaning of the type (pointer to const int).</p> <p>Actually, it does not. In both the second and third typedef, the type is const pointer to int. This is also shown in Josuttis and Vandevoorde. The point is that the typedef is _not_ the same as textual substitution. The point in the book is that if you put const after the type, then the typedef will be the same _as if_ textual substitution was used. I.e.:</p> <blockquote> <table border="1" width="292"> <tr> <td width="282" bgcolor="#FFFFFF"><font FACE="Courier New">typedef PINT const CPINT;<br> typedef int * const CPINT;</font></td> </tr> </table> </blockquote> <p>Whereas in the following, it means something different:</p> <blockquote> <table border="1" width="290"> <tr> <td width="280" bgcolor="#FFFFFF"><font FACE="Courier New">typedef const PINT CPINT;<br> typedef const int * PCINT;</font></td> </tr> </table> </blockquote> <p>While I'm at it:</p> <blockquote> <table border="1" width="292"> <tr> <td bgcolor="#FFFFFF" width="282"><font FACE="Courier New">>> typename </font>Keyword</td> </tr> </table> <p><font FACE="Courier New">>></font>Historically, we have used the <font FACE="Courier New">keyword</font>, class, in template parameter lists:</p> </blockquote> <p>>> template< class T > . . .</p> <p>>>However, T could be replaced by things other than a class name, so the use of the new keyword typename is preferred.</p> <p>I know Josuttis/Vandevoorde recommends this in the book. However, there's not uniform consensus on this issue. There was a discussion about this at Boost a while ago, and some, such as Dave Abrahams, commented that he prefers "class" to typename, for a couple of reasons:</p> <ul> <li>It's shorter</li> <li>"typename" may also be used in other parts of a template parameter list, so it may more difficult to read. This is of course very subjective. For example:</li> </ul> <blockquote> <table border="1" width="425"> <tr> <td width="415" bgcolor="#FFFFFF"><font FACE="Courier New">template<typename T1, typename T1::type></font></td> </tr> </table> </blockquote> <p>Is this two type parameters? No, it's one type, and one non-type.</p> <p>Compare this to:</p> <blockquote> <table border="1" width="383"> <tr> <td width="373" bgcolor="#FFFFFF"><font FACE="Courier New">template<class T1,typename T1::type></font></td> </tr> </table> </blockquote> <p>Here, "class" stands out as the one type parameter.</p> <p>>> Partial Specialization</p> <p>>>When a template class or function has more than one template parameter, one or more may be specified creating a partially specialized template.</p> <p>Not quite. As I assume you know, partial specialization of function templates is not allowed. However, you may overload function templates, getting much of the same effect as partial specialization. What you are showing in the article is function template overloading.</p> <p>The distinction is important, since they work differently, and there's also a formal proposal to add partial specialization of function templates to the language. Your article makes it seem as if they are already there.</p> <p>However, in both cases of class and function templates, there's a partial _ordering_ of the templates.</p> <p>I've got some practice with both specialization and overloading, since I'm working on a Boost lexical_cast proposition (<a href="http://groups.yahoo.com/group/boost/files/lexical_cast_proposition/">http://groups.yahoo.com/group/boost/files/lexical_cast_proposition/</a>), where the earlier version used partial specialization of a helper class template, while I've recently changed it to use function template overloading.</p> <p>>>Non-type template parameters have restrictions: they must be integral values, enumerations, or instance pointers with external linkage. They can't be string literals nor global pointers since both have internal linkage.</p> <p>Global pointers having internal linkage? Isn't the problem rather that they are not integral constant expressions, or pointer or reference to functions, etc.?</p> <p>The following, if at file scope, surely has external linkage:</p> <blockquote> <table border="1" width="126"> <tr> <td width="116" bgcolor="#FFFFFF"><font FACE="Courier New">int *ptr;</font></td> </tr> </table> </blockquote> <p>>>Generally, prefix all declarations using template parameters with typename.</p> <p>Again, I find this imprecise. You're only supposed to do that if you denote a _type_, not “all declarations using template parameters”. I agree with the recommendation of the book, though.</p> <p>I've occasionally read articles at the ACCU USA site, and it's a while since I've been there now, and I see you've written quite a few of them, so I'll read up on that site. Hopefully, I'll have a more positive mail next time.</p> <p>You may find this feedback harsh, but after all, as published articles reach many people, so correctness is important.</p> <p>Regards,</p> <p><i>Terje</i></p> <b> <i> <h2><font face="Arial"><a name="Thru the Looking Glass">Thru the Looking Glass</a></font></h2> </i> </b> <i> <p>by <a href="Author-FrancisGlassborow.html">Francis Glassborow</a></p> </i> <b> <h2><font face="Arial"><a name="Language Development —Function Overloading">Language Development —Function Overloading</a></font></h2> </b> <p>Before I deliver some promised thoughts on the subject of function overloading, particularly for C, I need to correct a think from my last column. I wrote that some unnamed member of J16 invented <font FACE="Courier New">volatile</font> as a keyword. Of course I meant to write J11. The point being that those two keywords had been introduced by the different languages and adopted by the other one. And now to my topic for this month.</p> <p>Function overloading is a great idea if used correctly. It allows programmers to provide alternate bodies to functions that depend on the types of the data provided by the arguments. When programmers understand that they come to recognise the essential requirement that overloads need to be contained within a declarative region. Well that is the C++ way of doing. C++ has various added forms of declarative region such as class and namespace scopes. Programmers need to learn to use these in order to avoid gratuitous overloading brought about by simple coincidence of name (e.g. draw applied to a shape and draw applied to a gun.)</p> <p>Some C++ programmers do not understand the tight binding between overloading and declarative scopes. Without the ability to declare a function other than in global scope overloading becomes a serious menace. A library implementer adds a new function to one of their header files and thereby silently breaks a customers code because it accidentally overloads one of the customer's functions. Though not perfect, namespaces go a long way to dealing with this potential for damage.</p> <p>C has only two levels at which a function can be declared, global and file. The latter is fine for internal mechanisms that never need to be seen outside the file in which they are used, but mostly functions will be declared at global scope. The limited declarative scopes for functions in C make the C++ overloading mechanism too dangerous to seriously consider. Nonetheless C needs overloading as is demonstrated by the type-generic maths functions that were introduced in the 1999 release of the C Standard.</p> <p>The problem I have with this is that that mechanism is reserved for use in the Standard C Library and is not extensible to other libraries.</p> <p>I believe that C needs a mechanism to provide tightly controlled function overloading that is available to all C programmers to use. The idea that I have is to provide a new form of declaration that declares a name as the generic name for a group of functions. Something like:<br> </p> <div align="left"> <blockquote> <table border="1" width="373"> <tr> <td width="363" bgcolor="#FFFFFF"><font FACE="Courier New">overload gamma <br> {<br>   float fgamma(float);<br>   double dgamma(double);<br>   long double lgamma(long double);<br> }</font></td> </tr> </table> </blockquote> </div> <p>Now the programmer can call <font FACE="Courier New">gamma(0.4)</font> and the compiler will recognise that as <font FACE="Courier New">dgamma(0.4)</font> but if you write <font FACE="Courier New">gamma(f)</font> (where f is a float variable) it will use <font FACE="Courier New">fgamma(f)</font>.</p> <p>Obviously we would need to get the exact syntax and constraints right but it seem to me that this would allow C to have a form of overloading without the cost of new declarative regions. We could use this mechanism to solve the const correctness issue that I wrote about last time. I could write:<br> </p> <div align="left"> <blockquote> <table border="1" width="536"> <tr> <td width="526" bgcolor="#FFFFFF"><font FACE="Courier New">overload strstr <br> {<br>   char const * cstrstr(char const *, char const *);<br>   char * pstrstr(char * s1, char const * s2);<br> }</font></td> </tr> </table> </blockquote> </div> <p>C already has <font FACE="Courier New">inline</font> so the body of <font FACE="Courier New">pstrstr</font> could forward to <font FACE="Courier New">cstrstr</font> in a very similar way to the C++ solution. From the users perspective it would look like C++ function overloading, but those that want to stick with explicit calls of functions could do so because each function in a generic set would have its own distinct public name.</p> <p>What do you think? If you do not want Standard's Committees such as WG14 and WG21 to go their own way you need to speak up. Like all groups of individuals, they will come up with some great ideas but they will come up with some real lemons.</p> <b> <h1><font color="#000000"><a name="Editorial">Editorial</a></font></h1> </b> <i> <p>By <a href="Author-RegCharney.html">Reg. Charney</a></p> </i> <h2><b><font face="Arial"><a name="Owning Up">Owning Up</a></font></b></h2> <p>The biggest fear that I had before I started writing technically was that of making a mistake and being exposed as a fool. Well, in the years that I have been writing, I have made many mistakes. And perhaps I was a fool – but I gained a lot in spite of my errors. When I did it right, I got known. When I did it wrong, I got to meet and communicate with those who knew better. And in the whole time that I posed my heart at the tip of my pen, I have had a life enriching experience and have met and talked to hundreds, if not thousands, of interesting, fun people. I would never have met them if I did not risk writing for publication. So, while you may risk a lot, I am here to tell you that it is worth it. Take the time and have the courage to write for ACCent or other technical magazines like C Vu, Overload, CUJ, DDJ, or the myriad of other publications. Contact the editors with your articles and ideas. Go ahead – have fun!</p> <b> <h2><font FACE="Arial"><a name="Backing Down">Backing Down</a></font></h2> </b> <p>In the last issue, I lambasted Intuit for treating their TurboTax customers like criminals. Well, our and others’ comments had some effect. Intuit is now trying to put a positive “spin” on their greed. They paid a company to say that their spyware wasn’t, that writing to reserved areas of the partition table was safe, and the spyware, Macrovision’s SafeCast, didn’t really take up that much in the way of resources. Gee, I don’t know why I don’t believe their paid cronies. Do yourself a favor, just go out and buy H&R Block’s TaxCut.</p> <b> <h2><font FACE="Arial"><a name="Microsoft, Crooks and Liars">Microsoft, Crooks and Liars</a></font></h2> </b> <p>Now, when business transparency and openness is essential, MS released their latest Destroy your Rights Management (DRM) system. It promotes technology that precludes these virtues and re-enforces MS’s monopoly. Read Ms. Foley’s article (www.microsoft-watch.com/article2/0,4248,903461,00.asp) to gauge the extent of MS’s attempt to protect illegal monopolistic behavior from exposure.</p> <h1><a name="Book Reviews"> <b> <font color="#000000">Book Reviews</font></b></a></h1> <i> <p><b><a name="Agile Software Development Ecosystems">Agile Software Development Ecosystems</a></b> </i>by Jim Highsmith, Addison-Wesley, 2002. ISBN: 0-201-76043-6</p> <p>Agile software development aims for rapidly and responsively producing high quality software, in terms of satisfying a given client’s most important, unpredictably changing, and often incompletely formulated business needs. Compared to traditional methods, agile development involves a much stronger emphasis on flexibility, adaptability, continual collaboration, and low overhead. So which of the several contending agile software development methodologies are really worth investigating or implementing? Is this just the latest hype, the latest repackaging job or is there something new and genuinely valuable here? This book does a good job at answering such questions.</p> <p>This book describes the leading Agile development theories (their motivating insights and worldviews) and their associated methodologies (which the author somewhat grandiosely calls “ecosystems”). One of the advantages of any wide-ranging survey is the chance to collect lots of interesting highlights (in addition to other things), and the author ably capitalizes on this opportunity. Even if you are already a fan of one of these systems, the wider perspective of this book will probably give you a greater appreciation and understanding of its strengths and weaknesses, and some inkling of what principles and practices you might want to borrow from other systems. This book also features several interesting and sometimes intriguing interviews with the leading proponents of these agile software development systems.</p> <p>This book is organized in 4 parts: (1) Problems and Solutions (why bother with this stuff, and what can you realistically expect from it) (2) Principles and People (in the sense of people behind the systems), (3) Agile Software Development Ecosystems (the leading ASDEs), and (4) Developing an ASDE (customizing an ASDE to your needs). The ASDEs covered are: Scrum, Dynamic Systems Development Method, Crystal Methods, Feature-Driven Development, Lean Development, Extreme Programming, and Adaptive Software Development.</p> <p>Even if you aren’t into agile software development systems, you can still find some interesting and useful material. This book is generally well-written and well-edited. The index is good too.</p> <p><i>— Conrad Schneiker </i></p> <i> <b> <h1><font color="#000000"><a name="Trends">Trends</a></font></h1> </b> <p>By <a href="Author-RegCharney.html">Reg Charney</a> and <a href="Author-AliCehreli.html">Ali Çehreli</a></p> </i> <b> <h2><font FACE="Arial"><a name="Bottomed Out - Part 2?">Bottomed Out - Part 2?</a></font></h2> </b> <p>I am running an updated versions of the two graphs that I did last month. The signs are there that we have bottomed out and are starting to come back. After the hype and foolishness of the Internet bubble, it is a little comforting to see we exist in a normal, and more predictable industry.</p> <p>Also, recently, I have been approached with job offers. I believe that it is partly because of my writing and activities in the ACCU. Active involvement with groups like the ACCU increase your networking, skills, and value to potential employers – a word to the wise.</p> <p align="center"><img border="0" src="images/2003-03-Fig01.gif" width="472" height="330"></p> <p align="center"><img border="0" src="images/2003-03-Fig02.gif" width="470" height="320"></p> </td> </tr> </table> </body>