当我注意到一些奇怪的事情时，我正在使用重载的 new 和 delete 运算符。
我有：
void* operator new(size_t size) { std::cout << "Allocating memory..." << std::endl; void* p = malloc(size); if (NULL == p) { throw std::bad_alloc(); } return p; }当我做：
int main() { int* x = new int(1); std::cout << *x << std::endl; delete x; return EXIT_SUCCESS; }一切都按预期工作，我得到：
Allocating memory... 1但是当我这样做时：
int main() { std::string* s = new std::string("Hello world"); std::cout << *s << std::endl; delete s; return EXIT_SUCCESS; }我得到：
Allocating memory... Allocating memory... Hello world事实上，当我这样做时：
int main() { std::string s = "Hello world"; return EXIT_SUCCESS; }我还是得到
Allocating memory...！最后，我这样做：
int main() { std::string s = "Hello world"; std::cout << &s << std::endl; while (true); }得到类似的东西：
$ ./test & [1] 8979 Allocating memory... 0xbfc39a68 $ cat /proc/8979/maps | grep stack bfc27000-bfc3c000 ... [stack]所以现在我确定
s变量是在堆栈上分配的......但是，什么叫new操作员？我最好的猜测是它与实际文字的内存分配有关，"Hello world"......但它应该是静态内存，并且new都是关于动态内存的。
这是怎么回事？
更新
在阅读了注释并亲自调试了示例之后，我想得出结论，确实，一旦调用了字符串构造函数，它就会在堆上为其内部实现分配内存。new通过跟踪调用可以看出这一点：
(gdb) b 13 // that's the std::cout << "Allocating memory..." << std::endl; line
(gdb) r
... Breakpoing 1, operator new (size=16) at test.cpp:13 ...
(gdb) backtrace
#0 operator new (size=16) at main.cpp:13
#1 std::string::_Rep::_S_create(unsigned int, unsigned int, std::allocator<char> const&) () from /usr/lib/libstdc++.so.6
...
并阅读 std::string （好吧，basic_string.tcc）源代码：
template<typename _CharT, typename _Traits, typename _Alloc>
typename basic_string<_CharT, _Traits, _Alloc>::_Rep*
basic_string<_CharT, _Traits, _Alloc>::_Rep::
_S_create(size_type __capacity, size_type __old_capacity,
const _Alloc& __alloc)
{
...
void* __place = _Raw_bytes_alloc(__alloc).allocate(__size);
_Rep *__p = new (__place) _Rep; // Bingo!
__p->_M_capacity = __capacity;
...
}
是的。编程很酷。