C++

问：定义一个空的类型，里面是没有任何成员的成员和成员函数。对该类型求sizeof,得到的结果是多少？

答：1

问：为什么不是0

答：空的类型的实例中不包含任何信息，本来sizeof应该是0，但是当我们该类型的实例的时候，它必须在内存中占有一定的空间，否则无法使用这些实例。至于占用内存的多少则有编译器决定。在Visual Studio,每个空类型的实例占用1字节的空间。

问：如果在类型中添加一个构造函数和析构函数，在对该类型求sizeof，得到的结果又是多少？

答：还是1。构造函数和析构函数只需知道函数的地址，而这些函数的地址只与类型相关，而与类型的实例无关，编译器也不会在实例中添加任何额外的信息。

问：那如果把析构函数标记为虚函数呢？

答：如何一个类型中有虚函数，编译器就会生成一个该类型的虚函数表，并在该类型的实例中添加一个指向虚函数的指针，而指针的大小跟处理器相关。32位的机器，一个指针占4字节，64的机器，一个指针占8个字节。

分析代码：

class A
{
public:
	A(int n) { value = n; };
	A(A other) { value = other.value; }
	void print() { std::cout << value << std::endl; }
private:
	int value;
};


int main()
{
	A a = 10;
	A b = a;
	b.print();

	return 0;
}

A.编译错误

B.编译运行正常

C.输出10

答：A。复制构造函数A（A other）传入的参数是A的一个实例，由于是传值参数，我们把形参复制到实参会调用复制构造函数，
    就会形成无休止的递归调用从而导致栈溢出。要解决这个问题，我们可以把传值参数改成常量引用。

完整测试代码：

// ConsoleApplication1.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。
//

#include "pch.h"
#include <iostream>

class A
{
public:
	A(int n) { value = n; };
	//A(A other) { value = other.value; }
/*
	复制构造函数A（A other）传入的参数是A的一个实例，由于是传值参数，我们把形参复制到实参会调用复制构造函数，
	就会形成无休止的递归调用从而导致栈溢出。要解决这个问题，我们可以把传值参数改成常量引用。
*/
	A(const A& other) { value = other.value; }
	void print() { std::cout << value << std::endl; }
private:
	int value;
};


int main()
{
	A a = 10;
	A b = a;
	b.print();

	return 0;
}