我在看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 }