如何实现含泛型参数化类型的C++模板非类型参数？

你想要的template <std::array<int, N> Param>写法在当前C标准（含C23）中并不合法，因为非类型模板参数的类型必须是完整已知的，而std::array<int, N>中的N是未确定的模板参数，属于不完整类型。不过可以通过两种方式实现接近需求的简洁写法：

方案一：C++17+ 模板模板参数组合 #

通过拆分模板参数的方式，把容器类型、元素类型和长度参数分离，再针对目标场景做语义封装：

#include <array>

// 通用辅助模板
template <template <typename, size_t> typename Container, typename T, size_t N>
struct ExampleBase {
    static constexpr size_t length = N;
    static constexpr Container<T, N> value = {};
};

// 封装成仅接受int类型std::array的模板
template <size_t N, std::array<int, N> Param>
using Example = ExampleBase<std::array, int, N>;

// 使用示例
constexpr std::array<int, 3> test_arr = {1, 2, 3};
Example<3, test_arr> inst;

这种写法保留了需求的语义，同时具备通用性——修改模板参数就能适配其他固定大小的参数化容器类型。

方案二：C++20+ 概念约束+auto非类型参数 #

利用C++20的概念（Concept）替代静态断言，写法更贴近你理想的简洁形态：

#include <array>
#include <concepts>

// 定义概念：约束类型为元素是int的std::array
template <typename T>
concept IntStdArray = std::same_as<typename T::value_type, int> &&
                      requires(T arr) {
                          // 验证是std::array<int, N>的实例
                          []<size_t N>(std::array<int, N>&){}(arr);
                      };

// 直接用auto非类型参数+概念约束
template <auto Param> requires IntStdArray<decltype(Param)>
class Example {
public:
    static constexpr size_t length = decltype(Param)::size();
    static constexpr decltype(Param) value = Param;
};

// 使用示例
constexpr std::array<int, 4> test_arr = {4, 5, 6, 7};
Example<test_arr> inst; // 无需显式传递N，编译器自动推断

这种写法完全不需要手动指定长度N，编译器会通过概念约束自动验证传入的参数是符合要求的std::array<int, N>，同时可以轻松修改概念来适配其他参数化类型（比如元素为double的std::array，或自定义的固定大小容器）。

原始写法不合法的原因 #

C++标准规定，非类型模板参数的类型必须是完整的、可编译期确定的类型。std::array<int, N>中的N是未绑定的模板参数，此时这个类型是不完整的，编译器无法确定其内存布局，因此不允许作为非类型模板参数的类型。

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