模板函数调用

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



ANSI C++ '03
14.2 Names of template specializations
4 When the name of a member template specialization appears after . or -> in a postfix-expression, or after
nested-name-specifier in a qualified-id, and the postfix-expression or qualified-id explicitly depends on a
template-parameter (14.6.2), the member template name must be prefixed by the keyword template.
Otherwise the name is assumed to name a non-template. [Example:
class X {
public:
template<size_t> X* alloc();
template<size_t> static X* adjust();
};
template<class T> void f(T* p)
{
T* p1 = p->alloc<200>();
// ill-formed: < means less than
T* p2 = p->template alloc<200>();
// OK: < starts template argument list
T::adjust<100>();
// ill-formed: < means less than
T::template adjust<100>();
// OK: < starts template argument list
}

<think>好的,我需要帮助用户了解C++11中的可变参数模板函数的调用方法和实现。首先,我应该回顾可变参数模板的基本概念,确保自己理解正确。根据用户提供的引用内容,变参模板允许函数或类接受可变数量和类型的参数,这在处理不确定参数的情况下非常有用,比如printf函数。 接下来,我需要给出一个具体的示例,展示如何定义和调用可变参数模板函数。引用中的例子是关于std::unique_ptr的,但用户可能需要更基础的例子。比如,一个递归展开参数的函数,比如打印所有参数。这样用户可以直观地看到参数如何被处理。 然后,要解释实现的关键点,比如模板参数包、递归展开和终止条件。必须提到参数包展开的语法,比如使用...来展开参数,以及递归调用的方式。同时,需要说明在C++11中如何通过递归和特化来终止递归,比如使用空函数作为终止条件。 还要注意用户提到的调用方法,比如参数传递时的注意事项,比如使用std::forward进行完美转发,以保持参数的左值或右值特性。引用中的例子使用了std::unique_ptr,这可能涉及到所有权转移的问题,这也是需要解释的地方。 另外,用户可能需要了解可变参数模板的一些应用场景,比如实现泛型工厂函数、日志记录器等。这些例子能帮助用户理解其实际用途。 最后,确保回答结构清晰,分步骤解释,并验证示例代码的正确性。同时,生成的相关问题应该围绕可变参数模板的扩展应用、参数传递优化和与C风格可变参数的区别,这些能帮助用户进一步学习。</think>### C++11可变参数模板函数实现及调用方法 C++11可变参数模板通过参数包(parameter pack)实现类型安全的可变参数处理,核心语法包含`typename... Args`和递归展开机制[^1]。 #### 1. 基本示例:递归展开参数包 ```cpp #include <iostream> // 终止递归函数 void printArgs() { std::cout << "end" << std::endl; } // 可变参数模板 template<typename T, typename... Args> void printArgs(T first, Args... rest) { std::cout << first << " "; printArgs(rest...); // 递归展开参数包 } int main() { printArgs(1, 3.14, "hello", 'A'); // 输出:1 3.14 hello A end return 0; } ``` *实现要点:* - `typename... Args`声明模板参数包 - 递归调用时`rest...`展开参数包 - 空参数版本作为递归终止条件 #### 2. 带完美转发的工厂函数 ```cpp #include <memory> template<typename T, typename... Args> std::unique_ptr<T> createObject(Args&&... args) { return std::make_unique<T>(std::forward<Args>(args)...); } class MyClass { public: MyClass(int a, double b) {} }; int main() { auto obj = createObject<MyClass>(10, 3.14); return 0; } ``` *关键技术:* - `Args&&`保持参数的值类别 - `std::forward`实现完美转发[^2] - `args...`展开参数包时保留参数类型信息 #### 3. 折叠表达式(C++17扩展) ```cpp template<typename... Args> auto sum(Args... args) { return (... + args); // 折叠表达式 } int main() { std::cout << sum(1, 2, 3, 4); // 输出10 return 0; } ``` *注意:C++11可通过递归实现相同功能*
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值