如何解决c ++类产生意外的输出
| 这是我的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
中获得第六个循环的输出,我的意思是没有代码可以执行Give()函数。
我还知道,对象上的sizeof运算符仅给出其数据元素的大小,而不是对象所包含的函数。因此,如果函数不在对象存储空间内,那么它们存储在哪里?
编辑:
我故意第6次增加了arr,只是为了检查执行不在第6位的give()
函数时会发生什么。
请参阅对Cem Kalyoncu回复的评论。
也请回答我问题的第一部分。
解决方法
您的数组BaseArr具有5个元素,而不是6个元素。其上限是4。
base BaseArr[5];
SomeFunc(BaseArr,5); //should fix it.
编辑:
对于为什么要输出的原因:在C数组中没有固定的限制,因此可以轻松地越界而不会出现任何错误。结果通常是灾难性的。您将永远不会知道会发生什么。
编辑2:
今天,我的大脑工作特别缓慢,现在我明白了为什么感到困惑。好的,即使由arr指向的对象无效。它仍然是一个内存位置。在调用arr-> give时,实际上是在调用类似于Give(arr)的函数。由于arr只是指向内存位置调用的指针,因此有效,并且不会引发任何错误,例如c中。但是,某些调试器能够注意到您已超出限制。为此,始终建议使用向量。
, 您正在递增arr
指针并超过arr
指向的原始数组的大小。同样,正如Cem所指出的,该函数的值必须是5而不是6。
, 或者,您可以使用类型安全的模板。
template<size_t size> void SomeFunc(Base (const &arr)[size]) {
//...
}
大小将由编译器自动推导。
, 为什么程序不会崩溃?
C / C ++语言不对数组进行任何边界检查。取决于操作系统,以确保您正在访问有效的内存。
您正在声明基于堆栈的数组(大小为5)。访问数组边界之外的内容只是访问已经分配的堆栈空间的另一部分(大多数OS通常通常为堆栈保留一部分内存)。幸运的是,您正在访问一个超出范围的数组索引(6),该索引位于该预分配的堆栈空间内,因此它不会崩溃,但会返回该特定内存位置中存在的垃圾数据。
上面只是发生了什么的逻辑解释,但事实是,
访问通过其边界的数组是未定义行为,因此无法定义和推理未定义行为。期!
如果函数不在对象存储空间内,那么它们存储在哪里?
C ++标准未指定成员函数的存储位置。此行为作为编译器的实现细节被忽略。因此,随编译器的不同而不同。
就像您正确地说的那样,每个对象都没有成员函数的副本,这与成员变量不同。您可以像free functions
那样考虑成员函数,但在一个特殊方面,隐式this
指针作为参数传递给它们。
所有已编译的代码(包括成员函数)都进入称为“ 10”或“ 11”的内存区域。该存储区与Heap(a.k.a Freestore in C++)
,Stack
和Data/BSS
段分开,这些段保存动态分配的对象,本地声明的对象以及全局或静态对象。
希望能回答您的问题。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。