std::enable_if_t约束的模板函数调用问题及C风格数组用法咨询

原模板函数的核心问题 #

你给出的带约束的模板函数：

template<typename T, typename = std::enable_if_t<std::is_array_v<T>>>
void foo(T&& a)
{
  std::cout << a.size() << std::endl;
}

存在两个关键问题：

1. 约束范围有限：std::is_array_v<T>仅对C风格原生数组生效，std::array是标准库类模板，不属于原生数组范畴，所以用std::array调用时约束不满足，编译器会直接丢弃该模板候选。
2. 万能引用的推导冲突：当传入左值（比如你的arr变量）时，T会被推导为左值引用类型，此时std::is_array_v<T>返回false（引用不是数组），即使传入原生数组，约束也无法触发。

此外，原模板里的a.size()对C风格数组无效——原生数组没有成员函数，这也是调用时的潜在错误。

正确调用方式（针对C风格数组） #

要让这个模板正常工作，需要调整约束或调用方式，确保T匹配原生数组类型：

方式1：显式指定模板参数（适配右值数组） #

直接将T指定为原生数组类型，此时万能引用退化为右值引用，需传入数组的右值形式：

#include <iostream>
#include <type_traits>

template<typename T, typename = std::enable_if_t<std::is_array_v<T>>>
void foo(T&& a)
{
  std::cout << sizeof(a)/sizeof(a[0]) << std::endl; // 替换为原生数组的长度计算方式
}

int main()
{
  int arr[3] = {1,2,3};
  foo<int[3]>(std::move(arr)); // 显式指定T为int[3]，传入std::move转换后的数组
  return 0;
}

方式2：修改约束适配左值数组 #

调整约束，让它能识别被引用的数组类型，这样可以直接传入左值原生数组：

#include <iostream>
#include <type_traits>

template<typename T, typename = std::enable_if_t<std::is_array_v<std::remove_reference_t<T>>>>
void foo(T&& a)
{
  std::cout << sizeof(a)/sizeof(a[0]) << std::endl;
}

int main()
{
  int arr[3] = {1,2,3};
  foo(arr); // 自动推导T为int(&)[3]，std::remove_reference_t<T>是int[3]，约束满足
  return 0;
}

补充：同时支持std::array与C风格数组 #

如果希望模板兼容两种数组类型，可以扩展约束条件：

#include <iostream>
#include <array>
#include <type_traits>

template<typename T, typename = std::enable_if_t<
    std::is_array_v<std::remove_reference_t<T>> || 
    (std::is_class_v<T> && requires(T t) { t.size(); })
>>
void foo(T&& a)
{
    if constexpr(std::is_array_v<std::remove_reference_t<T>>)
    {
        std::cout << sizeof(a)/sizeof(a[0]) << std::endl;
    }
    else
    {
        std::cout << a.size() << std::endl;
    }
}

int main()
{
    int c_arr[3] = {1,2,3};
    std::array<std::string,3> std_arr{"1","2","3"};
    
    foo(c_arr);    // 输出3
    foo(std_arr);  // 输出3
    return 0;
}

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