C++可变参数模板中的省略号

看可变参数模板代码时常会遇到省略号的使用,这类奇特的“...”出现位置还不固定,容易引起困惑。C++最近一直不用都快废了,在此想对省略号的使用做个简单归纳以提醒自己。可变参数模板以两种方式使用省略号。 在参数名称的左侧,表示“参数包”,在参数名称的右侧,意为将参数包逐项展开。 

参数包声明

一般在可变参数类模板可变参数函数模板的定义时,会在参数名称的左边添加省略号以表示“参数包”:

template<typename... Arguments> class vtclass;

vtclass< > vtinstance1;
vtclass<int> vtinstance2;
vtclass<float, bool> vtinstance3;
vtclass<long, std::vector<int>, std::string> vtinstance4;
template <typename... Arguments> returntype functionname(const Arguments&... args);
template <typename... Arguments> returntype functionname(Arguments&... args);
template <typename... Arguments> returntype functionname(Arguments&&... args);
template <typename... Arguments> returntype functionname(Arguments*... args);

当然,类模板和函数模板也可以限定一个以上参数的情形,限定多个参数以此类推不赘述:

template <typename First, typename... Rest> class classname;
template <typename First, typename... Rest> returntype functionname(const First& first, const Rest&... args);
 参数包展开

一般在函数参数声明或者函数调用时,在参数名称的右边添加省略号,表示将参数包逐项展开:

// v1 is NOT a function parameter pack:
template <typename... Types> void func1(std::vector<Types...> v1);

// v2 IS a function parameter pack:
template <typename... Types> void func2(std::vector<Types>... v2);

vector<int> v1, v2, v3;
func1(v1, v2, v3);//compile err
func2(v1, v2, v3);//compile ok

这里注意省略号的位置,虽然我们本意都是想展开参数包Types,但实际code的意图到底是vector<Types>里面的Types参数有多个,还是有多个vector<Types>?显然应该是后者,因为不存在template<class T...> class vector这样的形式,只有标准库中的template<class T> class vector。因此前者编译错误。

函数调用也在参数名(实参)后面添加省略号以将实参展开:

template <typename First, typename... Rest> void print(const First& first, const Rest&... rest) {
    cout << first << ", ";
    print(rest...); // recursive call using pack expansion syntax
}

template<class...Args>
void Emplace(Args&&... args) {
	Destory();
	Create(forward<Args>(args)...);
}

这里同样forward的省略号在整个forward<Args>(args)的右边,而不是args...意为对每项args展开使用完美转发。

sizeof...运算符

最后还有一个特殊的sizeof...() 运算符(与旧的 sizeof() 运算符无关)会在可变模板参数中使用,以在编译期获取参数个数:

template<typename... Arguments>
void tfunc(const Arguments&... args)
{
    constexpr auto numargs{ sizeof...(Arguments) };

    X xobj[numargs]; // array of some previously defined type X

    helper_func(xobj, args...);
}
C语言中的省略号

C中的省略号一般和可变参数宏一起使用,该省略号不仅可以放在函数的参数列表中,也可以放在宏定义中:

#define SUM(...)  sum_impl(__VA_ARGS__, ())

省略号在宏定义中表示一个可以接收任意数量参数的变参。而 __VA_ARGS__ 是一个预处理器的宏,它表示传递给宏的省略号中的实际参数。至于可变参数宏如何使用参考我之前的这篇:https://blog.csdn.net/brahmsjiang/article/details/79366432

相关推荐

  1. C++可变参数模板省略号

    2024-05-02 19:26:03       35 阅读
  2. C++ 可变参数模板

    2024-05-02 19:26:03       38 阅读
  3. C++开发基础——可变参数可变参数模板

    2024-05-02 19:26:03       37 阅读

最近更新

  1. docker php8.1+nginx base 镜像 dockerfile 配置

    2024-05-02 19:26:03       98 阅读
  2. Could not load dynamic library ‘cudart64_100.dll‘

    2024-05-02 19:26:03       106 阅读
  3. 在Django里面运行非项目文件

    2024-05-02 19:26:03       87 阅读
  4. Python语言-面向对象

    2024-05-02 19:26:03       96 阅读

热门阅读

  1. 子查询

    2024-05-02 19:26:03       40 阅读
  2. 中了内存马如何排查(不死马)

    2024-05-02 19:26:03       33 阅读
  3. MyBatis-plus笔记——分页插件

    2024-05-02 19:26:03       35 阅读
  4. 【高并发解决思路】

    2024-05-02 19:26:03       39 阅读
  5. 关于开源软件的影响力的探讨

    2024-05-02 19:26:03       44 阅读