50
std::string my_string = "";
char test = my_string[0];

I've noticed that this doesn't crash, and every time I've tested it, test is 0.

Can I depend on it always being 0? or is it arbitrary?

Is this bad programming?

Edit: From some comments, I gather that there is some misunderstanding about the usefulness of this.

The purpose of this is NOT to check to see if the string is empty. It is to not need to check whether the string is empty.

The situation is that there is a string that may or may not be empty. I only care about the first character of this string (if it is not empty).

It seems to me, it would be less efficient to check to see if the string is empty, and then, if it isn't empty, look at the first character.

if (! my_string.empty())
    test = my_string[0];
else
    test = 0;

Instead, I can just look at the first character without needing to check to see if the string is empty.

test = my_string[0];
10
  • 24
    Use std::string::empty.
    – 101010
    Oct 12, 2015 at 14:08
  • 4
    @Logicrat: You are either using an old reference that gives the rules for C++98, or else looked up the wrong function.
    – Ben Voigt
    Oct 12, 2015 at 14:19
  • 1
    What is "the" online reference, @Logicrat? Oct 12, 2015 at 14:23
  • 14
    Aside: a string whose first character is zero is not necessarily an empty string!
    – user1084944
    Oct 12, 2015 at 22:25
  • 3
    @Ahmed: std::string x = "123"; x[0] = 0; assert(x[0] == 0 && !x.empty());
    – user1084944
    Oct 13, 2015 at 22:28

2 Answers 2

71

C++14

No; you can depend on it.

In 21.4.5.2 (or [string.access]) we can find:

Returns: *(begin() + pos) if pos < size(). Otherwise, returns a reference to an object of type charT with value charT(), where modifying the object leads to undefined behavior.

In other words, when pos == size() (which is true when both are 0), the operator will return a reference to a default-constructed character type which you are forbidden to modify.

It is not special-cased for the empty (or 0-sized) strings and works the same for every length.


C++03

And most certainly C++98 as well.

It depends.

Here's 21.3.4.1 from the official ISO/IEC 14882:

Returns: If pos < size(), returns data()[pos]. Otherwise, if pos == size(), the const version returns charT(). Otherwise, the behavior is undefined.

9
  • 6
    Note that before C++11, the non-const version of operator[] would result in undefined behavior in this case (even if you don't modify the resulting reference).
    – interjay
    Oct 12, 2015 at 14:15
  • This is an excellent answer. Can you provide information about your source? Oct 12, 2015 at 14:20
  • 1
    @BenKey: That's the numbering system used by the C++ Standard itself.
    – Ben Voigt
    Oct 12, 2015 at 14:21
  • 2
    @BenKey For the first quote, I used a very useful online render of (I think) last C++14 draft. For the second, it was the original ISO PDF. Both numbers represent sections is said document, as Ben V. pointed out. Oct 12, 2015 at 14:23
  • 1
    Yes, but here we're looking at pos == size() (both equal to 0). Dec 5, 2018 at 14:07
33

@Bartek Banachewicz's answer explains which circumstances allow you to make your assumption. I would like to add that

This is bad programming.

Why? For several reasons:

  1. You have to be a language lawyer just to be sure this isn't a bug. I wouldn't know the answer if not for this page, and frankly - I don't think you should really bother to know either.
  2. People without the intuition of a string being a null-terminated sequence of characters will have no idea what you're trying to do until they read the standard or ask their friends.
  3. Breaks the principle of least astonishment in a bad way.
  4. Goes against the principle of "writing what you mean", i.e. having the code express problem-domain concepts.
  5. Sort-of-a use of a magic number (it's arguable whether 0 actually constitutes a magic number in this case).

Shall I continue? ... I'm almost certain you have an alternative superior in almost every respect. I'll even venture a guess that you've done something else that's "bad" to manipulate yourself into wanting to do this.

Always remember: Other people, who will not be consulting you, will sooner-or-later need to maintain this code. Think of them, not just of yourself, who can figure it out. Plus, in a decade from now, who's to say you're going to remember your own trick? You might be that confounded maintainer...

12
  • Counterpoint: one might hope that ten years from now, the validity of arbitrary indices into a std::string would be common knowledge.
    – user1084944
    Oct 12, 2015 at 22:24
  • 3
    -1: It's not bad programming. The behavior is defined, just like s[-2] in many languages returns the next-to-last character in the string. Yes, there will be some C++ programmers who don't know this behavior is defined, and a comment may be in order. But I wouldn't add a single line of code if s[0] was adequate. Oct 13, 2015 at 6:21
  • 3
    @kevincline: The fact that something is defined does not mean it should be used. In fact, behavior which requires specific definition for a marginal case, and which could well have been different, is the kind of behavior it is often (not always) better to avoid. Also, terseness is nice, but: 1. There are other ways to achieve it. 2. You must still balance terseness with clarity and not just sacrifice the latter for the former.
    – einpoklum
    Oct 13, 2015 at 6:51
  • 3
    Something does not become idiomatic because one person, or a few people, use it. Also, a good idiom is not initially confusing, I would say.
    – einpoklum
    Oct 13, 2015 at 18:41
  • 4
    Defined behaviour or not: If I'd read code similar to the first two lines of the OP, I'd go WTF. And remember, even in C++14 you must not modify the returned reference or you are in for UB again. Definitely bad, bad style. Oct 14, 2015 at 15:45

Your Answer

Reminder: Answers generated by Artificial Intelligence tools are not allowed on Stack Overflow. Learn more

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.