Empty pointer to std::string

Hi!

I just found something interesting.
I mean what do you think about this:

char *p = 0;
std::string str = p;

Why std::string doesn't check null pointers?

Why not doin' some checking:

class String : public std::string
{
public:
String():std::string() {}
String(const char *str):std::string() {
if(str == 0)
*this = std::string();
else
*this = std::string(str);
}
String(const std::string& str):std::string(str) {}
};

This is only an example, 'cause i didn't want to write from scratch
string class, so i just derived. :)

re: Empty pointer to std::string

mr_sorcerer wrote:
Because the standard prefers undefined behavior to wasting CPU cycles.

Feel free to do that. I would prefer an assert( str != 0 ). That way, I
would use String for testing and could replace it with std::string when I
am convinced that I avoided UB successfully.

BTW: I find it is somewhat neat to have a namespace debug that provides
debug::vector<>, debug::string, ... with defined behavior (assert) instead
of UB.


Best

Kai-Uwe Bux

re: Empty pointer to std::string

On Wed, 04 Apr 2007 06:24:40 -0400, Kai-Uwe Bux wrote:OTOH, a public member function should validate input. I'd consider
that good style.
assert is en-/disabled by the NDEBUG #define. assert uses 'namespace
NDEBUG' ;-)


--
Roland Pibinger
"The best software is simple, elegant, and full of drama" - Grady Booch

re: Empty pointer to std::string

Roland Pibinger wrote:
True, but that is a quality of implementation issue. The standard does no
require public member functions of standard containers to do any of that.
Of course, you could just purchase / implement and then use a standard
library implementation that includes the assert() statements you want.

Yes. However, that only works if you are using an standard library
implementation that does input validation, range checking, and so on.
Otherwise, you have to roll your own code.


Best

Kai-Uwe Bux

re: Empty pointer to std::string

On Apr 4, 12:24 pm, Kai-Uwe Bux <jkherci...@gmx.netwrote:Because the standard prefers to leave the choice up to the
implementors, so they can do whatever is best for their
customers. (The systems I use all *do* check, and the above
code will systematically generate a core dump.)
Most systems do. There's usually no need for explicit checking,
of course, because the hardware does it implicitly,
automatically. But the result is the same: you get a core dump
(or the equivalent), which is the desired behavior in case of
programmer error.
No. A null pointer is *not* an empty string. If you need to
support null values, you need something like Fallible (although
the names of the functions and the behavior in the invalid case
should probably be different).
Why? On most platforms, the only thing that will buy you is a
different error message. I can't imagine an implementation of
std::string which doesn't access the pointer in the constructor,
and accessing a null pointer is a certain core dump under Unix
or Windows.

--
James Kanze (GABI Software) email:james.kanze@gmail.com
Conseils en informatique orientée objet/
Beratung in objektorientierter Datenverarbeitung
9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34

re: Empty pointer to std::string

On Apr 4, 5:11 pm, Kai-Uwe Bux <jkherci...@gmx.netwrote:
Both VC++ and g++ do. If you're developping under Windows, you
certainly have access to VC++ (it's free), and if you're
developping under Unix, you certainly have access to g++ (also
free). Even if your final target compiler is something else,
there's nothing to stop you from using one of these compilers
during development.

--
James Kanze (GABI Software) email:james.kanze@gmail.com
Conseils en informatique orientée objet/
Beratung in objektorientierter Datenverarbeitung
9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34

re: Empty pointer to std::string

On 5 Apr 2007 01:47:36 -0700, "James Kanze" wrote:One 'expected' behavior would be a null_pointer_exception (derived
from std::runtime_error).
Although a null pointer is not an empty string it could be converted
to an empty string by a constructor. This is not elegant but makes
sense for strings (not for other types).



--
Roland Pibinger
"The best software is simple, elegant, and full of drama" - Grady Booch

re: Empty pointer to std::string

In article <4614c186.1638936@news.utanet.at>,
Roland Pibinger <rpbg123@yahoo.comwrote:True, but...
....be careful with that kind of suggestion.
Which I'm certain is part of James's point.
--
Greg Comeau / 4.3.9 with C++0xisms now in beta!
Comeau C/C++ ONLINE == http://www.comeaucomputing.com/tryitout
World Class Compilers: Breathtaking C++, Amazing C99, Fabulous C90.
Comeau C/C++ with Dinkumware's Libraries... Have you tried it?

re: Empty pointer to std::string

Roland Pibinger wrote:
:: On 5 Apr 2007 01:47:36 -0700, "James Kanze" wrote:
::: On Apr 4, 12:24 pm, Kai-Uwe Bux <jkherci...@gmx.netwrote:
:::: mr_sorcerer wrote:
::::: Why std::string doesn't check null pointers?
:::
:::: Because the standard prefers undefined behavior to wasting CPU
:::: cycles.
:::
::::: Why not doin' some checking:
:::
::: Most systems do. There's usually no need for explicit checking,
::: of course, because the hardware does it implicitly,
::: automatically. But the result is the same: you get a core dump
::: (or the equivalent), which is the desired behavior in case of
::: programmer error.
::
:: One 'expected' behavior would be a null_pointer_exception (derived
:: from std::runtime_error).

And that would be extremely expensive on platforms without hardware support.
Those platforms are often the ones where you cannot afford the performance
loss.


Bo Persson

re: Empty pointer to std::string

On Apr 5, 11:35 am, rpbg...@yahoo.com (Roland Pibinger) wrote:So that the error can be hidden, and not show up immediately. I
wouldn't use such a class in production software.
Certainly. You can convert anything to anything with a suitable
constructor.

Whether it makes sense or not is another question.
Are you saying that NULL and "" are the same thing in C? I've
certainly never used them for the same thing in C, and when I
need the equivalent of a C function which returns a char const*
which can be null, in C++, I use Fallible< std::string >. An
empty string is NOT a null value (as anyone who has ever used a
data base can tell you).

--
James Kanze (Gabi Software) email: james.kanze@gmail.com
Conseils en informatique orientée objet/
Beratung in objektorientierter Datenverarbeitung
9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34

re: Empty pointer to std::string

Roland Pibinger wrote:

A small (but important) technical note. The proper separator for .sigs
is "-- " (dash dash space). Yours is missing the space. Correct
separators allow newsreaders to auto-trim signatures.





Brian