c++ 类的意外输出答案

【问题标题】：Unexpected output with c++ classc++ 类的意外输出
【发布时间】：2011-06-12 11:31:42
【问题描述】：

这是我的 C++ 代码：

class base
{
public:
    int bval;
    base(){ bval=0;}
    void give() { std::cout<<bval<<":"; }
};

void SomeFunc(base *arr,int size)
{
    for(int i=0; i<size; i++,arr++)
        std::cout<<arr->bval;

    std::cout<<"\n";
    for(int i=0; i<size; i++,arr++)
        arr->give();

    std::cout<<"\n";
}

void test_case4()
{
    base BaseArr[5];
    SomeFunc(BaseArr,6);
}

我得到以下代码的输出：

000003379188
0:-1079809464:134515567:134515888:0:-1079809336:

为什么第二行和第一行不一样，为什么我在SomeFunc 中得到第 6 个循环的输出，而那个地方还没有分配，我的意思是没有代码给 give() 函数执行。

我还知道，对象上的 sizeof 运算符仅给出其数据元素的大小，而不给出对象包含的函数。那么如果函数不在对象内存空间内，那么它们存储在哪里？

编辑：

我故意将 arr 第 6 次递增，只是为了检查在执行不在第 6 位的 give() 函数时会发生什么。

查看对 Cem Kalyoncu 回复的评论。也请回答我问题的第一部分。

【问题讨论】：

标签： c++ oop class

【解决方案1】：

您正在递增arr 指针并超出arr 指向的原始数组的大小。此外，正如 Cem 指出的那样，函数的值必须是 5 而不是 6。

【讨论】：

【解决方案2】：

你的数组 BaseArr 有 5 个元素，而不是 6 个。它的上限是 4。

base BaseArr[5];
SomeFunc(BaseArr,5); //should fix it.

编辑：
为什么要获得输出：在 C 数组中没有固定限制，您可以轻松越界而不会出现任何错误。结果通常是灾难性的。你永远不知道会发生什么。

编辑 2：
今天我的头脑工作得特别慢，现在我明白你为什么困惑了。好的，即使 arr 指向的对象无效。它仍然是一个内存位置。在调用 arr->give 时，您实际上是在调用类似于 give(arr) 的函数。因为 arr 只是一个指向内存位置的指针，所以调用是有效的并且不会引发任何错误，就像在 c 中一样。但是，一些调试器能够注意到您超出范围。始终建议使用向量。

【讨论】：

Cem Kalyoncu：即使第六次计数器跳转到某个位置执行功能代码，当没有正确的功能代码之类的返回语句时，是什么让它从那里返回，以及它打印值的原因是什么当 cout
类函数指针是固定的，除非它们是虚拟的。这意味着它将运行与其他函数相同的给定函数，但具有不同的内存位置。这与使用 give(base *) 函数没有什么不同
Cem Kalyoncu ：感谢您的回复，我对 give() 函数的疑问已消除。您能否回答为什么输出的两行不同（忽略第 6 个值）。
@gkt.pro：因为您没有在循环之间进行重置。它继续堆栈中的任何内容。

【解决方案3】：

作为替代方案，您可以使用类型安全的模板。

template<size_t size> void SomeFunc(Base (const &arr)[size]) {
    //...
}

大小将由编译器自动推断。

【讨论】：

减尺寸是个好东西~

【解决方案4】：

为什么程序没有崩溃？
C/C++ 语言不对数组进行任何边界检查。这取决于操作系统来确保您访问的是有效内存。

您正在声明一个基于堆栈的数组（大小为 5）。访问数组边界之外只是访问已分配堆栈空间的另一部分（大多数操作系统通常为堆栈保留一定部分的内存）。幸运的是，您正在访问一个超出范围的数组 index(6)，它位于这个预先分配的堆栈空间内，因此它不会崩溃，而是返回该特定内存位置中存在的垃圾数据。

上面只是对发生的事情的逻辑解释，但事实是，

未定义的行为通过其边界访问数组，因此无法定义和推理未定义的行为。期间！

如果函数不在对象内存空间内，那么它们存储在哪里？
C++ 标准没有指定成员函数的存储位置。这种行为作为编译器的实现细节被忽略了。所以它可能因编译器而异。

正如你所说的，每个对象不像成员变量那样拥有成员函数的副本。您可以像 free functions 一样考虑成员函数，但在某个方面比较特殊的是隐式 this 指针作为参数传递给它们。

所有编译后的代码（包括成员函数）都进入称为text segment 或code segment 的内存部分。这个内存区域独立于Heap(a.k.a Freestore in C++)、Stack 和Data/BSS 段，这些段保存动态分配的对象、本地声明的对象和全局或静态对象。

希望能回答您的问题。

【讨论】：