# 可变参数函数模板

Variable templates

允许模板接受任意数量和任意类型的参数。

1.基本用法

```c++
template<typename... Args>
void func(Args... args);
```

使用...操作符展开参数包

```c++
template<typename... Args>
void print(Args... args)
{
    (std::cout << ... << args) << std::endl; // C++17 折叠表达式
}
```

2.基本使用

```c++
#include <iostream>
//递归终止
void print()
{
    std::cout << std::endl;
}

//可变参数模板
template<typename T, typename... Args>
void print(T first, Args... args)
{
    std::cout << first << " ";
    print(args...); //递归调用，参数减一
}

//use
print(1, 2.5, "hello");
```

折叠表达式

```c++
template<typename... Args>
void print_fold(Args... args)
{
    //一元右折叠
    ((std::cout << args << " "), ...);
    std::cout << std::endl;
    
    //sum
    int sum = (args + ...); // (args1 + args2 + args3 + ...)
    std::cout << "Sum: " << sum << std::endl;
}

//use
print_fold(1, 2, 3, 4); //Output: 1 2 3 4 Sum: 10
```

计算参数数量

```c++
template<typename... Args>
constexpr size_t count_args(Args... args) {
    return sizeof...(Args); // 或 sizeof...(args)
}
// 使用
std::cout << count_args(1, 2.5, "test") << std::endl; // 输出: 3
```

完美转发

```c++
template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}
// 使用
auto ptr = make_unique<std::vector<int>>(5, 42); // 创建包含5个42的vector
```

构造函数转发

```c++
class Container {
    template<typename... Args>
    void emplace_back(Args&&... args) {
        data_.emplace_back(std::forward<Args>(args)...);
    }

private:
    std::vector<std::string> data_;
};
```

类型安全的格式化

```c++
#include <string>
#include <sstream>
template<typename... Args>
std::string format(const std::string& fmt, Args... args) {
    std::ostringstream oss;
    // 简化实现 - 实际中需要解析格式字符串
    size_t index = 0;
    auto process = [&](const auto& arg) {
        std::string placeholder = "{" + std::to_string(index++) + "}";
        // 这里需要更复杂的格式化逻辑
        oss << arg << " ";
    };

    (process(args), ...); // C++17 折叠表达式

    return oss.str();
}
```



---

# 变参模板 + 完美转发

C++ 变参模板 + 完美转发是 C++ 现代开发中最核心、最高效的组合技术：

- **变参模板：处理任意个数、任意类型的参数**
- **完美转发：保留参数的值类别（左值 / 右值），不产生额外拷贝，零开销转发**

两者配合，能实现**通用零拷贝、通用型工厂函数 / 包装器**，是 STL 容器、智能指针、异步任务的底层实现原理。

## **一、核心概念速览**

### 1. 变参模板 (Variadic Templates)

语法：`template<typename... Args>`，表示**一包类型参数**调用时可以传入 0 个、1 个、N 个任意类型参数。

### 2. 完美转发 (Perfect Forwarding)

核心工具：

- 转发引用：T&&（模板中才是转发引用）
- `std::forward<T>(arg)：**精确保留参数的左值 / 右值属性**`

作用：让函数像 “透明管道” 一样转发参数，**不修改、不拷贝、不丢失属性**。

## **二、标准组合写法（固定模板）**

```cpp
//万能转发模板

#include <utility>  // std::forward
// 变参模板 + 完美转发 标准写法
template<typename... Args>
void forward_func(Args&&... args) {  // 转发引用 + 变参
    // 完美转发所有参数给目标函数
    target_func(std::forward<Args>(args)...);
}
```

关键语法解释

1. `Args&&... args`：变参转发引用，接受任意参数。

2. `std::forward<Args>(args)...` ：展开并完美转发所有参数。
3. `...` 是参数包展开符号，必须放在后面。 

## **三、最经典应用：通用工厂函数**

这是最实用的场景：用变参 + 完美转发，零拷贝构造任意对象。

1. 首先这是一个模板函数；
2. 该模板函数创建并返回一个对象；
3. 直接在目标内存构造，无任何拷贝/移动；

```cpp
// 测试用类
class MyClass {
public:
    MyClass(int a, double b, const std::string& c) {
        std::cout << "构造：" << a << " " << b << " " << c << "\n";
    }

    MyClass(const MyClass&) = delete;  // 禁用拷贝，验证无拷贝
    MyClass(MyClass&&) = default;      // 必须显式声明移动构造！
    // 原因：用户声明了拷贝构造（即使是=delete），编译器不会隐式生成移动构造函数。
    // 按值返回对象时，需要移动构造函数可用（即使RVO省略了实际调用，它也必须存在）。
};

// ✅ 变参 + 完美转发：通用工厂（零拷贝构造对象）
template<typename T, typename... Args>
T make_obj(Args&&... args) {
    // 直接在目标内存构造，无任何拷贝/移动
    return T(std::forward<Args>(args)...);
}

int main() {
    std::cout << "\n--- 示例1：通用工厂函数 ---\n";
    // 传入任意参数，直接构造 MyClass
    auto obj = make_obj<MyClass>(10, 3.14, "hello");
    return 0;
}
```

优势

- 支持任意类型、任意个数的构造参数
- 完美转发，不产生拷贝、不产生移动
- 这就是 `std::make_unique`/`std::make_shared` 的底层实现

## **四、第二大应用：包装函数（日志 / 钩子 / 通用代理）**

给任意函数加一层包装（如日志、计时、权限检查），不修改原函数、不丢失参数属性。

```cpp
#include <iostream>
#include <utility>
#include <string>
// 目标函数（可以是任意函数）
void print(int a, const std::string& b) {
    std::cout << a << " " << b << "\n";
}
// 通用包装器：变参+完美转发
template<typename Func, typename... Args>
void wrapper(Func&& func, Args&&... args) {
    std::cout << "[包装层] 开始调用\n";
    // 完美转发函数 + 参数
    std::forward<Func>(func)(std::forward<Args>(args)...);
    std::cout << "[包装层] 调用结束\n";
}
int main() {
    // 包装任意函数 + 任意参数
    wrapper(print, 100, "test");
    return 0;
}
```

### 优势

- 一个包装器适配**所有函数签名**
- 完美转发：左值保持左值，右值保持右值
- 无性能损耗

## **五、第三大应用：STL 容器 emplace_back**

vector::emplace_back 就是变参 + 完美转发的标准产物：

```cpp
#include <vector>
#include <string>
struct Student {
    int id;
    std::string name;
    Student(int i, std::string n) : id(i), name(std::move(n)) {}
};
int main() {
    std::vector<Student> vec;

    // ✅ 变参+完美转发：直接在 vector 内存里构造，无拷贝
    vec.emplace_back(1, "Tom");
    return 0;
}
```

`emplace_back 比 ``push_back` 高效的核心原因：**变参 + 完美转发，直接原地构造**。

## **六、必须掌握的规则（避坑）**

### 1. 转发引用必须写在模板里

```cpp
// ✅ 正确：模板中的 T&& 是转发引用
template<typename T>void func(T&& t) {}
// ❌ 错误：普通函数的 T&& 是右值引用，只能接收右值
void func(int&& t) {}
```

2. 必须用 std::forward 才叫完美转发

```cpp
// ❌ 错误：丢失右值属性，全部转为左值，可能产生拷贝
target_func(args...);
// ✅ 正确：完美保留左值/右值属性
target_func(std::forward<Args>(args)...);
```

3. 参数包展开 `...` 位置不能错

```cpp
// ✅ 正确
std::forward<Args>(args)...
// ❌ 错误
std::forward<Args>(args...)
```

## **七、总结（核心要点）**

1.组合目的：处理*任意参数* + *零拷贝转发*，是现代 C++ 高性能基石

2.固定写法

```cpp
template<typename... Args>
void func(Args&&... args) 
{    
	target(std::forward<Args>(args)...);
}
```

3.三大应用

- 通用工厂函数（`make_shared`）
- 通用包装器（日志 / 代理 / 钩子）
- 容器原地构造（`emplace_back`）

4.核心价值：通用、灵活、*零运行时开销*

<!-- markdown for nginx, see https://phus.lu -->
<script>
!function(){
	var dom = {
		element: null,
		get: function (o) {
			var obj = Object.create(this)
			obj.element = (typeof o == "object") ? o : document.createElement(o)
			return obj
		},
		add: function (o) {
			var obj = dom.get(o)
			this.element.appendChild(obj.element)
			return obj
		},
		text: function (t) {
			this.element.appendChild(document.createTextNode(t))
			return this
		},
		attr: function (k, v) {
			this.element.setAttribute(k, v)
			return this
		}
	}

	if (!document.head) return
	head = dom.get(document.head)
	head.add('meta').attr('charset', 'utf-8')
	head.add('meta').attr('name', 'viewport').attr('content', 'width=device-width,initial-scale=1')

	if (!document.body) {
		document.write(["<div class=\"container\">",
		"<h3>nginx.conf</h3>",
		"<textarea rows=6 cols=50>",
		"# download markdown.html to /wwwroot",
		"location ~ \\.md$ {",
		"    default_type text/html;",
		"    add_after_body /markdown.html;",
		"}",
		"</textarea>",
		"</div>"].join("\n"))
		return
	}

	var bodytext = document.body.innerHTML
	document.body.innerHTML = ''

	div = dom.get('div').attr('class', 'container')

	div.add('script').attr('src', 'https://cdnjs.cloudflare.com/ajax/libs/marked/0.5.2/marked.min.js').attr('integrity', 'sha256-zFUosuESzULu5P+SZdjRRtBZR8+1u5RZDlbt3Q5KL8U=').attr('crossorigin', 'anonymous')
	div.add('link').attr('rel', 'stylesheet').attr('href', 'https://cdnjs.cloudflare.com/ajax/libs/github-markdown-css/5.1.0/github-markdown-light.min.css').attr('integrity', 'sha256-WQx0Y6LLZeGv3V3NVVge+YIL5MIOt45RPuFdkyNodls=').attr('crossorigin', 'anonymous')

	title = decodeURIComponent(document.location.pathname.replace(/.*\//, '').replace(/\.html$/, ''))
	document.title = '《' + title.replace(/\.md$/, '') + '》'
	tbody = div.add('table').add('tbody')
	tbody.add('tr').add('th').text(title).attr('class', 'octicon-book')
	tbody.add('tr').add('td').add('div').attr('id', 'readme').attr('class', 'markdown-body')

	wait = function (name, callback) {
		var interval = 10; // ms
		window.setTimeout(function() {
			if (window[name]) {
				callback(window[name])
			} else {
				window.setTimeout(arguments.callee, interval)
			}
		}, interval)
	}
	wait('marked', function() {
		document.getElementById("readme").innerHTML = marked.parse(bodytext)
	})

	document.body.appendChild(div.element)
}()
</script>

<style>
body {
	margin: 0;
	font-family: "ubuntu", "Tahoma", "Microsoft YaHei", Arial, Serif;
}
.markdown-body {
	float: left;
	font-family: "ubuntu", "Tahoma", "Microsoft YaHei", Arial, Serif;
}
.container {
	padding-right: 15px;
	padding-left: 15px;
	margin-right: auto;
	margin-left: auto;
}
@media (min-width: 768px) {
	.container {
		max-width: 80%;
	}
}
@media (min-width: 992px) {
	.container {
		max-width: 70%;
	}
}
@media (min-width: 1200px) {
	.container {
		max-width: 60%;
	}
}
table {
	width: 100%;
	max-width: 100%;
	margin-bottom: 20px;
	border: 1px solid #ddd;
	padding: 0;
	border-collapse: collapse;
}
table th {
	font-size: 14px;
}
table tr {
	border: 1px solid #ddd;
	padding: 5px;
}
table th, table td {
	border: 1px solid #ddd;
	font-size: 14px;
	line-height: 20px;
	padding: 3px;
	text-align: left;
}
.octicon-book {
	background-position: center left;
	background-repeat: no-repeat;
	padding-left: 20px;
	background-image: url("data:image/svg+xml;charset=utf8,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' viewBox='0 0 16 16'%3E%3Cpath d='M3,5 L7,5 L7,6 L3,6 L3,5 L3,5 Z M3,8 L7,8 L7,7 L3,7 L3,8 L3,8 Z M3,10 L7,10 L7,9 L3,9 L3,10 L3,10 Z M14,5 L10,5 L10,6 L14,6 L14,5 L14,5 Z M14,7 L10,7 L10,8 L14,8 L14,7 L14,7 Z M14,9 L10,9 L10,10 L14,10 L14,9 L14,9 Z M16,3 L16,12 C16,12.55 15.55,13 15,13 L9.5,13 L8.5,14 L7.5,13 L2,13 C1.45,13 1,12.55 1,12 L1,3 C1,2.45 1.45,2 2,2 L7.5,2 L8.5,3 L9.5,2 L15,2 C15.55,2 16,2.45 16,3 L16,3 Z M8,3.5 L7.5,3 L2,3 L2,12 L8,12 L8,3.5 L8,3.5 Z M15,3 L9.5,3 L9,3.5 L9,12 L15,12 L15,3 L15,3 Z' /%3E%3C/svg%3E");
}
</style>