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来实现。