如何阻止C++模板隐式转换定界数组为指针类型？

编写用于写入二进制数据的模板函数时，希望其中一个重载能接收const定界数组并自动提取长度（比如300KB的静态文件头），但编译器会将定界数组隐式转换为指针，丢失长度信息导致匹配失败。只有显式用decltype(header)指定模板参数时才能编译，需要修改第9行代码，让write(f, header)可以隐式匹配数组重载。

原代码示例 #

#include <type_traits>
#include <stdio.h>
#include <stdint.h>

/*line 5*/ template<typename T, std::enable_if_t<!std::is_array<T>::value, bool> Z = true> void write(FILE* fout, const T& data) {
  fwrite(reinterpret_cast<const void*>(&data), sizeof(T), 1, fout);
}

/*line 9*/ template<typename T, std::enable_if_t<std::is_bounded_array_v<T>, size_t> L = std::extent_v<T>> void write(FILE* fout, T t) {
  fwrite(reinterpret_cast<const void*>(t), sizeof(typename std::remove_extent<T>::type) * L, 1, fout);
}

const uint8_t header[] = { 1, 2, 3, 4 };

int main() {
  FILE* f = fopen("temp.bin", "w");
  /*line 17*/ write(f, header); //error
  write<decltype(header)>(f, header);//compiles
  fclose(f);
}

编译错误信息 #

$ clang++ bounded_array_template.cpp -o bounded_array_template --std=c++20
bounded_array_template.cpp:17:16: error: no matching function for call to 'write'
  /*line 17*/  write(f, header); //error
               ^~~~~
bounded_array_template.cpp:5:97: note: candidate template ignored: requirement '!std::is_array<unsigned char [4]>::value' was not satisfied [with T = unsigned char [4]]
/*line 5*/ template<typename T, std::enable_if_t<!std::is_array<T>::value, bool> Z = true> void write(FILE* fout, const T& data) {
                                                                                                ^
bounded_array_template.cpp:9:113: note: candidate template ignored: requirement 'std::is_bounded_array_v<const unsigned char *>' was not satisfied [with T = const unsigned char *]
/*line 9*/ template<typename T, std::enable_if_t<std::is_bounded_array_v<T>, size_t> L = std::extent_v<T>> void write(FILE* fout, T t) {
                                                                                                                ^
1 error generated.

解决方案 #

问题根源 #

原第9行的函数参数是T t，当传入数组时，数组会隐式退化为指针，导致模板推导的T是const uint8_t*而非数组类型，std::is_bounded_array_v<T>自然不满足，模板被忽略。

修改方案1：用引用避免数组退化 #

将第9行的参数改为const T& t，阻止数组退化为指针，让编译器保留数组的完整类型信息：

/*line 9*/ template<typename T, std::enable_if_t<std::is_bounded_array_v<T>, size_t> L = std::extent_v<T>> void write(FILE* fout, const T& t) {
  fwrite(reinterpret_cast<const void*>(t), sizeof(typename std::remove_extent<T>::type) * L, 1, fout);
}

此时调用write(f, header)时，T会被推导为const uint8_t[4]，满足std::is_bounded_array_v<T>，模板匹配成功。

修改方案2：直接使用数组专用模板（更简洁） #

放弃enable_if，直接定义针对数组的模板，可读性更强：

/*line 9*/ template<typename T, size_t N> void write(FILE* fout, const T (&t)[N]) {
  fwrite(t, sizeof(T), N, 1, fout);
}

这种写法直接捕获数组的元素类型T和长度N，无需额外类型判断，代码更简洁直观，同样能正确匹配定界数组。

修改后完整代码示例 #

#include <type_traits>
#include <stdio.h>
#include <stdint.h>

template<typename T, std::enable_if_t<!std::is_array<T>::value, bool> Z = true> void write(FILE* fout, const T& data) {
  fwrite(reinterpret_cast<const void*>(&data), sizeof(T), 1, fout);
}

// 方案1修改后的数组重载
template<typename T, std::enable_if_t<std::is_bounded_array_v<T>, size_t> L = std::extent_v<T>> void write(FILE* fout, const T& t) {
  fwrite(reinterpret_cast<const void*>(t), sizeof(typename std::remove_extent<T>::type) * L, 1, fout);
}

// 或者替换为方案2的数组专用模板
// template<typename T, size_t N> void write(FILE* fout, const T (&t)[N]) {
//   fwrite(t, sizeof(T), N, 1, fout);
// }

const uint8_t header[] = { 1, 2, 3, 4 };

int main() {
  FILE* f = fopen("temp.bin", "w");
  write(f, header); // 现在可以正常编译
  fclose(f);
}

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