argument types are: (std::pair<int, int>, int)

在C++模板函数参数推断中[^1]，如果参数类型能够通过资格转换（qualification conversion）来适应模板参数的要求，即使原始类型不同，也会尝试进行匹配。例如：

template<typename T> void f(const T*); // 定义了一个接受指向常量T的指针的函数
int* p;                     // 原始类型是int*
f(p);                      // 虽然p是int*，但因为可以转换为const int*，所以能匹配模板参数T

// 这里，T被推断为int，A被推导为const int*，因为进行了资格转换。

对于第二个示例[^2]，`add_n`函数使用了lambda表达式捕获参数`n`，这是C++11引入的一种特性，用于在函数内部访问外部作用域的变量。在这个例子中：

void add_n(std::vector<int>& v, int n) {
    auto lambda = [n](int& val) { val += n; }; // capture by value (默认行为)
    std::for_each(v.begin(), v.end(), lambda);
}

int main() {
    std::vector<int> v{1, 2, 3};
    add_n(v, 3); // 在函数内，n的值会被复制到lambda中
}

如果试图调用`add_n`时传入`(std::pair<int, int>, int)`类型的参数，由于函数签名期望的是`std::vector<int>`，这将不会自动匹配，需要显式指定模板参数：

void add_n(std::vector<int>& v, int n); // 如果要匹配pair，需要这样写
add_n(std::vector<int>{}, std::make_pair(1, 2)); // 或者使用适配器如std::transform