const 对象存储在哪里

Question

我确实理解函数不应返回对自动变量的引用。 然而我只是想了解常量对象存储在哪里，即它是否与静态全局变量一起存储在内存部分中。

这是 Visual Studio 8 上的代码。看起来 const 对象存储为自动变量。我假设事情是正确的还是它是特定于实现的还是取决于构造函数是否微不足道？

如果有人能够解释为什么每个案例的行为方式如此，那就太好了。

//here i'm intentionally returning a ptr to local const ptr hope the syntax is right

const char* const* get_const_char_ptr() {
    const char * const ptr = "downontheupside";
    return &ptr;
}

const int& get_const_int() {        
    const int magic_number = 20;
    return magic_number;
}

const string& get_const_string() {       
    const string str("superunknown");
    return str;
}

const string* get_const_string_ptr() {
    const string str("louderthanlove");
    return &str;
}

int main() {
    //case1
    const int &i = get_const_int();
    cout<<"case1:"<<i<<endl;

    //case 2
    const char * const* c =get_const_char_ptr();
    cout<<"case2:"<<*c<<endl;

    //case3
    const string &str = get_const_string();
    //this crashes
    //cout<<"case3:"<<str<<endl;

    return 1;
}

Answer 1

const 不会改变事物的存储位置，它是一个关键字，告诉编译器防止变量或函数修改事物。示例：

std::string myNormalStr("Hello");
const std::string myConstStr("Don't Change Me");

myNormalStr = myConstStr; // this is ok
myConstStr = myNormalStr; // this will give you a compile error

这是一个超级简单的示例，但同样的情况也适用于传递给函数、从函数返回的 const 对象，或者函数本身是 const 的情况。

这是 Herb Sutter 撰写的一篇精彩文章，介绍了使用 const 的所有正确方法 关键字。

编辑：

目前几乎没有理由使用 auto 关键字，因为所有内容在其范围内都是隐式自动的。该关键字是自动变量的存储类说明符。

然而，auto 关键字作为正在进行中的新 C++ 标准的一部分正在发生变化，但已经受到 Visual Studio 2010 和其他一些编译器以其新的辉煌形式的支持。在 C++0x 中可以这样使用：

std::vector<int> numbers;
for (std::vector<int>::const_iterator itr(numbers.begin());
    itr != numbers.end(); ++itr)
{
        // do something with each iterated element
}

// compiler auto deduces from rvalue
// and determines that you want a
// std::vector<int>::const_iterator type
for (auto itr = numbers.cbegin();
        itr != numbers.cend(); ++itr)
{
        // do something with each iterated element
}

Answer 2

在函数内分配的常量对象就像任何其他自动变量一样；它们只有 const 类型。全局（和类静态）变量略有不同：一些常量可以放置在可执行文件的只读部分中，然后复制到内存中。它用于诸如字符串和整数常量之类的东西；我不相信它用于任何具有重要构造函数的东西。

Answer 3

绝对，关于存储内容的所有内容都是特定于实现的。永远不要忘记这一点。带着这个警告，这里有一些典型的规则。

自动变量要么存储在堆栈中，要么存储在寄存器中。它们是否 const 并不重要。

静态变量存储在程序存储器中。可能有多个程序存储器块，有些是只读的，有些不是。声明变量 const 可能会影响存储内容的块。

使用 new 分配的变量将位于堆上。无论它是否为 const 都没有关系。