如何声明接受任意长度右值数组的函数？如何重载函数接受右值MyClass数组

嘿，这两个问题都是C++里处理右值数组的典型场景，我来给你一步步拆解清楚：

在C++里，要实现接受任意长度右值数组的函数，核心是靠模板参数推导结合右值引用来捕获临时数组的信息。具体写法很直观：

#include <iostream>

class MyClass {};

// 模板函数：自动推导右值数组的长度N
template <size_t N>
void AcceptRValueArray(MyClass (&&arr)[N]) {
    std::cout << "拿到了一个长度为" << N << "的右值数组" << std::endl;
}

int main() {
    // 直接传递临时匿名数组（右值），编译器会自动推导N=3
    AcceptRValueArray({MyClass{}, MyClass{}, MyClass{}});
    return 0;
}

这里的关键点：

• template <size_t N>让编译器在编译时自动算出传入数组的长度，不用你手动指定；
• MyClass (&&arr)[N]是右值数组引用，它只能绑定临时的数组对象（也就是右值），比如函数调用里直接创建的匿名数组，或者返回数组的函数返回的临时实例。

原函数void MyFun(MyClass* p)会处理两种情况：直接传递指针，或者传递左值数组（因为左值数组会隐式退化为指针）。要专门处理右值数组，我们只需要重载一个更具体化的模板版本：

#include <iostream>

class MyClass {};

// 原函数：处理指针/左值数组退化为指针的场景
void MyFun(MyClass* p) {
    std::cout << "调用了指针版本的MyFun" << std::endl;
}

// 重载模板：专门处理右值数组
template <size_t N>
void MyFun(MyClass (&&arr)[N]) {
    std::cout << "调用了右值数组版本的MyFun，数组长度：" << N << std::endl;
    // 如果需要和原函数逻辑兼容，这里可以把arr转成指针用：MyClass* p = arr;
}

int main() {
    MyClass left_arr[5];
    MyFun(left_arr); // 匹配原函数，左值数组退化为指针

    // 传递临时右值数组，匹配重载的模板版本
    MyFun({MyClass{}, MyClass{}});
    return 0;
}

为什么这样可行？因为编译器在匹配重载时会优先选择最具体的候选函数：右值数组直接匹配模板的右值引用数组参数，而不会退化为指针去匹配原函数。这样就完美区分了左值/指针和右值数组的调用场景。

如果想更严谨地防止左值数组误匹配这个模板（虽然默认情况下左值数组不能绑定到右值引用数组参数），C++20之后可以用requires约束进一步明确：

template <size_t N>
void MyFun(MyClass (&&arr)[N]) requires true {
    // 逻辑不变
}

不过大多数情况下，基础写法已经足够满足需求。

内容的提问来源于stack exchange，提问作者J. Doe