c++ 模板由已知类型推导出关联类型

我们在写模板函数时，有时两个类型是相关的，由一个类型可以推导除另外一个类型。

template<typename cache_t,typename key_t>
bool IsCacheExist(cache_t &cache,const key_t &key)
{
	return cache.find(key) != cache.end();
}

int main()
{
	std::map<int, int> m;
	bool bFind = IsCacheExist<std::map<int, int>, int>(m, 0);
	return 0;
}

如上代码，key_t是cache_t的键，由cache类型可以推导出key的类型。如map<int,int>的key类型为int。
那么怎么简化代码呢？

template<typename cache_t>
bool IsCacheExist(cache_t &cache,const cache_t::key_type &key)
{
	return cache.find(key) != cache.end();
}

int main()
{
	std::map<int, int> m;
	bool bFind = IsCacheExist<std::map<int, int>>(m, 0);
	return 0;
}

但是上面的代码是编译不过的，因为编译器不知道cache_t::key_type是什么东西，所以我们需要在前面加个typename即可。

template<typename cache_t>
bool IsCacheExist(cache_t &cache,const typename cache_t::key_type &key)
{
	return cache.find(key) != cache.end();
}

int main()
{
	std::map<int, int> m;
	bool bFind = IsCacheExist<std::map<int, int>>(m, 0);
	return 0;
}