- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
以下代码中的 4 个类:A、B、C 和 D。
他们都有一个成员operator new[]
。
此外,
operator delete[]
。输出成员operator new[]
的参数size
和4个类的sizeof
:
new[] A 40
new[] B 40
new[] C 48
new[] D 48
sizeof(A) 4
sizeof(B) 4
sizeof(C) 4
sizeof(D) 4
大小
不同的原因是什么?
代码(我知道很丑):
#include <iostream>
using namespace std;
class A {
int i;
public:
static void* operator new[](std::size_t size) throw(std::bad_alloc) {
cout << "new[] A " << size << endl;
return malloc(size);
}
};
class B {
int i;
public:
static void* operator new[](std::size_t size) throw(std::bad_alloc) {
cout << "new[] B " << size << endl;
return malloc(size);
}
B() {}
};
class C {
int i;
public:
static void* operator new[](std::size_t size) throw(std::bad_alloc) {
cout << "new[] C " << size << endl;
return malloc(size);
}
~C() {}
};
class D {
int i;
public:
static void* operator new[](std::size_t size) throw(std::bad_alloc) {
cout << "new[] D " << size << endl;
return malloc(size);
}
static void operator delete[](void* p, std::size_t size) {
free(p);
}
};
int main() {
A* a = new A[10];
B* b = new B[10];
C* c = new C[10];
D* d = new D[10];
cout << "sizeof(A) " << sizeof(A) << endl;
cout << "sizeof(B) " << sizeof(B) << endl;
cout << "sizeof(C) " << sizeof(C) << endl;
cout << "sizeof(D) " << sizeof(D) << endl;
}
关于操作系统和编译器:
编译:clang++ 和 g++ 结果相同
clang++ test.cpp -o test -std=c++11
g++ test.cpp -o test -std=c++11
操作系统:Linux Mint 18.2 Cinnamon 64 位
编译器:
clang++ -v
clang version 3.8.0-2ubuntu4 (tags/RELEASE_380/final)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.9
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/4.9.3
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/5.4.0
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/6.0.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9.3
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.4.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.0.0
Selected GCC installation: /usr/bin/../lib/gcc/x86_64-linux-gnu/5.4.0
Candidate multilib: .;@m64
Selected multilib: .;@m64
Found CUDA installation: /usr/local/cuda
g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.4.0-6ubuntu1~16.04.4' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.4)
最佳答案
这些额外的 8 个字节用于存储有关已分配内容的信息,以便正确销毁对象(程序需要知道需要销毁多少对象)并调用 T::operator delete[]
使用正确的第二个参数。根据生成的程序集(见本答案末尾),存储的值是元素的数量(这里是 10
)。
基本上:
A
和 B
,析构函数是空操作,因此无需知道必须销毁多少元素,并且您没有用户定义的 delete[]
,所以编译器会使用默认的,显然不关心第二个参数;
C
,析构函数是used-defined,所以必须调用(我不知道为什么这个没有优化...),所以程序需要知道有多少对象会被销毁;
D
, 你有一个用户定义的 D::operator delete[]
, 因此程序必须记住分配的大小才能将其发送到 D::operator delete[]
必要时。
如果替换 int
具有非平凡析构函数的类型的属性(例如 std::vector<int>
),您会注意到 A
的这 8 个字节和 B
.
您可以查看为 C
生成的程序集(g++ 7.2,无优化):
; C *c = new C[10];
call C::operator new[](unsigned long)
mov QWORD PTR [rax], 10 ; store "10" (allocated objects)
add rax, 8 ; increase pointer by 8
mov QWORD PTR [rbp-24], rax
; delete[] c;
cmp QWORD PTR [rbp-24], 0
je .L5
mov rax, QWORD PTR [rbp-24] ; this is c
sub rax, 8
mov rax, QWORD PTR [rax] ; retrieve the number of objects
lea rdx, [0+rax*4] ; retrieve the associated size (* sizeof(C))
mov rax, QWORD PTR [rbp-24]
lea rbx, [rdx+rax]
.L7:
cmp rbx, QWORD PTR [rbp-24] ; loops to destruct allocated objects
je .L6
sub rbx, 4
mov rdi, rbx
call C::~C()
jmp .L7
.L6:
mov rax, QWORD PTR [rbp-24]
sub rax, 8
mov rax, QWORD PTR [rax] ; retrieve the number of allocated objects
add rax, 2 ; add 2 = 8 bytes / sizeof(C)
lea rdx, [0+rax*4] ; number of allocated bytes
mov rax, QWORD PTR [rbp-24]
sub rax, 8
mov rsi, rdx
mov rdi, rax
call operator delete[](void*, unsigned long)
如果您不熟悉汇编,这里是一个经过整理的 C++ 版本,展示了幕后发生的事情:
// C *c = new C[10];
char *c_ = (char*)malloc(10 * sizeof(C) + sizeof(std::size_t)); // inside C::operator new[]
*reinterpret_cast<std::size_t*>(c_) = 10; // stores the number of allocated objects
C *c = (C*)(c_ + sizeof(std::size_t)); // retrieve the "correct" pointer
// delete[] c; -- destruction of the allocated objects
char *c_ = (char*)c;
c_ -= sizeof(std::size_t); // retrieve the original pointer
std::size_t n = // retrieve the number of allocated objects
*reinterpret_cast<std::size_t*>(c_);
n = n * sizeof(C); // = n * 4, retrieve the allocated size
c_ = (char*)c + n; // retrieve the "end" pointer
while (c_ != (char*)c) {
c_ -= sizeof(C); // next object
(*reinterpret_cast<C*>(c_)).~C(); // destruct the object
}
// delete[] c; -- freeing of the memory
char *c_ = (char*)c;
c_ -= sizeof(std::size_t);
std::size_t n =
*reinterpret_cast<std::size_t*>(c_); // retrieve the number of allocated objects
n = n * sizeof(C) + sizeof(std::size_t); // note: compiler does funky computation instead of
// this, but I found this clearer
::operator delete[](c_, n);
现在您很高兴知道编译器为您做了所有这一切;)
关于c++ - 如果类有析构函数/delete[],则成员运算符 new[] 的参数 "size"增加,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45781692/
我开始考虑在我 future 的项目或重构中实现控制反转容器,我想知道在正确设计依赖项时哪些原则(除了 GoF 模式)可能需要牢记在心。假设我需要构建一个简单的控制台应用程序,如果它可以访问互联网,它
假设我有一个 RxC contingency table 。这意味着有 R 行和 C 列。我想要一个维度为 RC × (R + C − 2) 的矩阵 X,其中包含行的 R − 1 “主效应”以及列的
我正在尝试使用 DKMS 为正在运行的内核 (4.4) 构 build 备树覆盖。我天真的 Makefile 如下: PWD := $(shell pwd) dtbo-y += my-awsome-o
我有一个 sencha touch 项目。我是用 phonegap 2.9 构建的,并且可以正常工作 device.uuid 返回到设备 ID。当我尝试使用 3.1 device.uuid 构建时抛出
我在安装了 Xcode 4.5.1 的 Mt Lion 上运行。 默认情况下,当我构建并部署到 iOS 5.1 设备时,显示会在我旋转设备时旋转,但当我部署到 iOS 6 模拟器或运行 iOS 的 i
我正在尝试使用 Google Analytics Reporting API v4 构建多折线图。 一张图表,其中我按每天的 session 计数为每个设备(台式机/平板电脑/移动设备)设置了一条线。
我一生都无法使用 xcode 组织者“自动设备配置”中的“团队配置配置文件”在 xcode 4.0.1 中将我的应用程序构建到我的 iPad 上。 该应用程序完美地构建到模拟器,但当我构建到 iPad
我是一名优秀的程序员,十分优秀!