C++中不定参数函数的实现方法

一.前言

C++中实现不定参数函数可以采用多种方法，这篇文章讨论不定参数模板和va_list。

二.代码解析

1.模板方式

C++中采用模板来实现不定参数列表，可以有多种编码的方法，这里提供两种方法。

第一种写法

第一种采用递归的写法。

先看代码。

//demo.h#ifndef DEMO_H
#define DEMO_H#include <iostream>class Demo
{
public:Demo(void) = default;~Demo(void) noexcept = default;template<typename ...Args>void Func(Args... args);protected:private:template<typename T, typename ...Args>void FuncI(T t, Args... args);void FuncI(void);
};template<typename ...Args>
void Demo::Func(Args... args)
{FuncI(args...);
}template<typename T, typename ...Args>
void Demo::FuncI(T t, Args... args)
{std::cout << t << std::endl;FuncI(args...);
}void Demo::FuncI(void)
{std::cout << "null" << std::endl;
}#endif // !DEMO_H

//main.cpp#include "demo.h"int main(int argc, char* argv[])
{Demo demo;demo.Func(10, "str", 'c');return 0;
}

很简单的代码，就是打印所有参数。

然后对代码进行下解析。

1.这个是对外的接口，仅仅用来接收任务。

template<typename ...Args>
void Func(Args... args);

2.这个才是具体业务函数，可以看到这个函数内部会采用递归的方式将不定参数列表进行展开。

template<typename T, typename ...Args>
void FuncI(T t, Args... args);

3.这个函数就是递归出口。

void FuncI(void);

第二种写法

第二种写法借助列表初始化。

先看代码。

//demo.h#ifndef DEMO_H
#define DEMO_H#include <iostream>class Demo
{
public:Demo(void) = default;~Demo(void) noexcept = default;template<typename ...Args>void Func(Args... args);void Func(void);protected:private:template<typename T>int FuncI(T t);
};template<typename ...Args>
void Demo::Func(Args... args)
{int arr[] = { FuncI(args)... };
}void Demo::Func()
{std::cout << "null" << std::endl;
}template<typename T>
int Demo::FuncI(T t)
{std::cout << t << std::endl;return 0;
}#endif // !DEMO_H

//main.cpp#include "demo.h"int main(int argc, char* argv[])
{Demo demo;demo.Func(10, "str", 'c');return 0;
}

代码也是打印所有参数。

然后解析代码。

1.对外接口。

template<typename ...Args>
void Func(Args... args);

2.这个也是对外接口，解决空参问题。

void Func(void);

3.业务实现。

template<typename T>
int FuncI(T t);

2.va_list方式

先看代码。

//demo.h#ifndef DEMO_H
#define DEMO_H#include<iostream>
#include <stdarg.h>class Demo
{
public:Demo(void) = default;~Demo(void) noexcept = default;void Func(const char* format, ...);protected:private:};void Demo::Func(const char* format, ...)
{if (nullptr == format){return;}va_list vaList;va_start(vaList, format);char msg[1024];vsnprintf(msg, 1024, format, vaList);va_end(vaList);std::cout << msg << std::endl;
}#endif // !DEMO_H

//main.cpp#include "demo.h"int main(int argc, char* argv[])
{Demo demo;demo.Func("%d%f%c",10,1.2,'a');return 0;
}

可以看到这个代码和前面两个不一样，这个是对参数进行格式化并打印。为什么不一个个打印呢？

然后解析代码。

1.顾名思义，va_list变量列表。

va_list vaList;

2.可以理解为指定vaList的地址。

va_start(vaList, format);

3.清理vaList。

va_end(vaList);

4.解释一下为什么不一个个打印的问题，这个代码可以一个个的打印，可是有个问题，必须指定参数类型，而且va_arg不知道出口的标志，必须设置出口参数，所以就不适合。

int var = 0;while (0 != (var = va_arg(vaList, int)))
{std::cout << var << std::endl;
}

三.其他

1.sizeof…(args)可以获取当前参数包里参数数量。

2.其实也可以借助tuple来实现。

3.也可以借助initializer_list来实现。