Question

这是我的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回复的评论。还请回答我问题的第一部分。

Answer 1

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

Answer 2

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

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

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

编辑2：
今天我的思维工作得太慢，现在我明白为什么你感到困惑。好的，即使arr指向的对象无效。它仍然是一个记忆位置。在调用arr-＆gt;时，实际上调用的函数类似于给（arr）。因为arr只是一个指向内存位置的指针，所以调用有效并且不会引发任何错误，例如c。但是，一些调试器能够注意到您的超出范围。为此目的，始终建议使用矢量。

Answer 3

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

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

编译器会自动推断出大小。

Answer 4

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

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

上面只是对所发生事情的合理解释，但事实是，

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

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

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

所有已编译的代码（包括成员函数）都作为被调用的text segment或code segment进入内存的一部分。此内存区域与Heap(a.k.a Freestore in C++)，Stack和Data/BSS段分开，这些段包含动态分配的对象，本地声明的对象和＆amp;全局或静态对象。

希望能回答你的问题。

使用c ++类的意外输出

4 个答案: