Why is std::string
's size, as determined by sizeof(std::string)
, yield 8
?
I thought it should be more than 8
as it has to have an int
(sizeof(int) == 8
on my machine) data member for giving std::string::length()
and std::string::size()
in O(1) and probably a char*
for characters.
The implementation of std::string
is not specified by the C++ standard. It only describes the classes behaviour. However, I would expect there to be more than one pointer's worth of information in the class. In particular:
- A pointer to the actual string.
- The size available.
- The actual size used.
It MAY of course store all these in a dynamically allocated location, and thus take up exactly the same amount of space as char*
[in most architectures].
In fact looking at the C++ header that comes with my Linux machine, the implementation is quite clear when you look at (which, as per comments, is "pre-C++11", but I think roughly representative either way):
size_type
length() const _GLIBCXX_NOEXCEPT
{ return _M_rep()->_M_length; }
and then follow that to:
_Rep*
_M_rep() const _GLIBCXX_NOEXCEPT
{ return &((reinterpret_cast<_Rep*> (_M_data()))[-1]); }
which in turn leads to:
_CharT*
_M_data() const _GLIBCXX_NOEXCEPT
{ return _M_dataplus._M_p; }
Which leads to
// Data Members (private):
mutable _Alloc_hider _M_dataplus;
and then we get to:
struct _Alloc_hider : _Alloc
{
_Alloc_hider(_CharT* __dat, const _Alloc& __a) _GLIBCXX_NOEXCEPT
: _Alloc(__a), _M_p(__dat) { }
_CharT* _M_p; // The actual data.
};
The actual data about the string is:
struct _Rep_base
{
size_type _M_length;
size_type _M_capacity;
_Atomic_word _M_refcount;
};
So, it's all a simple pointer called _M_p
hidden inside several layers of getters and a bit of casting...
-
To be fair, dynamic allocation can usually be ruled out by noexcept methods. I do not think
std::string
has enough noexcept requirements for this to be the case. – Yakk - Adam Nevraumont Jan 1 '16 at 22:17 -
1I mean, "together with the string itself", rather than each part being dynamically allocated. – Mats Petersson Jan 1 '16 at 22:27
-
@MarcGlisse: I think it is C++11, since it's from the 4.9.2 version of gcc, which is after C++11 compliance in gcc, and it mentions C++11 in the file? – Mats Petersson Jan 1 '16 at 22:34
-
-
@MatsPetersson: It's pre-C++11. The
_Atomic_word _M_refcount;
implies sharing and thus copy-on-write behaviour, which breaks the constraints ofoperator[]
, see stackoverflow.com/q/12199710/1139697. – Zeta Jan 2 '16 at 9:46
Because all your implementation of std::string
stores is a pointer to the heap where all of it's data is stored.
-
3
-
1This kind of implementation is straightforward for
std::string
implementations using copy-on-write and references counting (libstdc++ did this in the C++98 ABI mode, and linux distributions are in the process of getting rid of it as default right now). C++11 made this kind of implementation illegal, so you will likely find implementations withsizeof(std::string) == sizeof(void*)
much less in the future. – Michael Karcher Jan 2 '16 at 10:47 -
2
-
Also, 32 == sizeof(std::string) ,in clang version 7.0.0-3~ubuntu0.18.04.1 (tags/RELEASE_700/final); 24 == sizeof(std::string) ,in Apple LLVM version 8.1.0 (clang-802.0.42). But sometimes on OnlineGDB ,it shows: 8 == sizeof(std::string) !!! – McAllister Bowman Dec 22 '19 at 3:26
std::string
stores the string's length internally, it's going to be asize_t
, not anint
. FWIW, on the implementation I usesizeof (std::string) == 32
. (It depends on the runtime library implementation, not on the compiler. Two different implementations might use the same compiler but different runtime libraries. – Keith Thompson Jan 1 '16 at 22:32std::string
inlibstdc++
.gcc
(the compiler) does not. I don't think Kerrek SB's comment is incorrect. – Cornstalks Jan 1 '16 at 22:36