您应该澄清您的问题,因为问题中的问题实际上并不存在。
该const foo y = x;
行将编译并使用该复制构造函数。在构造函数完成之前,正在构造的 const 对象不是“const”。因此,即使正在构造的对象是 const,构造函数主体也可以修改对象。
还要注意,示例中的循环甚至没有修改任何曾经是 const 的东西——因为数组是动态分配的,即使对象本身不是,这些数组元素也是可修改的。例如,arr
在 ctor 完成后指针不可修改,但arr[0]
仍然是。
尝试以下操作以查看这两点的实际效果:
#include <stdio.h>
#include <algorithm>
class foo
{
int *arr; // arr holds numbers
int sz; // size of array
public:
foo() : arr(0), sz(0) { puts("default ctor");}
foo(int x) : arr(0), sz(x) {
puts( "int ctor");
arr = new int[sz];
for(int i=0;i<sz;i++)
arr[i]=0;
}
foo(const foo &f)
{
puts("copy ctor");
sz = f.sz;
arr = new int[sz];
for(int i=0;i<sz;i++)
arr[i]=f.arr[i];
}
~foo() {
delete [] arr;
}
foo& operator=(const foo& rhs) {
if (this != &rhs) {
foo tmp(rhs);
std::swap( arr, tmp.arr);
std::swap( sz, tmp.sz);
}
return *this;
}
void update() const {
for(int i = 0; i < sz; i++) {
arr[i] = arr[i] + 1;
}
}
void dump() const {
for(int i = 0; i < sz; i++) {
printf("%d ", arr[i]);
}
puts("");
}
};
int main()
{
foo x(5); //5 is size of array
const foo y = x;
y.dump();
y.update(); // can still modify the int array, even though `y` is const
y.dump();
}
我认为您可能会将构造 const 对象与构造具有 const 成员的对象混淆,因为这些成员必须在初始化列表中进行初始化。