C++编译器对类模板的按需实例化

一、类模板按需实例化

假定C++类模板中有多个函数，但是在使用时仅使用函数A、函数B，那么类模板实例化时仅仅会实例化出函数A、函数B。这就是类模板的按需实例化。

二、代码演示

类模板array中，函数T& operator[](size_t index)中存在语法错误

但是类模板实例化时，实例化出的类对象a1并没有调用T& operator[](size_t index)函数，因此即使类模板中存在语法错误，编译器也不会报错。

但如果类对象a1调用了T& operator[](size_t index)函数，那么编译器也要实例化出该函数，所以旧货报出该函数中的语法错误。

namespace bit {
	// 定义一个模板类型的静态数组
	template<class T, size_t N = 10>
	class array
	{
	public:
		T& operator[](size_t index)
		{
			size(1);//size()函数没有参数，此处存在语法错误
			return _array[index];
		}
		const T& operator[](size_t index)const { return _array[index]; }

		size_t size()const { return _size; }
		bool empty()const { return 0 == _size; }

	private:
		T _array[N];
		size_t _size;
	};
}

int main()
{
	bit::array<int, 10> a1;
    cout << a1.size() << endl;
    return 0;
}