能否完美转发数组类型到函数指针调用的函数且避免参数退化？

问题重现 #

你提供的代码中，call_direct(arr)可以正常编译，但call_via_ptr(arr)在GCC 14.2及以下版本中编译失败，报错显示数组被退化为float*，无法转换为data类型；但相同代码在所有测试过的Clang版本中可以正常编译。

原因分析 #

两种调用方式的差异源于编译器对函数调用转换序列的处理不同：

• 直接调用direct()时，编译器会优先尝试用户定义的转换序列：实参是float(&)[4]类型的数组引用，正好匹配data的模板构造函数data(float (&arr)[N])，因此直接触发构造，不会触发数组到指针的退化。
• 通过函数指针func_ptr调用时，GCC的旧版本（<=14.2）会先对数组引用执行数组到指针的标准转换，将其转为float*，而float*无法匹配data的构造函数，导致编译失败；而Clang则正确地优先尝试用户定义的转换，直接用数组引用构造data，避免了退化。

解决方案 #

有几种方法可以让代码在GCC上编译通过：

方法1：显式构造data实例 #

修改call_via_ptr函数，在传递参数前显式构造data，强制编译器使用数组引用的构造路径：

template <typename T>
void call_via_ptr(T && t)
{
    return (*func_ptr)(data{std::forward<T>(t)});
}

方法2：为data添加兼容指针的构造函数（可选） #

如果允许从float*构造data，可以添加一个对应的构造函数，但这会丢失数组长度信息，仅适用于不依赖长度的场景：

struct data
{
    template <size_t N>
    data(float (&arr)[N]) { }
    
    // 新增兼容指针的构造函数
    data(float*) { }
};

方法3：使用类型约束限制参数类型（进阶） #

如果需要严格限制只能传递数组引用，可以在call_via_ptr中添加类型约束，确保参数是数组类型，再显式构造：

#include <type_traits>

template <typename T, typename = std::enable_if_t<std::is_array_v<std::remove_reference_t<T>>>>
void call_via_ptr(T && t)
{
    return (*func_ptr)(data{std::forward<T>(t)});
}

编译器正确性判断 #

根据C++标准，当实参类型为数组引用，形参为类类型时，编译器应该优先尝试用户定义的转换序列（即调用类的构造函数），而不是先执行数组到指针的标准转换。因此Clang的行为是符合标准的，GCC 14.2及以下版本的行为存在bug，该问题在GCC 15版本中已被修复。

内容的提问来源于stack exchange，提问作者Jason R