类内const成员的定义

---

一、类内const成员

const变量与普通变量的不同之处，其一就是const变量必须要显示初始化，因为初始化后，const变量一般就不能更改了，而普通变量可以默认初始化，之后也可以改变值，所以类内const成员的定义也受到这种需要显示初始化特性的影响，容易出现以下几种错误定义。

二、错误定义

1.类未显示定义默认构造函数，且没有类内初始化器，那么使用默认构造函数会编译错误

代码如下（示例）：

//类有一个const成员，它没有类内初始化器，
//且类没有显示定义默认构造函数，则该类的默认构造函数被定义为删除的，
//因为默认的构造函数无法默认地初始化const成员，所以无法合成默认的构造函数。
//如示例代码，我们无法定义MyClass的变量，因为构造函数已经删除
#if 0

class MyClass
{
public:
	const int li_lv_;
};

int main()
{
	MyClass my_class; //错误，尝试引用已删除的函数

   	return 0;
}

#endif

这里有个很特别的点，如果我们显示定义了默认构造函数，并使用初始化列表初始化了const成员，那么这个类合成的拷贝构造函数也能正常地被使用，照理说合成的拷贝构造函数应该无法初始化const成员，可能是编译器在实现合成拷贝构造函数时，内部使用了默认构造函数的初始化列表用于初始化const成员。

代码如下（示例）：

//类显示定义默认拷贝构造函数,并使用了初始化列表初始化了const成员，且没有类内初始化器，那么使用默认拷贝构造函数不会编译错误
#if 0

class MyClass
{
public:
	MyClass() : li_lv_(11)
	{
		cout << "my class()" << endl;
	}

	const int li_lv_;
};

int main()
{
	MyClass my_class;
	MyClass my_class1 = my_class;

	cout << my_class.li_lv_ << endl;
	cout << my_class1.li_lv_ << endl;
	
	cout << &my_class.li_lv_ << endl;
	cout << &my_class1.li_lv_ << endl;

	system("pause");

	return 0;
}

#endif

2.类显示定义构造函数，但不初始化const成员，那么构造函数的定义会编译错误

代码如下（示例）：

//类有一个const成员，它没有类内初始化器，但是类显示定义了默认构造函数，
//却不初始化const成员，此时默认构造函数报错，因为没有初始化const成员
#if 0

class MyClass
{
public:
	MyClass()
	{
	}

	const int li_lv_;
};

int main()
{
	MyClass my_class;
	
	return 0;
}

#endif

---

三、正确定义

1.使用类内初始化器

代码如下（示例）：

//类有一个const成员，它有类内初始化器
#if 0

class MyClass
{
public:
	const int li_lv_ = 1;
};

int main()
{
	MyClass my_class;

	cout << my_class.li_lv_ << endl;
	cout << &my_class.li_lv_ << endl;


	system("pause");
	return 0;
}

#endif

2.使用构造函数初始化列表

代码如下（示例）：

//类有一个const成员，使用构造函数初始化列表初始化
#if 1

class MyClass
{
public:
	MyClass() :li_lv_(0)
	{
	
	}
	const int li_lv_ ;
};

int main()
{
	MyClass my_class;

	cout << my_class.li_lv_ << endl;
	cout << &my_class.li_lv_ << endl;
	
	system("pause");
	return 0;
}

#endif

---

总结

总之我们对于类内const成员也要跟类外const变量一样注意初始化，因为类内错误的定义更隐藏，可能编译起来没问题，直到用到了对应的构造函数才会出现问题。对于类内const的初始化，一般首选类内初始化器初始化。