我在看boost的ASIO源代码的时候，发现一个没有见过的模板调用用法.google没有说明，baidu也没有说明，只好自己试一下。下面是ASIO调用的代码：在文件service_registry.hpp中。
1 // Check whether a service object of the specified type already exists.
2 template <typename Service>
3 bool has_service() const
4 {
5 boost::asio::detail::mutex::scoped_lock lock(mutex_);
6
7 boost::asio::io_service::service* service = first_service_;
8 while (service)
9 {
10 if (service_id_matches(*service, Service::id))
11 return true;
12 service = service->next_;
13 }
14
15 return false;
16 }
调用的地方,红色标出的地方
template <typename Service>
bool has_service(io_service& ios)
{
// Check that Service meets the necessary type requirements.
(void)static_cast<io_service::service*>(static_cast<Service*>(0));
(void)static_cast<const io_service::id*>(&Service::id);
return ios.service_registry_->template has_service<Service>();
}
下面是测试例子，在VS2005中编译通过。原来，函数使用的时候，可以完全指定模板函数定义。
1 class VV
2 {
3 public:
4 static int getI()
5 {
6 return 100;
7 }
8 };
9 class V
10 {
11 public:
12 template<class K>
13 void PrintK()
14 {
15 cout<<K::getI()<<endl;
16 }
17 };
18 void m()
19 {
20 V v;
21 v.template PrintK<VV>();
22 }