comp.lang.ada
 help / color / mirror / Atom feed
From: REH <spamjunk@stny.rr.com>
Subject: Re: C++0x and Threads - a poor relation to Ada's tasking model?
Date: Fri, 14 Aug 2009 06:00:05 -0700 (PDT)
Date: 2009-08-14T06:00:05-07:00	[thread overview]
Message-ID: <57766742-5e6e-4b68-8094-57db1fa8951d@s15g2000yqs.googlegroups.com> (raw)
In-Reply-To: v7ha85hhe7d4npss2r4974s6kbv41jq1gh@4ax.com

On Aug 14, 7:09 am, John McCabe <j...@nospam.assen.demon.co.uk> wrote:
> Under the circumstances I use C/C++ to represent C and C++ as this
> particular example is common to both; they both incorpoate
> overwrapping semantics for operations on integer types (unlike Ada,
> which provides a separate Modular type for that purpose).

C++ and C provide separate types of that purpose also. Signed and
unsigned integers are not the same type. They have different rules.
It's a common misconception that signed integers portably wrap. Signed
integer do not have "overwrapping sematics."

Using C/C++ is frowned upon by both the C and C++ communities. Even in
your simple example, the languages have different rules as to what is
portable.


>
> >Ada has specific requirements for
> >what happens when your Int16 overflows. C++ considered a signed
> >integer overflow undefined behavior. The compiler is allowed to do
> >anything it wants.
>
> Oh dear.

That! That is the only point I was trying to make in answering your
original question of how the communities are different. You are
appalled by that because it is not safe. The C++ community is not
because it allows the compiler maximum flexibility for raw speed.
Which position is "better" wasn't my point, only the fact that the
difference exists.

REH



  reply	other threads:[~2009-08-14 13:00 UTC|newest]

Thread overview: 64+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-08-11 15:30 C++0x and Threads - a poor relation to Ada's tasking model? John McCabe
2009-08-11 20:51 ` Maciej Sobczak
2009-08-12 12:25   ` John McCabe
2009-08-12 14:51     ` Maciej Sobczak
2009-08-12 15:56     ` REH
2009-08-12 16:59       ` John McCabe
2009-08-12 17:21         ` REH
2009-08-12 20:41           ` Robert A Duff
2009-08-12 21:15             ` REH
2009-08-13  1:28               ` Randy Brukardt
2009-08-13  2:08                 ` REH
2009-08-13  8:38                   ` Pascal Obry
2009-08-13  8:57                     ` Dmitry A. Kazakov
2009-08-13 11:32                       ` Pascal Obry
2009-08-13 12:28                         ` Dmitry A. Kazakov
2009-08-14  1:15                           ` Brian Drummond
2009-08-14 11:24                           ` Language checks (Was: C++0x and Threads - a poor relation to Ada's tasking model?) Jacob Sparre Andersen
2009-08-14 12:01                             ` Dmitry A. Kazakov
2009-08-14 13:33                               ` REH
2009-08-14 13:48                                 ` John McCabe
2009-08-14 14:51                                   ` John McCabe
2009-08-14 14:13                                 ` Dmitry A. Kazakov
2009-08-14 19:58                                   ` Language checks Robert A Duff
2009-08-15  0:10                             ` Language checks (Was: C++0x and Threads - a poor relation to Ada's tasking model?) Randy Brukardt
2009-08-14 13:10               ` C++0x and Threads - a poor relation to Ada's tasking model? Gautier write-only
2009-08-14 13:16                 ` REH
2009-08-12 21:24             ` REH
2009-08-13 13:51               ` John McCabe
2009-08-13 16:24                 ` REH
2009-08-14 11:09                   ` John McCabe
2009-08-14 13:00                     ` REH [this message]
2009-08-14 14:30                       ` John McCabe
2009-08-14 14:49                         ` REH
2009-08-14 14:54                           ` John McCabe
2009-08-14 15:35                             ` REH
2009-08-14 18:43                               ` Robert A Duff
2009-08-14 18:54                                 ` REH
2009-08-14 22:33                                   ` Robert A Duff
2009-08-15  1:15                                     ` REH
2009-08-15 14:24                                       ` Robert A Duff
2009-08-14 15:09                           ` Hyman Rosen
2009-08-14 15:12                             ` REH
2009-08-13 13:55           ` John McCabe
2009-08-13 16:45             ` REH
2009-08-14 11:14               ` John McCabe
2009-08-12 20:53         ` Maciej Sobczak
2009-08-11 23:53 ` jimmaureenrogers
2009-08-12  0:06   ` Jeffrey R. Carter
2009-08-12  7:26   ` Maciej Sobczak
2009-08-12  5:29     ` stefan-lucks
2009-08-12 15:00       ` Maciej Sobczak
2009-08-12  9:27     ` Ludovic Brenta
2009-08-12 15:14       ` Maciej Sobczak
2009-08-13 12:47         ` Peter C. Chapin
2009-08-13 13:57           ` John McCabe
2009-08-14  7:39           ` Maciej Sobczak
2009-08-14 11:13             ` John McCabe
2009-08-14 12:23               ` Dmitry A. Kazakov
2009-08-14 12:50                 ` John McCabe
2009-08-14 13:50                   ` Dmitry A. Kazakov
2009-08-14 13:58                     ` Niklas Holsti
2009-08-14 14:17                       ` Dmitry A. Kazakov
2009-08-14 22:25                       ` Brian Drummond
2009-08-14 12:56             ` John McCabe
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox